Issue No. 02 - March/April (2006 vol. 23)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/MS.2006.36
Alek Radjenovic , University of York
Richard Paige , University of York
Safety-critical systems, also known as high-integrity real-time systems (HIRTS), require architecture description languages that model the entire system, rather than specific parts or aspects of the system. ADLs pose unique challenges in their construction. Architecture Information Modeling is an ADL developed in collaboration with the safety industry. AIM provides language flexibility, abstraction layering, custom view creation, a design-by-view process, and safety and change control. A case study demonstrates the application of the AIM concepts in a top-down software design.<p>This article is part of a focus section on software architecture.</p>
architecture description languages, safety-critical systems, model development, modeling methodologies, software architecture
R. Paige and A. Radjenovic, "Architecture Description Languages for High-Integrity Real-Time Systems," in IEEE Software, vol. 23, no. , pp. 71-79, 2006.