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

Improving Quality Using Architecture Fault Analysis with Confidence Arguments

  • Abstract

    This case study shows how an analytical architecture fault-modeling approach can be combined with confidence arguments to diagnose a time-sensitive design error in a control system and to provide evidence that proposed changes to the system address the problem. The analytical approach, based on the SAE Architecture Analysis and Design Language for its well-defined timing and fault behavior semantics, demonstrates that such hard-to-test errors can be discovered and corrected early in the lifecycle, thereby reducing rework cost. The case study shows that by combining the analytical approach with confidence maps, we can present a structured argument that system requirements have been met and problems in the design have been addressed adequately—increasing our confidence in the system quality. The case study analyzes an aircraft engine control system that manages fuel flow with a stepper motor. The original design was developed and verified in a commercial model-based development environment without discovering the potential for missed step commanding. During system tests, actual fuel flow did not correspond to the desired fuel flow under certain circumstances. The problem was traced to missed execution of commanded steps due to variation in execution time.

  • Download

Cite This Report

SEI

Feiler, Peter; Weinstock, Charles; Goodenough, John; Delange, Julien; Klein, Ari; & Ernst, Neil. Improving Quality Using Architecture Fault Analysis with Confidence Arguments . CMU/SEI-2015-TR-006. Software Engineering Institute, Carnegie Mellon University. 2015. http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=435051

IEEE

Feiler. Peter, Weinstock. Charles, Goodenough. John, Delange. Julien, Klein. Ari, and Ernst. Neil, "Improving Quality Using Architecture Fault Analysis with Confidence Arguments ," Software Engineering Institute, Carnegie Mellon University, Pittsburgh, Pennsylvania, Technical Report CMU/SEI-2015-TR-006, 2015. http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=435051

APA

Feiler, Peter., Weinstock, Charles., Goodenough, John., Delange, Julien., Klein, Ari., & Ernst, Neil. (2015). Improving Quality Using Architecture Fault Analysis with Confidence Arguments (CMU/SEI-2015-TR-006). Retrieved March 25, 2017, from the Software Engineering Institute, Carnegie Mellon University website: http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=435051

CHI

Peter Feiler, Charles Weinstock, John Goodenough, Julien Delange, Ari Klein, & Neil Ernst. Improving Quality Using Architecture Fault Analysis with Confidence Arguments (CMU/SEI-2015-TR-006). Pittsburgh, PA: Software Engineering Institute, Carnegie Mellon University, 2015. http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=435051

MLA

Feiler, Peter., Weinstock, Charles., Goodenough, John., Delange, Julien., Klein, Ari., & Ernst, Neil. 2015. Improving Quality Using Architecture Fault Analysis with Confidence Arguments (Technical Report CMU/SEI-2015-TR-006). Pittsburgh: Software Engineering Institute, Carnegie Mellon University. http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=435051

BibTex

@techreport{FeilerImprovingQuality2015,
title={Improving Quality Using Architecture Fault Analysis with Confidence Arguments },
author={Peter Feiler and Charles Weinstock and John Goodenough and Julien Delange and Ari Klein and Neil Ernst},
year={2015},
number={CMU/SEI-2015-TR-006},
institution={Software Engineering Institute, Carnegie Mellon University},
address={Pittsburgh, PA},
url={http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=435051} }