Hazard analysis and validation metrics framework for system of systems software safety

IEEE Systems Journal

Volumn 4, Issue 2, 2010, Pages 186-197

  Michael, James Bret ^a   Shing, Man Tak ^a   Cruickshank, Kristian John ^b   Redmond, Patrick James ^b  

^a The Department of Electrical and Computer Engineering   (United States)

^b Royal Australian Air Force   (Australia)

Author keywords

Goal question metric; Goal structuring notation; Hazard analysis; Interface hazard; Safety; Software; System of systems; Validation metrics

Indexed keywords

GOAL STRUCTURING NOTATION; GOAL-QUESTION-METRIC; HAZARD ANALYSIS; SAFETY CRITICAL SOFTWARE; SAFETY SOFTWARE; SOFTWARE DEVELOPMENT; SOFTWARE DEVELOPMENT PROCESS; SOFTWARE REQUIREMENTS; SOFTWARE SAFETY; SYSTEM OF SYSTEMS; SYSTEMS OF SYSTEMS; VERIFICATION AND VALIDATION;

COMPUTER SOFTWARE SELECTION AND EVALUATION; SOFTWARE DESIGN; SYSTEMS ENGINEERING; VERIFICATION;

HAZARDS;

EID: 77953214255     PISSN: 19328184     EISSN: 19379234     Source Type: Journal    
DOI: 10.1109/JSYST.2010.2050159     Document Type: Article

References (11)

1. Software System Safety Handbook: A Technical and Managerial Team Approach, Joint Services Computer Resource Management Group Joint Software System Safety Committee, U. S. Navy, U. S. Army, U.S. Air Force, 1999.
2. C. A. Ericson, Hazard Analysis Techniques for System Safety. Hoboken, NJ: Wiley, 2005.
3. R. Weaver, "The Safety of Software-Constructing and Assuring Arguments," Doctoral, Dept. Comput. Sci., Univ. York, York, U.K., 2003.
4. V. Basili, F. Marotta, K. Dangle, I. Rus, and L. Esker, "Measures and risk indicators for early insight into software safety," Crosstalk, Oct. 2008.
5. K. Poulsen, Software Bug Contributed to Blackout, SecurityFocus, 11 February 2004 Feb. 3, 2010 [Online]. Available: http://www.securityfocus. com/news/8016
6. J. Reese and N. Leveson, "Software deviation analysis," in Proc. 19th Int. Conf. Software Engineering, Boston, MA, May 17-23, 1997, pp. 250-260.
7. P. Redmond, "A System-of-Systems Interface Hazard Analysis Technique," M. S., Naval Postgraduate School, Monterey, CA, 2007.
8. V. Basili, G. Caldiera, and H. Rombach, "The goal question metric approach," in Encyclopedia of Software Engineering. Hoboken, NJ: Wiley, 1994, vol.1, pp. 528-532.
9. R. Weaver, J. Fenn, and T. Kelly, "A pragmatic approach to reasoning about the assurance of safety arguments," in Proc. 8th AustralianWorkshop on Safety Critical Systems and Software, Canberra, Australia, Oct. 1, 2003, pp. 57-67.
10. V. Basili and H. Rombach, "The TAME project: Towards improvement- oriented software environments," IEEE Trans. Softw. Eng., vol.SE-14, no.6, pp. 758-773, Jun. 1988.
11. K. Cruickshank, "A Validation Metrics Framework for Safety-Critical Software-Intensive Systems,"M. S., Naval Postgraduate School, Monterey, CA, 2009.