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.
- L. Almeida and P. Pedreiras. Scheduling within Temporal Partitions: response-time analysis and server design. Proceedings of the EMSOFT'04 conference. September 27-29, Pisa, Italy pages 95--103,2004. Google Scholar
Digital Library
- K. Altisen, G. Gossler, and J. Sifakis. Scheduler Modeling Based on the Controller Synthesis Paradigm. Real Time Systems journal 23(1):55--84,2002. Google Scholar
Digital Library
- R. Alur and D. L. Dill. Automata for modeling real time systems. Proc. of Int. Colloquium on Algorithms, Languages and Programming, Vol 443 of LNCS (1990) 322--335, 1990. Google Scholar
Digital Library
- T. E. Anderson, B. N. Bershad, E. D. Lazowska, and H. M. Levy. Scheduler activations: Effective kernel support for the user-level management of parallelism. ACM Transactions on Computer Systems 10(1):53--79, February 1992. Google Scholar
Digital Library
- G. Behrmann, A. David, and K. G. Larsen. A Tutorial on UPPAAL. Technical Report Updated the 17th November 2004, Department of Computer Science, Aalbord University, Denmark, 2004.Google Scholar
Cross Ref
- G. Berry. Getting Started with Esterel Studio 5. 3. Technical report, Esterel technologies SA. Available from http://www. esterel-technologies. com/technology/getting-started/, April 2005.Google Scholar
- A. Burns, M. Harbour, and A. Wellings. A round robin scheduling policy for Ada. In Reliable Software Technologies, Proceedings of the Ada Europe Conference 2003. Google Scholar
Digital Library
- D. Chemouil and N. Pontisso. Vérification formelle d'un modèle AADL à l'aide de l'outil UPPAAL. Revue Génie Logiciel (80):36--40, March 2007.Google Scholar
- F. Cottet, J. Delacroix, C. Kaiser, and Z. Mammeri. Scheduling in Real Time Systems John Wiley and Sons Ltd editors, 2002.Google Scholar
- R. I. Davis and A. Burns. Hierarchical Fixed Priority Pre-Emptive Scheduling. In the 26th IEEE International Real-Time Systems Symposium (RTSS'05). Miami, Florida, USA. pages 389--398, December 2005. Google Scholar
Digital Library
- D. Drusinsky. Modeling and Verification using UML State Charts Elsevier inc. editor, 2006. Google Scholar
Digital Library
- M. G. Harbour and J. C. Palencia. Response Time Analysis for Tasks Scheduled under EDF within Fixed Priorities. In Proceedings of the 24th IEEE Real-Time Systems Symposium, Cancun, Mexico December 2003. Google Scholar
Digital Library
- J. E. Hopcroft and J. D. Ullman. Introduction of Automata Theory, Languages and Computation. Addison-Wesley editor, 2001. Google Scholar
Digital Library
- SAE Inc. Architecture Analysis and Design Language (AADL) AS 5506. Technical report, The Engineering Society For Advancing Mobility Land Sea Air and Space, Aerospace Information Report, Version 0.994, August 2004.Google Scholar
- SAE Inc. AADL Annex Behavior (draft V1. 6), AS 5506. Technical report, The Engineering Society For Advancing Mobility Land Sea Air and Space, Aerospace Information Report, March 2007.Google Scholar
- ISO. Ada Reference Manual ISO/IEC 8652:1995(E) with Technical Corrigendum 1 and Amendment 1 (Draft 16).Google Scholar
- ISO 10303-1. Part 1: Overview and fundamental principles 1994.Google Scholar
- ISO 10303-11. Part 11: EXPRESS Language Reference Manual, 1994.Google Scholar
- T. K. Iversen, K. J. Kristoffersen, K. G. Larsen, R. G. Madsen, M. Laursen, S. K. Mortensen, P. Pettersson, and C. B. Thomasen. Model-Checking Real Time Control Programs: Verifying LEGO Mindstorm Systems Using UPPAAL. Technical report, BRICS RS-99-53, December 1999.Google Scholar
- J. Kay and P. Lauder. A Fair Share Scheduler. In Communications of the ACM volume 31, pages 44--45, January 1988. Google Scholar
Digital Library
- J. L. Lawall, G. Muller, and H. Duchesne. Language Design for implementing Process Scheduling Hierarchies. Proceedings of the PEPM'04 conferences. August 24-26, Veronna Italy pages 80--90,2004. Google Scholar
Digital Library
- J. Y. T Leung and M. L. Merril. A note on preemptive scheduling of periodic real time tasks. Information processing Letters 3(11):115--118,1980.Google Scholar
Cross Ref
- C. L. Liu and J. W. Layland. Scheduling Algorithms for Multiprogramming in a Hard Real-Time Environnment. Journal of the Association for Computing Machinery 20(1):46--61, January 1973. Google Scholar
Digital Library
- A. Plantec and F. Singhoff Refactoring of an Ada 95 Library with a Meta CASE Tool. Proceedings of the International ACM SIGAda Conference, Albuquerque, USA, November 2006. Google Scholar
Digital Library
- Platypus Technical Summary and download. http://cassoulet.univ-brest.fr/mme/.Google Scholar
- J. A. Pulido, S. Uruena, J. Zamorano, T. Vardanega, and J. A. De la Puente. Hierarchical Scheduling with Ada 2005. Proceedings of the 11th International Conference on Reliable Software Technologies, Porto, Portugal June 2006. Google Scholar
Digital Library
- J. Regehr and J. A. Stankovic. HLS: a Framework for Composing Soft Real-Time Schedulers. In the 22th IEEE International Real-Time Systems Symposium (RTSS'01). London, UK. pages 3--14, December 2001. Google Scholar
Digital Library
- M. Rivas and M. G. Harbour. POSIX-compatible application-defined scheduling in MaRTE OS. In Proceedings of the 14th IEEE Euromicro Conference on Real-Time Systems, Wien, Austria June 2002. Google Scholar
Digital Library
- M. Rivas and M. G. Harbour. Application Defined Scheduling in Ada. Proceedings of the 12th international workshop on Real-time Ada. Viana do Castelo, Portugal. pages 42--51,2003. Google Scholar
Digital Library
- I. Shin and I. Lee. Periodic resource model for compositional real-time guarantees. In 4th IEEE International Real-Time Systems Symposium (RTSS'03)2003. Google Scholar
Digital Library
- F. Singhoff Cheddar Release 2. 0 User's Guide. Technical report, number singhoff-01-2007, Available at http://beru.univ-brest.fr/~./cheddar, February 2007.Google Scholar
- F. Singhoff, J. Legrand, L. Nana, and L. Marcé. Cheddar: a Flexible Real Time Scheduling Framework. Proceedings of the International ACM SIGAda Conference, Atlanta, USA, November 2004. Google Scholar
Digital Library
- F. Singhoff, J. Legrand, L. Nana, and L. Marcé. Scheduling and Memory requirements analysis with AADL. Proceedings of the International ACM SIGAda Conference, Atlanta, USA, November 2005. Google Scholar
Digital Library
- F. Singhoff and A. Plantec. Towards User-Level extensibility of an Ada library: an experiment with Cheddar. Proceedings of the 12th International Conference on Reliable Software Technologies, Ada-Europe. Geneva, LNCS springer-Verlag, June 2007. Google Scholar
Digital Library
- V. Subraminian, C. Gill, C. Sanchez, and H. B. Sipma. Reusable Models for Timing and Liveness Analysis of Middleware for Distributed Real-Time and Embedded systems. Proceedings of the 6th ACM and IEEE International conference on Embedded software EMSOFT '06, October 2006. Google Scholar
Digital Library
- U. Vahalia. UNIX Internals: the new frontiers Prentice Hall, 1996. Google Scholar
Digital Library
Index Terms
AADL modeling and analysis of hierarchical schedulers
Recommendations
AADL modeling and analysis of hierarchical schedulers
SIGAda '07A 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. ...
An Ada design pattern recognition tool for AADL performance analysis
This article deals with performance verification of architecture models of real-time embedded systems. Although real-time scheduling theory provides numerous analytical methods called feasibility tests for scheduling analysis, their use is a complicated ...
An Ada design pattern recognition tool for AADL performance analysis
SIGAda '11: Proceedings of the 2011 ACM annual international conference on Special interest group on the ada programming languageThis article deals with performance verification of architecture models of real-time embedded systems. Although real-time scheduling theory provides numerous analytical methods called feasibility tests for scheduling analysis, their use is a complicated ...







Comments