Show simple item record

dc.contributor.advisorMichael, James B.
dc.contributor.advisorShing, Man-Tak
dc.contributor.authorCruickshank, Kristian John.
dc.date.accessioned2012-03-14T17:43:27Z
dc.date.available2012-03-14T17:43:27Z
dc.date.issued2009-03
dc.identifier.urihttp://hdl.handle.net/10945/4891
dc.description.abstractValidation 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.en_US
dc.description.urihttp://archive.org/details/avalidationmetri109454891
dc.format.extentxviii, 124 p. : col. ill. ;en_US
dc.publisherMonterey, California. Naval Postgraduate Schoolen_US
dc.subject.lcshSoftware engineeringen_US
dc.subject.lcshSoftware measurementen_US
dc.titleA validation metrics framework for safety-critical software-intensive systemsen_US
dc.typeThesisen_US
dc.contributor.corporateNaval Postgraduate School (U.S.)
dc.description.recognitionOutstanding Thesisen_US
dc.description.serviceRoyal Australian Air Force authoren_US
dc.identifier.oclc319535533
etd.thesisdegree.nameM.S.en_US
etd.thesisdegree.levelMastersen_US
etd.thesisdegree.disciplineSoftware Engineeringen_US
etd.thesisdegree.grantorNaval Postgraduate Schoolen_US
etd.verifiednoen_US
dc.description.distributionstatementApproved for public release; distribution is unlimited.


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record