Showing 1 - 5 of 5 results for the Author - michael d. konrad , Type - White Paper
This paper describes the Systems and Software Producibility Collaboration Environment (SPRUCE) project and the resulting recommended practices on five software topics.
This report describes a test of an algorithm for estimating the complexity of a safety argument.
This report organizes our work on the impact of software complexity on aircraft safety by asking, “How can complexity complicate safety and, thus, certification?”
This special report describes the results of a literature review sampling what is known about complexity for application in the context of safety and assurance.
This report presents a formula for estimating the complexity of an avionics system and directly connects that complexity to the size of its safety argument.