AADL modeling and analysis of hierarchical schedulers

Authors:
Frank Singhoff;Alain Plantec
Affiliations:
University of Brest, Brest Cedex, France;University of Brest, Brest Cedex, France
Venue:
Proceedings of the 2007 ACM international conference on SIGAda annual international conference
Year:
2007

Citing 23
Cited 6

A fair share scheduler

Communications of the ACM
Scheduler activations: effective kernel support for the user-level management of parallelism

ACM Transactions on Computer Systems (TOCS)
UNIX internals: the new frontiers

UNIX internals: the new frontiers
Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment

Journal of the ACM (JACM)
Scheduler Modeling Based on the Controller Synthesis Paradigm

Real-Time Systems
Automata For Modeling Real-Time Systems

ICALP '90 Proceedings of the 17th International Colloquium on Automata, Languages and Programming
POSIX-Compatible Application-Defined Scheduling in MaRTE OS

ECRTS '02 Proceedings of the 14th Euromicro Conference on Real-Time Systems
HLS: A Framework for Composing Soft Real-Time Schedulers

RTSS '01 Proceedings of the 22nd IEEE Real-Time Systems Symposium
Response Time Analysis for Tasks Scheduled under EDF within Fixed Priorities

RTSS '03 Proceedings of the 24th IEEE International Real-Time Systems Symposium
Periodic Resource Model for Compositional Real-Time Guarantees

RTSS '03 Proceedings of the 24th IEEE International Real-Time Systems Symposium
Application-defined scheduling in Ada

IRTAW '03 Proceedings of the 12th international workshop on Real-time Ada
Invited application paper: language design for implementing process scheduling hierarchies

Proceedings of the 2004 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Scheduling within temporal partitions: response-time analysis and server design

Proceedings of the 4th ACM international conference on Embedded software
Cheddar: a flexible real time scheduling framework

Proceedings of the 2004 annual ACM SIGAda international conference on Ada: The engineering of correct and reliable software for real-time & distributed systems using Ada and related technologies
Scheduling and memory requirements analysis with AADL

Proceedings of the 2005 annual ACM SIGAda international conference on Ada: The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related Technologies
Hierarchical Fixed Priority Pre-Emptive Scheduling

RTSS '05 Proceedings of the 26th IEEE International Real-Time Systems Symposium
Reusable models for timing and liveness analysis of middleware for distributed real-time and embedded systems

EMSOFT '06 Proceedings of the 6th ACM & IEEE International conference on Embedded software
Introduction to Automata Theory, Languages, and Computation (3rd Edition)

Introduction to Automata Theory, Languages, and Computation (3rd Edition)
Refactoring of an Ada 95 library with a Meta CASE tool

Proceedings of the 2006 annual ACM SIGAda international conference on Ada
Modeling and Verification Using UML Statecharts: A Working Guide to Reactive System Design, Runtime Monitoring and Execution-based Model Checking

Modeling and Verification Using UML Statecharts: A Working Guide to Reactive System Design, Runtime Monitoring and Execution-based Model Checking
A round robin scheduling policy for Ada

Ada-Europe'03 Proceedings of the 8th Ada-Europe international conference on Reliable software technologies
Towards user-level extensibility of an Ada library: an experiment with cheddar

Ada-Europe'07 Proceedings of the 12th international conference on Reliable software technologies
Hierarchical scheduling with ada 2005

Ada-Europe'06 Proceedings of the 11th Ada-Europe international conference on Reliable Software Technologies

Can We Increase the Usability of Real Time Scheduling Theory? The Cheddar Project

Ada-Europe '08 Proceedings of the 13th Ada-Europe international conference on Reliable Software Technologies
Validating Safety and Security Requirements for Partitioned Architectures

Ada-Europe '09 Proceedings of the 14th Ada-Europe International Conference on Reliable Software Technologies
Investigating the usability of real-time scheduling theory with the Cheddar project

Real-Time Systems
Validate, simulate, and implement ARINC653 systems using the AADL

Proceedings of the ACM SIGAda annual international conference on Ada and related technologies
System-level co-simulation of integrated avionics using polychrony

Proceedings of the 2011 ACM Symposium on Applied Computing
Towards a user-mode approach to partitioned scheduling in the seL4 microkernel

ACM SIGBED Review

Quantified Score

Hi-index	0.00

Visualization

Abstract

A system based on a hierarchical scheduler is a system in which the processor is shared between several collaborative schedulers. Such schedulers exist since 1960 and they are becoming more and more investigated and proposed in real-life applications. For example, the ARINC 653 international standard which defines an Ada interface for avionic real time operating systems provides such a kind of collaborative schedulers. This article focuses on the modeling and the performance analysis of hierarchical schedulers. We investigate the modeling of hierarchical schedulers with AADL. Hierarchical scheduler timing and synchronization relationships are expressed with a domain specific language based on timed automata: the Cheddar language. With the meta CASE tool Platypus, we generate Ada packages implementing the Cheddar language. These Ada packages are part of Cheddar, a real time scheduling simulator. With these Ada packages, Cheddar is able to perform analysis by scheduling simulation of AADL systems composed of hierarchical schedulers. An AADL model of the ARINC 653 hierarchical scheduling is described as an illustration.