skip to main content
10.1145/1315580.1315593acmconferencesArticle/Chapter ViewAbstractPublication PagesadaConference Proceedingsconference-collections
Article

AADL modeling and analysis of hierarchical schedulers

Published:04 November 2007Publication History

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.

References

  1. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  2. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  3. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  4. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  5. 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 ScholarGoogle ScholarCross RefCross Ref
  6. 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 ScholarGoogle Scholar
  7. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  8. 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 ScholarGoogle Scholar
  9. F. Cottet, J. Delacroix, C. Kaiser, and Z. Mammeri. Scheduling in Real Time Systems John Wiley and Sons Ltd editors, 2002.Google ScholarGoogle Scholar
  10. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  11. D. Drusinsky. Modeling and Verification using UML State Charts Elsevier inc. editor, 2006. Google ScholarGoogle ScholarDigital LibraryDigital Library
  12. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  13. J. E. Hopcroft and J. D. Ullman. Introduction of Automata Theory, Languages and Computation. Addison-Wesley editor, 2001. Google ScholarGoogle ScholarDigital LibraryDigital Library
  14. 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 ScholarGoogle Scholar
  15. 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 ScholarGoogle Scholar
  16. ISO. Ada Reference Manual ISO/IEC 8652:1995(E) with Technical Corrigendum 1 and Amendment 1 (Draft 16).Google ScholarGoogle Scholar
  17. ISO 10303-1. Part 1: Overview and fundamental principles 1994.Google ScholarGoogle Scholar
  18. ISO 10303-11. Part 11: EXPRESS Language Reference Manual, 1994.Google ScholarGoogle Scholar
  19. 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 ScholarGoogle Scholar
  20. J. Kay and P. Lauder. A Fair Share Scheduler. In Communications of the ACM volume 31, pages 44--45, January 1988. Google ScholarGoogle ScholarDigital LibraryDigital Library
  21. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  22. 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 ScholarGoogle ScholarCross RefCross Ref
  23. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  24. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  25. Platypus Technical Summary and download. http://cassoulet.univ-brest.fr/mme/.Google ScholarGoogle Scholar
  26. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  27. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  28. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  29. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  30. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  31. 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 ScholarGoogle Scholar
  32. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  33. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  34. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  35. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  36. U. Vahalia. UNIX Internals: the new frontiers Prentice Hall, 1996. Google ScholarGoogle ScholarDigital LibraryDigital Library

Index Terms

  1. AADL modeling and analysis of hierarchical schedulers

        Recommendations

        Comments

        Login options

        Check if you have access through your login credentials or your institution to get full access on this article.

        Sign in

        PDF Format

        View or Download as a PDF file.

        PDF

        eReader

        View online with eReader.

        eReader
        About Cookies On This Site

        We use cookies to ensure that we give you the best experience on our website.

        Learn more

        Got it!