Execution-based Verification of AADL Models

Abstract

Objective: Reduce aviation mission system integration testing time and effort and increase assurance by developing testing tools that support a model-based system development process. Develop a software tool that will check instrumentation data collected from an integrated mission system to see if the observed system behaviors of an integrated mission system conform to required and allowed behaviors defined in an Architectural Analysis and Design Language (AADL) model of the integrated aviation software and hardware mission system.

Open PDF

Document Details

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

Entities

People

  • John J. Hudak

Organizations

  • Carnegie Mellon University

Tags

Communities of Interest

  • Cyber

DTIC Thesaurus Topics

  • Acquisition
  • Copyrights
  • Data Acquisition
  • Denial Of Service Attack
  • Department Of Defense
  • Embedded Systems
  • Engineering
  • Guarantees
  • Instrumentation
  • Language
  • Materials
  • Safety
  • Software Development
  • Software Testing
  • System Safety
  • Universities
  • Verification

Fields of Study

  • Computer science

Readers

  • Maritime Combat Support and Expeditionary Logistics.
  • Software Engineering.