Safety process improvement: Early analysis and justification

IET Conference Publications

Volumn , Issue 532 CP, 2007, Pages 100-105

  Mannering, Derek ^a   Hall, Jon G ^b   Rapanotti, Lucia ^b  

^a General Dynamics UK Limited   (United Kingdom)

^b OPEN UNIVERSITY   (United Kingdom)

Author keywords

POSE; Problem transformation; Safety

Indexed keywords

DESIGN DECISIONS; POSE; PROBLEM ORIENTED SOFTWARE ENGINEERINGS; PROBLEM TRANSFORMATION; REQUIREMENTS PHASE; SAFETY; SAFETY DEVELOPMENT; SAFETY PROCESS; SAFETY RISKS;

RISK MANAGEMENT; SOFTWARE ENGINEERING; SYSTEMS ENGINEERING;

SAFETY ENGINEERING;

EID: 67649784569     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1049/cp:20070449     Document Type: Conference Paper

References (16)

1. R. de Lemos, A. Saeed and T. Anderson, "On the Integration of Requirements Analysis and Safety Analysis for Safety-Critical Systems," University of Newcastle upon Tyne, UK http://citeseer.ist.psu.edu/536230.html, 1998.
2. A. Ellis, "Achieving Safety in Complex Control Systems," Safety Critical Systems Symposium, Brighton, United Kingdom, 1995.
3. A. Gerstinger, G. Schedl and W. Winkelbauer, "Safety versus Reliability: Different or Equal," 20th International System Safety Conference, Denver, Colorado, USA, 2002.
4. J. G. Hall, L. Rapanotti and M. Jackson, "Problem Oriented Software Engineering: A design-theoretic framework for software engineering," 5th IEEE Int. Conference on Software Engineering and Formal Methods (SEFM 2007), London, UK, 2007.
5. IEC, "61508 Functional safety of electrical/electronic/programmable electronic safetyrelated systems," International Electrotechnical Commission.
6. M. A. Jackson, Problem frames : analysing and structuring software development problems. Harlow: Addison-Wesley, 2001.
7. S. Kleene, Introduction to Metamathematics: Van Nostrand, Princeton, 1964.
8. N. Leveson, Safeware : system safety and computers. Reading, Mass. ; Wokingham: Addison-Wesley, 1995.
9. N. G. Leveson, "Intent Specifications: An Approach to Building Human-Centered Specifications.," IEEE Transactions on Software Engineering, vol. Vol. 26, pp. pp. 15-35, 2000.
10. R. R. Lutz, "Analysing Software Requirements Errors in Safety-Critical Embedded Systems," IEEE International Symposium Requirements Engineering, San Diego, California, 1993.
11. Z. Manna and R. Waldinger, The Logical Basis for Computer Programming: Addison Wesley, 1985.
12. D. Mannering, J. G. Hall and L. Rapanotti, "Towards Normal Design for Safety Critical Systems," FASE 07, Braga, Portugal, 2007.
13. P. A. Martino and C. Muniak, "The Role of System Safety Engineering in Product Safety," 20th International System Safety Conference, Denver, Colorado, USA, 2002.
14. SAE, "ARP4761: Guidelines and Methods for Conducting the Safety Assessment Process on Civil Airborne Systems and Equipment," December 1996.
15. UK-MoD, "Safety Management Requirements for Defence Systems Part 1 Requirements," MoD, Interim Defence Standard 00-56 Issue 3, 17 December 2004.
16. W. Vesely, F. Goldberg, N. Roberts and D. Haasl, Fault Tree Handbook, vol. NUREG-0492: U.S. Nuclear Regulatory Commission, 1981.