Accession Number:

ADA496995

Title:

A Validation Metrics Framework for Safety-Critical Software-Intensive Systems

Descriptive Note:

Master's thesis

Corporate Author:

NAVAL POSTGRADUATE SCHOOL MONTEREY CA

Personal Author(s):

Report Date:

2009-03-01

Pagination or Media Count:

144.0

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.

Subject Categories:

  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE