This content is not included in
your SAE MOBILUS subscription, or you are not logged in.
AADL Real-Tme Design-Pattern Automatic Recognition
Technical Paper
2011-01-2579
ISSN: 0148-7191, e-ISSN: 2688-3627
Annotation ability available
Sector:
Language:
English
Abstract
This article deals with performance verifications applied to architecture models of real-time embedded systems. We focus on models that can be verified with the real-time scheduling theory. To perform verifications with the real-time scheduling theory, the architecture designers must check that their models are compliant with the assumptions of this theory. Unfortunately, this task is difficult since it requires that designers have a deep understanding of the real-time scheduling theory. In this article, we investigate how to help designers to check that their architecture models are compliant with this theory. We show how to explicitly model the relationships between an architectural model and real-time scheduling analysis methods. From these models, we apply a model-based engineering process to generate a recognition tool that is able to detect from an architecture model which are the analysis methods that can be applied.
Recommended Content
Authors
Citation
Dissaux, P., Legrand, J., Gaudel, V., Plantec, A. et al., "AADL Real-Tme Design-Pattern Automatic Recognition," SAE Technical Paper 2011-01-2579, 2011, https://doi.org/10.4271/2011-01-2579.Also In
References
- Liu, C. L. Layland, J. W. Scheduling algorithms for multiprogramming in a hard real-time environnment Journal of the Association for Computing Machinery 20 1 46 61 January 1973
- Vestal, S. Meta-H User's Manual 1998 http://www.htc.honeywell.com/metah/uguide.pdf
- ISO Ada 2005 International Standard ISO/IEC ISO/IEC 8652:1995/Amd 1:2007 March 2007 Ada Working Group
- Sha, R. Rajkumar Lehoczky, J.P. Priority Inheritance Protocols: An Approach to Real-time Synchronization IEEE Transactions on computers 39 9 1175 1185 1990
- Cottet, F. Delacroix, J. Kaiser, C. Mammeri, Z. Scheduling in Real-Time Systems John Wiley & Sons, Ltd 2003
- Singhoff, F. Plantec, A. Dissaux, P. Legrand, J. Investigating the usability of real-time scheduling theory with the Cheddar project Journal of Real Time Systems 43 3 259 295 November 2009 Springer Verlag
- SAE Aerospace Standard “Architecture Analysis and Design Language (AADL),” SAE Standard AS5506A Jan. 2009
- Plantec, A. Ribaud, V. PLATYPUS : A STEP-based Integration Framework 14th Interdisciplinary Information Management Talks (IDIMT-2006) Budweis, République Tchèque 261 274 September 2006
- Bertomieu, B. Bodeveix, J.-P. Zilio, S. Dal Dissaux, P. Filali, M. Gaufillet, P. Heim, S. Vernadat, F. Formal Verification of AADL models with Fiacre and Tina Proceedings of the 5th International Congress Embedded Real Time Software and Systems (ERTS 2010) Toulouse, France 19 21 May 2010
- Perrotin, M. Conquet, E. Dissaux, P. Tsiodras, T. Hugues, J. The TASTE Toolset: turning human designed heterogeneous systems into computer built homogeneous software Proceedings of the 5th International Congress Embedded Real-Time Software and Systems (ERTS 2010) Toulouse, France 19 21 May 2010
- Dissaux, P. Singhoff, F. Stood and Cheddar: AADL as a pivot language for Analysing Performances of Real-Time Architectures Proceeding of the 4th ERTS conference February 2008 Toulouse, France
- ISO 10303-1 Part 1: Overview and fundamental principles 1994
- ISO 10303-11 Part 11: EXPRESS Language Reference Manual 1994
- Singhoff, F. Plantec, A. Towards User-Level extensibility of an Ada library : an experiment with Cheddar Proceedings of the 12th International Conference on Reliable Software Technologies, Ada-Europe, Lecture Notes on Computer Science/LNCS Springer-Verlag 4498 180 191 Geneva June 2007
- Plantec, A. Singhoff, F. Refactoring of an Ada 95 Library with a Meta CASE Tool ACM SIGAda Ada Letters 26 3 61 70 ACM Press New York, USA November 2006 1094-3641
- Monperrus, M. Jezequel, JM Champeau, J. Hoeltzener, B. A Model-driven Measurement Approach Proceedings of the ACM/IEEE 11th International Conference on Model Driven Engineering Languages and Systems (MODELS'2008)
- Tanenbaum, A. Modern Operating Systems Prentice-Hall 2001