A Validation Metrics Framework for Safety-Critical Software-Intensive Systems
Abstract
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."
Document Details
- Document Type
- Technical Report
- Publication Date
- Mar 01, 2009
- Accession Number
- ADA496995
Entities
People
- Kristian J. Cruickshank
Organizations
- Naval Postgraduate School