AADL standard suite focuses on architecture-centric software-reliant
system engineering
• Industrial practitioners with pain drive standard suite evolution
• Industry sectors: aerospace/avionics, medical devices & systems, automotive
AADL is becoming a platform for formalized validation & verification of
systems
• Annexes with well-defined semantics
© 2011 Carnegie Mellon University 17
• Static analysis, model checking, theorem provers
AADL and other standards
• System and SW co-engineering: AADL & SysML, dependability modeling
• AADL to represent ARINC653, TTP, (a)synchronous system architectures
• Safety-critical system standards
Defines standard
Replaced/Superseded by document(s)
Cancelled by
Amended by
| File | MIME type | Size (KB) | Language | Download | |
|---|---|---|---|---|---|
| Feiler-AADL-WICSA-June2011.pdf | application/pdf | 1.1 MB | English | DOWNLOAD! |
Provides definitions
Cover images
Introduction
AADL focuses on software runtime architecture and its
interaction with physical systems & computer systems
Includes execution & communication, timing, behavior, error,
partition (incl. ARINC653), data modeling, deployment semantics