Showing 1 - 6 of 6 results for the Author - charles (chuck) weinstock , Type - White Paper
In this paper, the authors provide examples of several of the kinds of evidence that can contribute to a security case.
In this paper, the authors explain an approach to documenting an assurance case for system security.
This white paper presents an improvement strategy comprising four pillars of an integrate-then-build practice that lead to improved quality through early defect discovery and incremental end-to-end validation and verification.
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 report describes a test of an algorithm for estimating the complexity of a safety argument.
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.