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

Definition and Measurement of Complexity in the Context of Safety Assurance

  • 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.

  • Download

Cite This Report

SEI

Sheard, Sarah; Konrad, Michael; Weinstock, Charles; & Nichols, William. Definition and Measurement of Complexity in the Context of Safety Assurance. CMU/SEI-2016-TR-013. Software Engineering Institute, Carnegie Mellon University. 2016. http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=474089

IEEE

Sheard. Sarah, Konrad. Michael, Weinstock. Charles, and Nichols. William, "Definition and Measurement of Complexity in the Context of Safety Assurance," Software Engineering Institute, Carnegie Mellon University, Pittsburgh, Pennsylvania, Technical Report CMU/SEI-2016-TR-013, 2016. http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=474089

APA

Sheard, Sarah., Konrad, Michael., Weinstock, Charles., & Nichols, William. (2016). Definition and Measurement of Complexity in the Context of Safety Assurance (CMU/SEI-2016-TR-013). Retrieved September 22, 2017, from the Software Engineering Institute, Carnegie Mellon University website: http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=474089

CHI

Sarah Sheard, Michael Konrad, Charles Weinstock, & William Nichols. Definition and Measurement of Complexity in the Context of Safety Assurance (CMU/SEI-2016-TR-013). Pittsburgh, PA: Software Engineering Institute, Carnegie Mellon University, 2016. http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=474089

MLA

Sheard, Sarah., Konrad, Michael., Weinstock, Charles., & Nichols, William. 2016. Definition and Measurement of Complexity in the Context of Safety Assurance (Technical Report CMU/SEI-2016-TR-013). Pittsburgh: Software Engineering Institute, Carnegie Mellon University. http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=474089

BibTex

@techreport{SheardDefinitionand2016,
title={Definition and Measurement of Complexity in the Context of Safety Assurance},
author={Sarah Sheard and Michael Konrad and Charles Weinstock and William Nichols},
year={2016},
number={CMU/SEI-2016-TR-013},
institution={Software Engineering Institute, Carnegie Mellon University},
address={Pittsburgh, PA},
url={http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=474089} }