skip to main content
research-article

An Ada design pattern recognition tool for AADL performance analysis

Published:06 November 2011Publication History
Skip Abstract Section

Abstract

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 task. In order to assist an architecture model designer in early verification, we provide an approach, based on real-time specific design patterns, enabling an automatic schedulability analysis. This analysis is based on existing feasibility tests, whose selection is deduced from the compliance of the system to a design pattern and other system's properties. Those conformity verifications are integrated into a schedulability tool called Cheddar. We show how to model the relationships between design patterns and feasibility tests and design patterns themselves. Based on these models, we apply a model-based engineering process to generate, in Ada, a feasibility test selection tool. The tool is able to detect from an architecture model which are the feasibility tests that the designer can apply. We explain a method for a designer willing to use this approach. We also describe the design patterns defined and the selection algorithm.

References

  1. Arinc. Avionics Application Software Standard Interface. The Arinc Committee, January 1997.Google ScholarGoogle Scholar
  2. A. Burns, B. Dobbing, and G. Romanski. The ravenscar tasking profile for high integrity real-time programs. In Lars Asplund, editor, Reliable Software Technologies Ada-Europe, volume 1411 of Lecture Notes in Computer Science, pages 263--275. Springer Netherlands, 1998. Google ScholarGoogle ScholarDigital LibraryDigital Library
  3. A. Burns and A.J. Wellings. HRT-HOOD: a structured design method for hard real-time Ada systems, volume 3. Elsevier Science, 1995. Google ScholarGoogle ScholarDigital LibraryDigital Library
  4. F. Cottet, J. Delacroix, C. Kaiser, and Z. Mammeri. Scheduling in real-time systems. Wiley Online Library, 2002.Google ScholarGoogle ScholarCross RefCross Ref
  5. P. Dissaux and F. Singhoff. Stood and Cheddar : AADL as a Pivot Language for Analysing Performances of Real Time Architectures. Proceedings of the European Real Time System conference. Toulouse, France, January 2008.Google ScholarGoogle Scholar
  6. J. Fernández Sánchez and G. Mármol Acitores. Modelling and Evaluating Real-Time Software Architectures. Reliable Software Technologies--Ada-Europe 2009, LNCS Springer, Volume 5570, pages 164--176, 2009. Google ScholarGoogle ScholarDigital LibraryDigital Library
  7. L. George, N. Rivierre, and M. Spuri. Preemptive and Non-Preemptive Real-time Uni-processor Scheduling. INRIA Technical report number 2966, 1996.Google ScholarGoogle Scholar
  8. O. Gilles and J. Hugues. Expressing and enforcing user-defined constraints of AADL models. In 2010 15th IEEE International Conference on Engineering of Complex Computer Systems, pages 337--342. IEEE, 2010. Google ScholarGoogle ScholarDigital LibraryDigital Library
  9. G. Harbour, G. Garcia, P. Gutierrez, D. Moyano, et al. MAST: Modeling and analysis suite for real time applications. In Real-Time Systems, 13th Euromicro Conference on, 2001., pages 125--134. IEEE, 2002. Google ScholarGoogle ScholarDigital LibraryDigital Library
  10. C.L. Liu and J.W. Layland. Scheduling algorithms for multiprogramming in a hard-real-time environment. Journal of the ACM (JACM), 20(1):46--61, 1973. Google ScholarGoogle ScholarDigital LibraryDigital Library
  11. M. Panunzio and T. Vardanega. A metamodel-driven process featuring advanced model-based timing analysis. In Reliable software technologies: Ada-Europe 2007: 12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, June 25--29, 2007: proceedings, pages 128--141. LNCS Springer-Verlag New York Inc, Volume 4498, 2007. Google ScholarGoogle ScholarDigital LibraryDigital Library
  12. A. Plantec and F. Singhoff. Refactoring of an Ada 95 Library with a Meta CASE Tool. ACM SIGAda Ada Letters, ACM Press, New York, USA, 26(3):61--70, November 2006. Google ScholarGoogle ScholarDigital LibraryDigital Library
  13. A. Plantec, F. Singhoff, P. Dissaux, and J. Legrand. Enforcing applicability of real-time scheduling theory feasibility tests with the use of design-patterns. In Tiziana Margaria and Bernhard Steffen, editors, Leveraging Applications of Formal Methods, Verification, and Validation, volume 6415 of Lecture Notes in Computer Science, pages 4--17. Springer Berlin / Heidelberg, 2010. Google ScholarGoogle ScholarDigital LibraryDigital Library
  14. Platypus Technical Summary and download. http://cassoulet.univ-brest.fr/mme/, 2007.Google ScholarGoogle Scholar
  15. SAE. Architecture Analysis and Design Language (AADL) AS-5506A. Technical report, The Engineering Society For Advancing Mobility Land Sea Air and Space, Aerospace Information Report, Version 2.0, January 2009.Google ScholarGoogle Scholar
  16. F. Singhoff. A taxonomy of real-time scheduling theory feasibility tests. LISyC Technical report, number singhoff-01--2010, Available at http://beru.univ-brest.fr/singhoff/cheddar, February 2010.Google ScholarGoogle Scholar
  17. 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. LNCS Springer-Verlag, Volume 4498, pages 180--191, Geneva, June 2007. Google ScholarGoogle ScholarDigital LibraryDigital Library
  18. F. Singhoff, A. Plantec, P. Dissaux, and J. Legrand. Investigating the usability of real-time scheduling theory with the Cheddar project. Real-Time Systems, 43(3):259--295, 2009. Google ScholarGoogle ScholarDigital LibraryDigital Library
  19. P. Spiby. ISO 10303 industrial automation systems--product data representation and exchange--part 11: Description methods: The express language reference manual. ISO DIS, pages 10303--11, 1992.Google ScholarGoogle Scholar
  20. S. Vestal. Meta-H User's Manual, Version 1.27. Technical report, download at http://www.htc.honeywell.com/metah/uguide.pdf, 1998.Google ScholarGoogle Scholar
  21. Jos Warmer and Anneke Kleppe. The Object Constraint Language: Getting Your Models Ready for MDA. Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA, 2 edition, 2003. Google ScholarGoogle ScholarDigital LibraryDigital Library

Index Terms

  1. An Ada design pattern recognition tool for AADL performance analysis

        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

        Full Access

        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!