Accession Number:

AD1088897

Title:

Execution-based Verification of AADL Models

Descriptive Note:

Technical Report

Corporate Author:

CARNEGIE-MELLON UNIV PITTSBURGH PA PITTSBURGH United States

Personal Author(s):

Report Date:

2019-01-01

Pagination or Media Count:

11.0

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.

Subject Categories:

  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE