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.
- Arinc. Avionics Application Software Standard Interface. The Arinc Committee, January 1997.Google Scholar
- 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 Scholar
Digital Library
- A. Burns and A.J. Wellings. HRT-HOOD: a structured design method for hard real-time Ada systems, volume 3. Elsevier Science, 1995. Google Scholar
Digital Library
- F. Cottet, J. Delacroix, C. Kaiser, and Z. Mammeri. Scheduling in real-time systems. Wiley Online Library, 2002.Google Scholar
Cross Ref
- 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 Scholar
- 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 Scholar
Digital Library
- L. George, N. Rivierre, and M. Spuri. Preemptive and Non-Preemptive Real-time Uni-processor Scheduling. INRIA Technical report number 2966, 1996.Google Scholar
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- Platypus Technical Summary and download. http://cassoulet.univ-brest.fr/mme/, 2007.Google Scholar
- 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 Scholar
- 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 Scholar
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
- S. Vestal. Meta-H User's Manual, Version 1.27. Technical report, download at http://www.htc.honeywell.com/metah/uguide.pdf, 1998.Google Scholar
- 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 Scholar
Digital Library
Index Terms
An Ada design pattern recognition tool for AADL performance analysis
Recommendations
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 ...
AADL modeling and analysis of hierarchical schedulers
SIGAda '07: Proceedings of the 2007 ACM international conference on SIGAda annual international conferenceA 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. ...
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. ...







Comments