Gilles Lasnier's homepage | Distributed Realtime & Embedded Systems
COMPASS – Correctness, Modeling and Performance of Aerospace Systems
Description: Software for mission- and safety-critical systems, such as avionics systems in aircraft, is growing larger and more expensive. The Architecture Analysis and Design Language (AADL) addresses common problems in the development of these systems, such as mismatched assumptions about the physical system, computer hardware, software, and their interactions that can result in system problems detected too late in the development lifecycle.
menu icon-carat-right cmu-wordmark ✕ About Leadership Divisions Work with Us Collaboration with CMU History of Innovation at the SEI Our Work Agile Artificial Intelligence Engineering Cloud Computing Cyber Workforce Development Cybersecurity Center Development Cybersecurity Engineering DevSecOps All Topics All Projects Publications Annual Reviews Blog Digital Library Podcast Series Software and Tools Technical Papers Vulnerability Notes Database Webinar Series News and Events News Events SEI Bulletin
The Architecture Analysis and Design Language (AADL) is an SAE international standard that addresses these issues by defining guidelines for design and analysis through a Domain-Specific Modeling Language (DSML).
AADL captures large designs through high-level architectural concepts built after domain expertise: component categories that describe key building blocks, such as processor, devices, threads, and rules to assemble them. Through careful abstractions, complex designs can be captured as smaller models amenable to inspection and analysis.
Gilles Lasnier's homepage | Distributed Realtime & Embedded Systems
COMPASS – Correctness, Modeling and Performance of Aerospace Systems