search menu icon-carat-right cmu-wordmark

Improving Quality Using Architecture Fault Analysis with Confidence Arguments

Technical Report
The case study shows that by combining an 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.
Publisher

Software Engineering Institute

CMU/SEI Report Number
CMU/SEI-2015-TR-006
DOI (Digital Object Identifier)
10.1184/R1/6574250.v1

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.

Cite This Technical Report

Feiler, P., Weinstock, C., Goodenough, J., Delange, J., Klein, A., & Ernst, N. (2015, March 10). Improving Quality Using Architecture Fault Analysis with Confidence Arguments . (Technical Report CMU/SEI-2015-TR-006). Retrieved May 18, 2024, from https://doi.org/10.1184/R1/6574250.v1.

@techreport{feiler_2015,
author={Feiler, Peter and Weinstock, Charles and Goodenough, John and Delange, Julien and Klein, Ari and Ernst, Neil},
title={Improving Quality Using Architecture Fault Analysis with Confidence Arguments },
month={Mar},
year={2015},
number={CMU/SEI-2015-TR-006},
howpublished={Carnegie Mellon University, Software Engineering Institute's Digital Library},
url={https://doi.org/10.1184/R1/6574250.v1},
note={Accessed: 2024-May-18}
}

Feiler, Peter, Charles Weinstock, John Goodenough, Julien Delange, Ari Klein, and Neil Ernst. "Improving Quality Using Architecture Fault Analysis with Confidence Arguments ." (CMU/SEI-2015-TR-006). Carnegie Mellon University, Software Engineering Institute's Digital Library. Software Engineering Institute, March 10, 2015. https://doi.org/10.1184/R1/6574250.v1.

P. Feiler, C. Weinstock, J. Goodenough, J. Delange, A. Klein, and N. Ernst, "Improving Quality Using Architecture Fault Analysis with Confidence Arguments ," Carnegie Mellon University, Software Engineering Institute's Digital Library. Software Engineering Institute, Technical Report CMU/SEI-2015-TR-006, 10-Mar-2015 [Online]. Available: https://doi.org/10.1184/R1/6574250.v1. [Accessed: 18-May-2024].

Feiler, Peter, Charles Weinstock, John Goodenough, Julien Delange, Ari Klein, and Neil Ernst. "Improving Quality Using Architecture Fault Analysis with Confidence Arguments ." (Technical Report CMU/SEI-2015-TR-006). Carnegie Mellon University, Software Engineering Institute's Digital Library, Software Engineering Institute, 10 Mar. 2015. https://doi.org/10.1184/R1/6574250.v1. Accessed 18 May. 2024.

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. 2015. https://doi.org/10.1184/R1/6574250.v1