By Topic

Hazard Analysis and Validation Metrics Framework for System of Systems Software Safety

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

4 Author(s)
Michael, J.B. ; Dept. of Comput. Sci., Naval Postgrad. Sch., Monterey, CA, USA ; Man-Tak Shing ; Cruickshank, K.J. ; Redmond, P.J.

Safety-critical software-intensive systems of systems require rigorous verification and validation to ensure that they function as per requirements. Unlike verification, validation is typically an ill-defined activity for software development. This paper presents a well-defined validation metrics framework which uses hazard analysis, and the derived software requirements for mitigating the identified hazards, as proxies in gauging the sufficiency of the software safety requirements early in the software development process. Moreover, traditional hazard analysis techniques are insufficient to deal with the complexity and size of systems of systems. This paper examines the nature and types of hazards associated with systems of systems and presents a new technique for analyzing one type of emergent hazard known as an interface hazard.

Published in:

Systems Journal, IEEE  (Volume:4 ,  Issue: 2 )