Using an Architecture Description Language for Quantitative Analysis of Real-Time Systems

TitleUsing an Architecture Description Language for Quantitative Analysis of Real-Time Systems
Publication TypeConference Proceedings
Year of Conference2002
AuthorsAllen R, Vestal S, Cornhill D, Lewis B
Conference NameThird International Workshop on Software Performance
Date Published07/2002
Conference LocationRome, Italy
Abstract

An architecture description language (ADL) specifies the structure of an overall system as an assembly of interacting components. ADLs can serve as input to a variety of development tools. We outline the Avionics Architecture Description Language, an emerging SAE standard for describing the architectures of hard real-time, safety-critical embedded computer systems. We describe a suite of tools that perform a set of verification, modeling and analysis, and implementation activities given an AADL specification. We summarize a study that applied these technologies using data about a complex avionics system, identifying and discussing some of the issues raised by this exercise.