Software Engineering Institute | Carnegie Mellon University
Software Engineering Institute | Carnegie Mellon University

Digital Library

Javascript is currently disabled for your browser. For an optimal search experience, please enable javascript.

Advanced Search

Basic Search

Content Type

Topics

Publication Date

Technical Report

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.

  • Download

Cite This Report

SEI

Feiler, Peter; Gluch, David; & Woodham, Kurt. Case Study: Model-Based Analysis of the Mission Data System Reference Architecture (CMU/SEI-2010-TR-003). Software Engineering Institute, Carnegie Mellon University, 2010. http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=9407

IEEE

Feiler. Peter, Gluch. David, and Woodham. Kurt, "Case Study: Model-Based Analysis of the Mission Data System Reference Architecture," Software Engineering Institute, Carnegie Mellon University, Pittsburgh, Pennsylvania, Technical Report CMU/SEI-2010-TR-003, 2010. http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=9407

APA

Feiler, Peter., Gluch, David., & Woodham, Kurt. (2010). Case Study: Model-Based Analysis of the Mission Data System Reference Architecture (CMU/SEI-2010-TR-003). Retrieved December 22, 2014, from the Software Engineering Institute, Carnegie Mellon University website: http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=9407

CHI

Peter Feiler, David Gluch, & Kurt Woodham. Case Study: Model-Based Analysis of the Mission Data System Reference Architecture (CMU/SEI-2010-TR-003). Pittsburgh, PA: Software Engineering Institute, Carnegie Mellon University, 2010. http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=9407

MLA

Feiler, Peter., Gluch, David., & Woodham, Kurt. 2010. Case Study: Model-Based Analysis of the Mission Data System Reference Architecture (Technical Report CMU/SEI-2010-TR-003). Pittsburgh: Software Engineering Institute, Carnegie Mellon University. http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=9407