search menu icon-carat-right cmu-wordmark

Definition and Measurement of Complexity in the Context of Safety Assurance

Technical Report
This report describes research to define complexity measures for avionics systems to help the FAA identify when systems are too complex to assure their safety.
Publisher

Software Engineering Institute

CMU/SEI Report Number
CMU/SEI-2016-TR-013
DOI (Digital Object Identifier)
10.1184/R1/6572957.v1

Abstract

This report describes research to define complexity measures for avionics systems to help the FAA identify when systems are too complex to assure their safety.

The project selected a measure of complexity related to the number of ways that an avionics system error (fault) could propagate from element to element. Since each potential propagation requires another sub-argument in the safety case, the number of arguments should be linear with certification effort. Thus, the ability to show system safety through the certification process depends on this kind of system complexity.

Our results include a formula for calculating the “error-propagation complexity” from system designs and its results for small and medium systems. We tested it on a second design for each system and on a larger design from a NASA report.

The complexity measurement must be matched to available review time to determine if a system is “too complex to assure safety.” Review times for small cases were extrapolated to larger ones, assuming that a typical system includes small, medium, and large designs. Since many numbers and their relationships are speculative, the boundary of systems “too complex to assure safety” should be treated very cautiously. Finally, future research areas are discussed.

Cite This Technical Report

Sheard, S., Konrad, M., Weinstock, C., & Nichols, B. (2016, October 27). Definition and Measurement of Complexity in the Context of Safety Assurance. (Technical Report CMU/SEI-2016-TR-013). Retrieved July 12, 2024, from https://doi.org/10.1184/R1/6572957.v1.

@techreport{sheard_2016,
author={Sheard, Sarah and Konrad, Michael and Weinstock, Charles and Nichols, Bill},
title={Definition and Measurement of Complexity in the Context of Safety Assurance},
month={Oct},
year={2016},
number={CMU/SEI-2016-TR-013},
howpublished={Carnegie Mellon University, Software Engineering Institute's Digital Library},
url={https://doi.org/10.1184/R1/6572957.v1},
note={Accessed: 2024-Jul-12}
}

Sheard, Sarah, Michael Konrad, Charles Weinstock, and Bill Nichols. "Definition and Measurement of Complexity in the Context of Safety Assurance." (CMU/SEI-2016-TR-013). Carnegie Mellon University, Software Engineering Institute's Digital Library. Software Engineering Institute, October 27, 2016. https://doi.org/10.1184/R1/6572957.v1.

S. Sheard, M. Konrad, C. Weinstock, and B. Nichols, "Definition and Measurement of Complexity in the Context of Safety Assurance," Carnegie Mellon University, Software Engineering Institute's Digital Library. Software Engineering Institute, Technical Report CMU/SEI-2016-TR-013, 27-Oct-2016 [Online]. Available: https://doi.org/10.1184/R1/6572957.v1. [Accessed: 12-Jul-2024].

Sheard, Sarah, Michael Konrad, Charles Weinstock, and Bill Nichols. "Definition and Measurement of Complexity in the Context of Safety Assurance." (Technical Report CMU/SEI-2016-TR-013). Carnegie Mellon University, Software Engineering Institute's Digital Library, Software Engineering Institute, 27 Oct. 2016. https://doi.org/10.1184/R1/6572957.v1. Accessed 12 Jul. 2024.

Sheard, Sarah; Konrad, Michael; Weinstock, Charles; & Nichols, Bill. Definition and Measurement of Complexity in the Context of Safety Assurance. CMU/SEI-2016-TR-013. Software Engineering Institute. 2016. https://doi.org/10.1184/R1/6572957.v1