Acme: architectural description of component-based systems
Foundations of component-based systems
Documenting Software Architectures: Views and Beyond
Documenting Software Architectures: Views and Beyond
| Hi-index | 0.00 |
Architecture Description Languages provide significant opportunity for the incorporation of formal methods and engineering models into the analysis of software and system architectures. The SAE AADL [1] is a standard that has been 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. This paper will highlight the components and features of AADL that facilitate the development of system architectures comprised of both hardware and software components. It will demonstrate how the features of AADL may be used to conduct a wide variety of dependability analysis on AADL architectural models. To help in the understanding of AADL the paper will begin with a discussion of software and systems architecture. It will then show how the AADL supports these concepts.