Software Engineering Institute | Carnegie Mellon University
Software Engineering Institute | Carnegie Mellon University

Digital Library

Javascript is currently disabled for your browser. For an optimal search experience, please enable javascript.

Advanced Search

Basic Search

Content Type

Topics

Publication Date

Fact Sheet

System Verification and Validation with Model-Based Engineering: The Architecture Analysis & Design Language

  • March 2017
  • This brochure explains how the AADL enables early analysis and describes other benefits of using it to support system verification and validation.
  • Software Architecture
  • Publisher: Software Engineering Institute
  • Abstract

    Mismatches between software components and between software and hardware often result in system problems that are caught late in the development lifecycle, during integration or operation. Late discovery of faults and vulnerabilities is expensive for developers and potentially dangerous for users of mission- and safety-critical technologies. To address this problem, SAE International released Aerospace Standard AS5506, the Architecture Analysis & Design Language (AADL). Using AADL to model complex systems can help engineers identify issues that could cause system failures when components interact. This brochure explains how AADL enables early analysis and describes other benefits of using it to support system verification and validation with model-based engineering.

  • Download