Abstract
The emerging Society of Automotive Engineers (SAE) Architecture Analysis & Design Language (AADL) standard is an architecture modeling language for real-time, fault-tolerant, scalable, embedded, multiprocessor systems. It enables the development and predictable integration of highly evolvable systems as well as analysis of existing systems. This paper discusses the role and benefits of using the AADL in the process of analyzing an existing avionics system. We use the AADL to describe architecture patterns in the system being analyzed and to identify potentially systemic issues in the system. We discuss some of the findings related to timing, scheduling, and fault tolerance and the benefits of the use of the AADL. Additionally we highlight the benefits of working with architecture abstractions that are reflected in the AADL notation, in particular the separation of architecture design decisions from implementation decisions. Such a light-weight architecture analysis is typically followed by a full-scale AADL model of the system with required and actual timing, performance, and reliability figures, and its analysis to determine whether the requirements are met.
Chapter PDF
Similar content being viewed by others
7. References
AS2C, 2004, SAE AS-2c Subcommittee “Scope of the SAE AADL Standard”. Excerpt from draft standard document, http://www.aadl.info
AADL, 2004, Society of Automotive Engineers (SAE) Avionics Systems Division (ASD) AS-2C Subcommittee. “Avionics Architecture Description Language Standard.” Draft v0.99. May 2004.
Feiler et.al., 2003, P. Feiler, B. Lewis, S. Vestal, “The SAE AADL Standard: A Basis for Model-Based Architecture-Driven Embedded Systems Engineering”, Workshop on Model-Driven Embedded Systems, Real-Time Application Systems (RTAS) Conference, May 2003. See publications at http://www.aadl.info.
Feiler et.al., 2000, P. Feiler, B. Lewis, S. Vestal, “Improving Predictability in Embedded Real-time Systems” Software Engineering Institute, Special Report, CMU/SEI-2000-SR-01.
Feiler et.al., 2004, P. Feiler, D. Gluch, B. Lewis, J. Hudak, “Embedded System Architecture Analysis Using SAE AADL” Software Engineering Institute Technical Note CMU/SEI-2004-TN005, April 2004.
Klein, et.al., 1993, M. H. Klein, T. Ralya, B. Pollak, R. Obenza, M. Gonzalez Harbour, “A Practitioner's Handbook for Real-Time Analysis: Guide to Rate Monotonic Analysis for Real-Time Systems,” Kluwer Academic Publishers.
OSEK, 2003, Open systems and the corresponding interfaces for automotive electronics, OSEK, http://www.osek-vdx.org (2003).
ARINC653, 1997, “Avionics Application Software Standard Interface”, ARINC Specification 653, Airlines Electronic Engineering Committee, Aeronautical Radio Inc., 1997.
TTA, 2003, “TTA: Time-Triggered Architecture”. http://www.tttech.com/ and http://www.vmars.tuwien.ac.at/projects/tta/
LaPrie, 2002, J.C. LaPrie (editor), “Dependability: Basic Concepts and Terminology”, Springer Verlag (publisher), November 2002, ISBN: 037822968.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 International Federation for Information Processing
About this paper
Cite this paper
Feiler, P.H., Gluch, D.P., Hudak, J.J., Lewis, B.A. (2005). Pattern-Based Analysis of an Embedded Real-Time System Architecture. In: Dissaux, P., Filali-Amine, M., Michel, P., Vernadat, F. (eds) Architecture Description Languages. IFIP WCC TC2 2004. IFIP The International Federation for Information Processing, vol 176. Springer, Boston, MA. https://doi.org/10.1007/0-387-24590-1_4
Download citation
DOI: https://doi.org/10.1007/0-387-24590-1_4
Publisher Name: Springer, Boston, MA
Print ISBN: 978-0-387-24589-8
Online ISBN: 978-0-387-24590-4
eBook Packages: Computer ScienceComputer Science (R0)