Model-Based Engineering with AADL: Transitioning Research to Practice

Abstract

The Problem: Safety-Critical Embedded Software Systems; Part of the Solution: AADL Framework. How AADL Helps Solve Problems: Our Current Project; Zooming Out: Safety Work Done by the MBE Team; Zooming Out, Again: A Holistic View of Research Using AADL. DoD Impacts: Army AADL Success Story: Not Just DoD: How AADL Supports Transition. Alignment with Digital Engineering Strategy.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jan 01, 2020
Accession Number
AD1110386

Entities

People

  • Sam Procter

Organizations

  • Carnegie Mellon University

Tags

Communities of Interest

  • Autonomy
  • Biomedical
  • Cyber

DTIC Thesaurus Topics

  • Aircrafts
  • Army Aviation
  • Cyber-Physical Systems
  • Department Of Defense
  • Digital Engineering
  • Embedded Systems
  • Engineering
  • Language
  • Materials
  • Models
  • Procurement
  • Safety
  • Security
  • Software Development
  • Systems Engineering
  • Universities
  • Unmanned Aerial Vehicles

Fields of Study

  • Computer science

Readers

  • Image Processing and Computer Vision.
  • Software Engineering.