Title :
The SAE Architecture Analysis & Design Language (AADL) a standard for engineering performance critical systems
Author :
Feiler, Peter H. ; Lewis, Bruce A. ; Vestal, Steve
Author_Institution :
Software Engineering Institute, Pittsburgh, PA, 15213 USA
Abstract :
The Society of Automotive Engineers (SAE) Architecture Analysis & Design Language, AS5506, provides a means for the formal specification of the hardware and software architecture of embedded computer systems and system of systems. It was designed to support a full Model Based Development lifecycle including system specification, analysis, system tuning, integration, and upgrade over the lifecycle. It was designed to support the integration of multiple forms of analyses and to be extensible in a standard way for additional analysis approaches. A system can be automatically integrated from AADL models when fully specified and when source code is provided for the software components. Analysis of large complex systems has been demonstrated in the avionics domain.
Keywords :
Aerospace electronics; Automotive engineering; Computer architecture; Design engineering; Embedded computing; Formal specifications; Hardware; Performance analysis; Software architecture; Systems engineering and theory;
Conference_Titel :
Computer Aided Control System Design, 2006 IEEE International Conference on Control Applications, 2006 IEEE International Symposium on Intelligent Control, 2006 IEEE
Conference_Location :
Munich, Germany
Print_ISBN :
0-7803-9797-5
Electronic_ISBN :
0-7803-9797-5
DOI :
10.1109/CACSD-CCA-ISIC.2006.4776814
