Abstract Architecture Description Languages provide significant opportunity for the incorporation of formal methods and engineering models into the analysis of software and system architectures. A standard is being 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. The SAE AADL standard (International Society for Automotive Engineers (SAE) Architecture Analysis & Design Language) is based on the MetaH language developed under DARPA and US Army funding and on the model driven architectural based approach demonstrated with this technology over the last 12 years. The SAE AADL standard is aimed at supporting avionics, space, automotive, robotics and other real-time concurrent processing domains including safety critical applications.
An Overview of the SAE Architecture Analysis & Design Language (AADL) Standard: A Basis for Model-Based Architecture-Driven Embedded Systems Engineering
2005-01-01
13 pages
Aufsatz/Kapitel (Buch)
Elektronische Ressource
Englisch
Architecture Analysis & Design Language , AADL , architecture description language , computer architecture , computer modeling , computer analysis , embedded systems , model based development , SAE , software architecture , system architecture Computer Science , Theory of Computation , Software Engineering , Computer System Implementation , Input/Output and Data Communications , Computer Hardware , Simulation and Modeling
Architecture Analysis & Design Language (AADL)
SAE Technical Papers | 2017
Architecture Analysis & Design Language (AADL)
SAE Technical Papers | 2022
Architecture Analysis & Design Language (AADL)
SAE Technical Papers | 2012
Architecture Analysis & Design Language (AADL)
SAE Technical Papers | 2009