Welcome to our new site version. Your web page bookmarks may have changed, please search for pages by title to update them. Having problems ? Please try clearing your web browser cache and hard-reloading your web page first before contacting our webmaster.

Experiences with SAE AADL in Safety-critical Systems

[document] Submitted on 5 March, 2019 - 07:41
Keywords experiences with sae sae aadl in safety safety-critical systems
Standards groups

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
• 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

Date published
Language of Attachment(s)
Document type
Data Item Description (DID)
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!
File attachments
Cover images

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

Visit also