Failure analysis and the safety-case lifecycle

IFIP Advances in Information and Communication Technology

Volumn 152, Issue , 2004, Pages 163-176

  Greenwell, William S ^a   Strunk, Elisabeth A ^a   Knight, John C ^a  

^a University of Virginia   (United States)

Author keywords

Assurance; Failure analysis; Safety cases

Indexed keywords

AIR TRAFFIC CONTROL; ERRORS; FAILURE ANALYSIS; LIFE CYCLE; OCCUPATIONAL RISKS; SAFETY FACTOR; SECURITY SYSTEMS;

ANALYSIS PROCESS; ASSURANCE; CURRENT ANALYSIS; SAFETY CASE; SAFETY CRITICAL SYSTEMS; SYSTEM SAFETY;

FAILURE (MECHANICAL);

EID: 84902499853     PISSN: 18684238     EISSN: None     Source Type: Book Series    
DOI: 10.1007/1-4020-8153-7_11     Document Type: Conference Paper

References (10)

1. Bishop, P.G., and R. E. Bloomfield. "A Methodology for Safety Case Development." Safetycritical Systems Symposium, Birmingham, UK, Feb 1998.
2. Hamilton, V. and Rees, C. "Safety Integrity Levels: An Industrial Viewpoint." Towards System Safety: Proc. Seventh Safety Critical Systems Symposium, Huntington, U.K. T. Anderson and F. Redmill (Eds.). Springer-Verlag. 1999.
3. st International System Safety Conference, Ottawa, Canada, August 2003.
4. Johnson, C.W. Failure in Safety-Critical Systems: A Handbook of Accident and Incident Reporting. Glasgow: University of Glasgow Press. 2003.
5. Kelly, T.P. "Arguing Safety-A Systematic Approach to Managing Safety Cases," Ph.D. diss. University of York. 1998.
6. McDermid, J.A. "Software Safety: Where's the Evidence?" Proc. Australian Workshop on Industrial Experience with Safety Critical Systems and Software (SCS '01), Brisbane, Australia. P. Lindsay (Ed.). Conference in Research and Practice in Information Technology, Vol. 3. 2001.
7. McDermid, J.A. and Kelly, Tim. "A Systematic Approach to Safety Case Maintenance." Proc. International Conference on Computer Safety, Reliability, and Security (SAFECOMP '99), Toulouse, France. 1999.
8. National Transportation Safety Board. Controlled Flight Into Terrain, Korean Air Flight 801, Boeing 747-300, HL7468, Nimitz Hill, Guam, August 6, 1997. Aircraft Accident Report NTSB/AAR-00/01. Washington, DC, 2000.
9. RTCA. "Software Considerations in Airborne Systems and Equipment Certification," document RTCA/DO-178B. Washington, DC: RTCA, December 1992.
10. Weaver, R.A. "The Safety of Software: Constructing and Assuring Arguments," Ph.D. diss. University of York. 2003.