Case Study: Model-Based Analysis of the Mission Data System Reference Architecture

Abstract

This report documents the results of applying the Architecture Analysis and Design Language (AADL) to the Mission Data System (MDS) architecture. The work described in this case study is part of the National Aeronautics and Space Administration (NASA) Software Assurance Research Program (SARP) research project "Model-Based Software Assurance with the SAE Architecture Analysis and Design Language (AADL)." The report includes discussion of modeling and analyzing the MDS reference architecture and its instantiation for specific platforms. In particular, it focuses on modeling aspects of state-based system behavior in MDS for quantitative analysis. Three different types of state-based system models are considered: closed loop control, goal-oriented mission plan execution, and fault tolerance through mission replanning. This report demonstrates modeling and analysis of the MDS reference architecture as well as instantiations of the reference architecture for a specific mission system.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
May 01, 2010
Accession Number
ADA528582

Entities

People

  • David Gluch
  • Kurt Woodham
  • Peter H. Feller

Organizations

  • Carnegie Mellon University

Tags

Communities of Interest

  • Biomedical
  • Energy and Power Technologies
  • Space
  • Weapons Technologies

DTIC Thesaurus Topics

  • Application Software
  • Case Studies
  • Computers
  • Control Systems
  • Control Systems Engineering
  • Data Management
  • Engineers
  • Failure Mode And Effect Analysis
  • Formal Languages
  • Ground Control Stations
  • Jet Propulsion
  • Language
  • Resource Management
  • Software Assurance
  • Software Design
  • Software Development
  • Systems Engineering

Fields of Study

  • Computer science

Readers

  • Aerospace Engineering.
  • Software Engineering.

Technology Areas

  • Space