Abstract
Dependable software-intensive systems, such as embedded systems for avionics and vehicles are often developed under severe quality, schedule and budget constraints. As the size and complexity of these systems dramatically increases, the architecture design phase becomes more and more significant in order to meet these constraints. The use of Architecture Description Languages (ADLs) provides an important basis for mutual communication, analysis and evaluation activities. Hence, selecting an ADL suitable for such activities is of great importance. In this paper we compare and investigate the two ADLs – AADL and EAST-ADL. The level of support provided to developers of dependable software-intensive systems is compared, and several critical areas of the ADLs are highlighted. Results of using an extended comparison framework showed many similarities, but also one clear distinction between the languages regarding the perspectives and the levels of abstraction in which systems are modeled.
This work was partially supported by the Swedish Research Council (VR), and Mälardalen Real-Time Research Centre (MRTC)/Mälardalen University.
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
Wirsing, M.: Report of the beyond the horizon thematic group 6 on software intensive systems. Technical report, Thematic Group 6: Software-Intensive Systems (2006)
As-2 Embedded Computing Systems Committee SAE. Architecture Analysis & Design Language (AADL). SAE Standards no. AS5506 (2004)
The ATESST Consortium. East-adl 2.0 specification (November 2010), http://www.atesst.org
ATESST2. Advancing traffic efficiency and safety through software technology (November 2010), http://www.atesst.org
Medvidovic, N., Rosenblum, D.S.: Domains of concern in software architectures and architecture description languages. In: Proceedings of the Conference on Domain-Specific Languages (DSL 1997), p. 16. USENIX Association, Berkeley (1997)
Medvidovic, N., Taylor, R.N.: A classification and comparison framework for software architecture description languages. IEEE Trans. Softw. Eng. 26(1), 70–93 (2000)
Feiler, P.H., Gluch, D.P., Hudak, J.J.: The architecture analysis and design language (aadl): An introduction. Technical report (2006)
Hudak, J., Feiler, P.: Developing aadl models for control systems: A practitioner’s guide. Technical report, CMU Software Engineering Institute (SEI) (2007)
As-2 Embedded Computing Systems Committee SAE. Architecture Analysis & Design Language (AADL). SAE Standards no. AS5506A (2009)
Cuenot, P., Frey, P., Johansson, R., Lönn, H., Reiser, M.-O., Servat, D., Tavakoli Kolagari, R., Chen, D.J.: Developing automotive products using the east-adl2, an autosar compliant architecture description language. In: European Congress on Embedded Real-Time Software (ERTS), Toulouse, France (2008)
AUTOSAR. Automotive open system architecture (November 2010), http://www.autosar.org
Franca, R.B., Bodeveix, J.-P., Filali, M., Rolland, J.-F., Chemouil, D., Thomas, D.: The aadl behaviour annex – experiments and roadmap. In: ICECCS 2007: Proceedings of the 12th IEEE International Conference on Engineering Complex Computer Systems, pp. 377–382. IEEE Computer Society, Washington, DC, USA (2007)
SysML. Systems modeling language (November 2010), http://www.sysml.org
The cheddar project: a free real time scheduling analyzer (November 2010), http://beru.univ-brest.fr/~singhoff/cheddar/
Ocarina: An aadl model processing suite (November 2010), http://www.ocarina.enst.fr
Papyrus for east-adl (November 2010), http://www.papyrusuml.org
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Johnsen, A., Lundqvist, K. (2011). Developing Dependable Software-Intensive Systems: AADL vs. EAST-ADL. In: Romanovsky, A., Vardanega, T. (eds) Reliable Software Technologies - Ada-Europe 2011. Ada-Europe 2011. Lecture Notes in Computer Science, vol 6652. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-21338-0_8
Download citation
DOI: https://doi.org/10.1007/978-3-642-21338-0_8
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-21337-3
Online ISBN: 978-3-642-21338-0
eBook Packages: Computer ScienceComputer Science (R0)