Abstract
Architecture Description Languages provide significant opportunity for the incorporation of formal methods and engineering models into the analysis of software and system architectures. The SAE AADL [1] is a standard that has been developed for embedded real-time safety critical systems which will support the use of various formal approaches to analyze the impact of the composition of systems from hardware and software and which will allow the generation of system glue code with the performance qualities predicted. This paper will highlight the components and features of AADL that facilitate the development of system architectures comprised of both hardware and software components. It will demonstrate how the features of AADL may be used to conduct a wide variety of dependability analysis on AADL architectural models. To help in the understanding of AADL the paper will begin with a discussion of software and systems architecture. It will then show how the AADL supports these concepts.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Society of Automotive Engineers (SAE) Avionics Systems Division (ASD) AS-2C Subcommittee. Avionics Architecture Description Language Standard, AS5506, vol. 1.0 (November 2004)
Clements, Paul, et al.: Documenting Software Architectures: Views and Beyond. SEI Series in Software Engineering. Addison-Wesley, Reading (2002)
IEEE Std 1471-2000 IEEE Recommended Practice for Architectural Description of Software-Intensive Systems –Description (2000)
Binns, Pamela, Englehart, M., Jackson, M., Vestal, S.: Domain Specific Software Architectures for Guidance, Navigation and Control,” Honeywell Technology Center, Minneapolis, MN. International Journal of Software Engineering and Knowledge Engineering 6(2), 201–227 (1996)
Garlan, David, Monroe, R.T., Wile, D.: Acme: Architectural Description of Component-Based Systems. In: Foundations of Component Based Systems, Cambridge University Press, Cambridge (2000)
Feiler, Peter, H., Gluch, D.P., Hudak, J.H., Lewis, B.A.: Embedded System Architecture Using SAE AADL. Technical Note CMU/SEI-2004-TN-005 (June 2004)
LaPrie, J.-C.: Dependable Computing and Fault Tolerance: Concepts and Terminology. In: FTCS-15. Proceedings of the 15th International Symposium on Fault-Tolerant Computing, Ann Arbor, MI, pp. 2–11 (1985)
IFIP WG10.4 on Dependable Computing and Fault Tolerance. In: Laprie, J.-C. (ed.) Dependability: Basic Concepts and Terminology, Dependable Computing and Fault Tolerance, vol. 5, Springer, Wien, New York (1992)
Society of Automotive Engineers (SAE) Avionics Systems Division (ASD) AS-2C Subcommittee. SAE Architecture Analysis and Design Language (AADL) Annex vol. 1: Annex A: Graphical AADL Notation, Annex C: AADL Meta-Model and Interchange Formats, Annex D: Language Compliance and Application Program Interface Annex E: Error Model Annex, AS5506/1, vol. 1.0 (June 2006)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Tokar, J.L. (2007). Architecting Dependable Systems with the SAE Architecture Analysis and Description Language (AADL). In: de Lemos, R., Gacek, C., Romanovsky, A. (eds) Architecting Dependable Systems IV. Lecture Notes in Computer Science, vol 4615. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-74035-3_1
Download citation
DOI: https://doi.org/10.1007/978-3-540-74035-3_1
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-74033-9
Online ISBN: 978-3-540-74035-3
eBook Packages: Computer ScienceComputer Science (R0)