Abstract
Architecture description languages (ADLs) are more and more considered in system engineering to model real-time applications (avionics, transportation, critical industrial systems, etc.). They provide means to formally specify architectures and support their design from the capture of the needs to the final validation. ASSERT, a european integrated project (IP) tackling improvement of system engineering process, is an illustration of this consideration.
Among all the existing ADLs, a few must be attentively considered because they should spread in the future. This is the case for AADL, an ADL initially dedicated to avionics applications, and now designed to support any domain critical application.
AADL may play a great role in industry to improve software and system development process. To achieve this objective, we need to strongly combine the description capabilities of AADL with tool suites used to develop, generate or test the system. This means that such tool suites have to explicitly support AADL.
AADL is based on MetaH, which is both an ADL and a tool set supporting it. In this paper, we will consider how an equivalent AADL tool suite could be built, possibly based on MetaH tools. We will also consider the industrial domains where it could be adopted and the role it could play.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Axlog ingénierie, “AADL (Avionics Architecture Description Language)”, 2003, http://www.axlog.fr/R-d/aadl/aadLen.html.
Honeywell, “MetaH Evaluation and Support Site”, 1998, http://www.htc.honeywell.com/metah/.
AEE, 2002, http://aee.inria.fr/.
Jean-Pierre Elloy, Françoise Simonot-Lion, “An architecture description language for in-vehicle embedded system development”, 2002.
“EAST-EEA — Embedded Electronic Architecture”, http://www.east-eea.net/.
Axlog ingénierie, “ADeS”, 2003, http://www.axlog.fr/R_d/aadl/ades.en.html.
Telelogic, “Telelogic ObjectGeode”, http://www.telelogic.com/products/additional/objectgeode/index.cfrn.
Mathworks, “Simulink”, http://www.mathworks.com/products/simulink/.
Inria, “Scilab”, http://scilabsoft.inria.fr/.
“Unified Modeling Language”, http://www.uml.org/.
HOOD User's Group and Jean-Pierre Rosen, “HOOD, An Industrial Approach for Software Design”, 1997.
Telelogic, “Telelogic DOORS/ERS”, http://www.telelogic.com/products/doorsers/index.cfm.
SteelTrace, “Catalyze suite”, http://www.steeltrace.corn/products_catalyze_suite.htrn.
Gerard Le Lann, “Proof-Based System Engineering and Embedded Systems”, invited paper, European School on Embedded Systems (Veldhoven, NL, Nov 1996), in Lecture Notes in Computer Science nř1494, Stringer-Verlag Pub., Oct 1998, pp. 208–248. http://www-rocq.inria.fr/reflecs/publications-fr.html.
“Projet InKa”, http://www.axlog.fr/R_d/inka/inka_cadre.html.
“DANOCOPS: Détection Automatique de NOn-COnformités d'un Programme vis-à-vis de ses Spécifications”, http://www.telecom.gouv.fr/rntl/projet/Posters-PDF/RNTL-Poster-Danocops.pdf.
“Atelier de generation de tests de sp'ecifications industrielles AGATHA”, http://www-drt.cea.fr/fr/prog/list/systemes-embarques/list-outils-atelier.htm.
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
Tilman, JF. (2005). Building Tool Suite for AADL. 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_13
Download citation
DOI: https://doi.org/10.1007/0-387-24590-1_13
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)