Accession Number:

AD1088798

Title:

AADL User Day 2019: Welcome

Descriptive Note:

Conference Paper

Corporate Author:

CARNEGIE-MELLON UNIV PITTSBURGH PA PITTSBURGH United States

Personal Author(s):

Report Date:

2019-01-01

Pagination or Media Count:

17.0

Abstract:

SAE Avionics AADL standard adopted in 2004. Focused on embedded software system modeling, analysis, and generation. Strongly typed language with well-defined semantics. Used for critical systems in domains such as avionics, aerospace, medical, nuclear, automotive, and robotics.

Subject Categories:

  • Computer Programming and Software
  • Computer Systems Management and Standards

Distribution Statement:

APPROVED FOR PUBLIC RELEASE