A validation metrics framework for safety-critical software-intensive systems
Cruickshank, Kristian John.
Michael, James B.
MetadataShow full item record
Validation of safety-critical software requirements is a difficult and frequently misunderstood task. It answers the question of "are we building the right product?" and is essential to Software Engineering. However, validation is often confused with verification activities, or simply left as a final tick-in-the-box just prior to delivery. Current models for validation cannot satisfy the unique aspects of safety-critical software where "building the right safety product" is paramount. Software safety requires a new model for validation of safety requirements by proxy. The need for a proxy model becomes evident in the software safety process, where customer input for safety is reduced to the requirement of "a safe system." This thesis defines a new proactive model for validation of safet-critical software requirements. Continuous assessment of validity of safety requirements is indicated by metrics as part of the Validation Metrics Framework. The generic framework combines the Goal/Question/Metric Approach with Goal Structuring Notation and then specializes in validation of safety-critical software. The metrics are measurements of safety products typical to safety-critical software development programs. A fictitious case study of a Rapid Action Surface to Air Missile is used to apply the framework, identifying the benefits of a proactive, indicative, validation technique utilizing a metrics framework.
Approved for public release, distribution unlimited
Showing items related by title, author, creator and subject.
Warren, Bradley R. (Monterey, California. Naval Postgraduate School, 2008-03);This thesis concerns the effective and safe software reuse in safety-critical system-of-systems. Software reuse offers many unutilized benefits such as achieving rapid system development, saving resources and time, and ...
Application of architectural patterns and lightweight formal method for the validation and verification of safety critical systems Karagiannakis, Vasileios (Monterey, California: Naval Postgraduate School, 2013-09);This thesis researches the role of software architectural patterns and lightweight formal methods in safety-critical software development. We present a framework that relates the different activities and products from ...
System requirements analysis and technological support for the Ballistic Missile Defense System (BMDS): FY07 progress report M. Auguston,; Drusinsky, D.; Hutchins, R.; Michael, J.B.; Knorr, J.B.; Otani, T.; Pace, P.E.; Shing, M.; Tummala, M.; Cook, T.; Katopodis, P.; Walker, T.O.; Chen, Y.Q.; Katsis, G.; Little, D.; Patsikas, D.; Pace, Z.P.; Rakdham, B.; Sampson, A.J.; Tummala, H.; Waddell, C.C. (Monterey, California. Naval Postgraduate School, 2007-07); NPS-CS-07-007Engineering of the Ballistic Missile Defense System (BMDS) requires one to take a holistic approach that includes the physical modeling and analysis of the missile defense operating environment, development of metrics and ...