AADL User Day 2019: Welcome

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jan 01, 2019
Accession Number
AD1088798

Entities

People

  • Anita Carleton

Organizations

  • Carnegie Mellon University

Tags

Communities of Interest

  • Autonomy
  • Biomedical
  • Cyber

DTIC Thesaurus Topics

  • Acquisition
  • Avionics
  • Complex Systems
  • Cybersecurity
  • Cyberspace Operations
  • Department Of Defense
  • Deployment
  • Digital Engineering
  • Embedded Systems
  • Emerging Technology
  • Engineering
  • Language
  • Materials
  • Procurement
  • Software Development
  • Standards
  • Systems Engineering

Fields of Study

  • Computer science

Readers

  • Emergency Management and Homeland Security.
  • Software Engineering.

Technology Areas

  • AI & ML
  • AI & ML - Autonomous Systems
  • Autonomy
  • Space