Skip to main content
SpringerLink
Log in
Book cover

International Conference on Software Quality

SWQD 2013: Software Quality. Increasing Value in Software and Systems Development pp 104–124Cite as

Hazard Analysis for Technical Systems

  • Conference paper

Part of the book series: Lecture Notes in Business Information Processing ((LNBIP,volume 133))

Abstract

Hazard analysis is an indispensable task during the specification and development of safety-critical, technical systems, particularly, their software-intensive control parts. There is a lack of methods supporting an effective and integrated way to carry through such analyses for these systems in the context of software quality assurance. Crucial issues are to properly (i) encode safety-relevant domain knowledge, (ii) identify and assess all relevant hazards as well as (iii) preprocess this information and make it easily accessible for adjacent safety and systems engineering activities. This work contributes a framework for qualitative modelling and hazard analysis. The approach is exemplified by the investigation of a commercial road vehicle in its operational context.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   72.00
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Abrial, J.-R.: Train Systems. In: Butler, M., Jones, C.B., Romanovsky, A., Troubitsyna, E. (eds.) Fault-Tolerant Systems. LNCS, vol. 4157, pp. 1–36. Springer, Heidelberg (2006)

    Google Scholar 

  2. Baier, C., Katoen, J.-P.: Principles of Model Checking. The MIT Press (May 2008)

    Google Scholar 

  3. Beizer, B.: Software Testing Techniques, 2nd edn. Thomson (1990)

    Google Scholar 

  4. Biehl, M., DeJiu, C., Törngren, M.: Integrating safety analysis into the model-based development tool chain of automotive embedded systems. In: LCTES 2010, Stockholm, Sweden (April 2010)

    Google Scholar 

  5. Börcsök, J.: Funktionale Sicherheit: Grundzüge sicherheitstechnischer Systeme, 3rd edn. VDE-Verlag (May 2011)

    Google Scholar 

  6. Braun, P., Phillips, J., Schätz, B., Wagner, S.: Model-based safety cases for software-intensive systems. Position paper (2008)

    Google Scholar 

  7. Breitling, M.: Modellierung und Beschreibung von Soll/Ist-Abweichungen. In: Spies, K., Schätz, B. (eds.) FBT, pp. 35–44. Herbert Utz Verlag (1999)

    Google Scholar 

  8. Breitling, M.: Formale Fehlermodellierung für verteilte reaktive Systeme. Dissertation, Technische Universität München (2001)

    Google Scholar 

  9. Broy, M.: A functional rephrasing of the assumption/commitment specification style. Formal Methods in System Design 13(1), 87–119 (1998)

    Article  Google Scholar 

  10. Broy, M.: Service-oriented Systems Engineering: Specification and Design of Services and Layered Architectures – The Janus Approach. In: Broy, M. (ed.) Engineering Theories of Software Intensive Systems, pp. 47–81. Springer (2005)

    Google Scholar 

  11. Broy, M., Stølen, K.: Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement. Springer (2001)

    Google Scholar 

  12. Buys, J., Clark, J.: Events and Causal Factors (ECF) Analysis. Technical Research and Analysis Center, SCIENTECH Inc. (1995)

    Google Scholar 

  13. Chen, D., Johansson, R., Lönn, H., Papadopoulos, Y., Sandberg, A., Törner, F., Törngren, M.: Modelling Support for Design of Safety-Critical Automotive Embedded Systems. In: Harrison, M.D., Sujan, M.-A. (eds.) SAFECOMP 2008. LNCS, vol. 5219, pp. 72–85. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  14. Chillarege, R., Bhandari, I., Chaar, J., Halliday, M., Moebus, D., Ray, B., Wong, M.: Orthogonal defect classification – a concept for in-process measurements. IEEE Transactions on Software Engineering 18(11), 943–956 (1992)

    Article  Google Scholar 

  15. Cockburn, A.: Writing Effective Use Cases. Crystal Series for Software Development. Addison-Wesley Longman, Amsterdam (2000)

    Google Scholar 

  16. Damm, W., Peikenkamp, T.: Model-based safety analysis. Presentation Slides. Lecture series for “Model-based Development” at HU Berlin (July 2004)

    Google Scholar 

  17. Damm, W., Pnueli, A., Ruah, S.: Herbrand Automata for Hardware Verification. In: Sangiorgi, D., de Simone, R. (eds.) CONCUR 1998. LNCS, vol. 1466, pp. 67–83. Springer, Heidelberg (1998)

    Chapter  Google Scholar 

  18. Das, S., Banerjee, A., Dasgupta, P.: Early analysis of critical faults: An approach to test generation from formal specifications. IEEE Trans. on CAD of Integrated Circuits and Systems 31(3), 447–451 (2012)

    Article  Google Scholar 

  19. Dugan, J., Bavuso, S., Boyd, M.: Dynamic fault-tree models for fault-tolerant computer systems. IEEE Transactions on Reliability 41(3), 363–377 (1992)

    Article  MATH  Google Scholar 

  20. Dulac, N.: A Framework for Dynamic Safety and Risk Management Modeling in Complex Engineering Systems. PhD thesis, Massachusetts Institute of Technology, Cambridge, MA (2007)

    Google Scholar 

  21. Dwyer, M.B., Avrunin, G.S., Corbett, J.C.: Patterns in property specifications for finite-state verification. In: ICSE 1999, pp. 411–420 (1999), http://patterns.projects.cis.ksu.edu/documentation/patterns/ctl.shtml

  22. Ericson, C.A.: Hazard Analysis Techniques for System Safety. John Wiley and Sons, Hoboken (2005)

    Book  Google Scholar 

  23. Forejt, V., Kwiatkowska, M., Norman, G., Parker, D.: Automated Verification Techniques for Probabilistic Systems. In: Bernardo, M., Issarny, V. (eds.) SFM 2011. LNCS, vol. 6659, pp. 53–113. Springer, Heidelberg (2011)

    Chapter  Google Scholar 

  24. Gleirscher, M.: Hazard-based Selection of Test Cases. In: Proc. 6th ICSE Workshop on Automation of Software Test, AST 2011 (May 2011)

    Google Scholar 

  25. Gleirscher, M.: Ein Kaffeevollautomat – Fallstudie für modellbasierte Spezifikation zur Vorlesung “Requirements Engineering” im Sommersemester 2011. Technical Report I-125, Technische Universität München (May 2012) (in German)

    Google Scholar 

  26. Goddard, P.L.: Software FMEA Techniques. In: Proc. Ann. Reliability and Maintainability Symposium (RAMS), pp. 118–123. IEEE (2000)

    Google Scholar 

  27. Hopkins, A.: Lessons from Longford: The Esso Gas Plant Explosion. CCH, Sydney (2000)

    Google Scholar 

  28. Howden, W.: Weak mutation testing and completeness of test sets. IEEE Transactions on Software Engineering (4), 371–379 (1982)

    Google Scholar 

  29. Illes, T., Paech, B.: An analysis of use case based testing approaches based on a defect taxonomy. Software Engineering Techniques: Design for Quality, 211–222 (2007)

    Google Scholar 

  30. Jackson, M.: Problem Frames: Analysing & Structuring Software Development Problems. Addison-Wesley (2001)

    Google Scholar 

  31. Johnsen, S.O., Bjørkli, C., Steiro, T., Fartum, H., Haukenes, H., Ramberg, J., Skriver, J.: CRIOP: A scenario method for Crisis Intervention and Operability analysis. Technical Report A4312, SINTEF, Trondheim, Norway (March 2011)

    Google Scholar 

  32. Kelly, T.P.: Arguing Safety – A Systematic Approach to Safety Case Management. PhD thesis, University of York, Dept. of Computer Science (1998)

    Google Scholar 

  33. Kumamoto, H., Henley, E.J.: Probabilistic risk assessment and management for engineers and scientists, 2nd edn. John Wiley and Sons, New York (2000)

    Book  Google Scholar 

  34. Lamport, L.: Specifying Systems. Addison Wesley (2002)

    Google Scholar 

  35. Leszak, M., Perry, D., Stoll, D.: A case study in root cause defect analysis. In: Proc. International Conference on Software Engineering (ICSE), pp. 428–437. IEEE (2000)

    Google Scholar 

  36. Leveson, N.: A new accident model for engineering safer systems. Safety Science 42(4), 237–270 (2004)

    Article  Google Scholar 

  37. Leveson, N.G.: Engineering a Safer World: Systems Thinking Applied to Safety. Engineering Systems. MIT Press (January 2012)

    Google Scholar 

  38. McDermid, J.: Software Safety: Where’s the Evidence?. In: Australian Workshop on Industrial Experience with Safety Critical Systems and Software (2001)

    Google Scholar 

  39. Mehrpouyan, H.: Model-based hazard analysis of undesirable environmental and components interaction. Master’s thesis, Linköpings universitet (2011)

    Google Scholar 

  40. Papadopoulos, Y., Maruhn, M.: Model-based synthesis of fault trees from matlab-simulink models. In: International Conference on Dependable Systems and Networks (DSN), pp. 77–82 (2001)

    Google Scholar 

  41. Papadopoulos, Y., McDermid, J.A.: Hierarchically Performed Hazard Origin and Propagation Studies. In: Felici, M., Kanoun, K., Pasquini, A. (eds.) SAFECOMP 1999. LNCS, vol. 1698, pp. 139–152. Springer, Heidelberg (1999)

    Chapter  Google Scholar 

  42. Papadopoulos, Y., McDermid, J.A., Sasse, R., Heiner, G.: Analysis and synthesis of the behaviour of complex programmable electronic systems in conditions of failure. Reliability Engineering and System Safety 71(3), 229–247 (2001)

    Article  Google Scholar 

  43. Parnas, D., Madey, J.: Functional Documentation for Computer Systems. Science of Computer Programming 25, 41–61 (1995)

    Article  Google Scholar 

  44. Pister, M.: Integration formaler Fehlereinflussanalyse in die Funktionsentwicklung bei der Automobilindustrie. Dissertation, Technische Universität München (2008)

    Google Scholar 

  45. Rasmussen, J.: Risk management in a dynamic society: a modelling problem. Safety Science 27(23), 183–213 (1997)

    Article  Google Scholar 

  46. Rasmussen, J.: The concept of human error: Is it useful for the design of safe systems? Safety Science Monitor 3 (Special Edition), 1–3 (1999)

    Google Scholar 

  47. Shappell, S., Wiegmann, D.: The human factors analysis and classification system – HFACS. Technical Report DOT/FAA/AM-00/7, Office of Aviation Medicine, Civil Aeromedical Institute, Oklahoma City, OK (2000)

    Google Scholar 

  48. Snooke, N., Price, C.: Model-driven Automated Software FMEA. In: Ann. Proc. Reliability and Maintainability Symp. (RAMS), pp. 1–6. IEEE (2011)

    Google Scholar 

  49. Stringfellow, M.V.: Accident Analysis And Hazard Analysis For Human And Organizational Factors. PhD thesis, Massachusetts Institute of Technology (2010)

    Google Scholar 

  50. Struss, P., Fraracci, A.: FMEA of a Braking System – A Kingdom for a Qualitative Valve Model. In: 25th Intl. Workshop on Qualitative Reasoning, Barcelona, Spain (2011)

    Google Scholar 

  51. Svedung, I., Rasmussen, J.: Graphic representation of accident scenarios: Mapping system structure and the causation of accidents. Safety Science 40, 397–417 (2002)

    Article  Google Scholar 

  52. Tietjen, T., Müller, D.H.: FMEA Praxis: Das Komplettpaket für Training und Anwendung, 3rd edn. Hanser (2011)

    Google Scholar 

  53. Van Lamsweerde, A.: Requirements Engineering: From System Goals to UML Models to Software Specifications. Wiley (2009)

    Google Scholar 

  54. Wagner, S.: Defect classification and defect types revisited. In: Proc. Workshop on Defects in Large Software Systems (DEFECTS 2008), pp. 39–40. ACM, New York (2008)

    Chapter  Google Scholar 

  55. Watson, G.S., Leadbetter, M.R.: Hazard analysis. I. Biometrika 51(1-2), 175 (1964)

    Article  MathSciNet  MATH  Google Scholar 

  56. Wikipedia. Internationale Bewertungsskala für nukleare Ereignisse — Wikipedia, Die freie Enzyklopädie (June 27, 2012)

    Google Scholar 

  57. Winter, S., Winter, S., Sârbu, C., Suri, N., Murphy, B.: The impact of fault models on software robustness evaluations. In: Taylor, R.N., Gall, H., Medvidovic, N. (eds.) ICSE, pp. 51–60. ACM Press, New York (2011)

    Google Scholar 

  58. World Health Organization (WHO). International Classification for Patient Safety (ICPS) (June 27, 2012), http://www.who.int/patientsafety/implementation/taxonomy

  59. Wu, B.-G., Tang, R.-Z.: Study on Software FMEA Techniques. Mechanical & Electrical Engineering Magazine 21(3) (March 2004)

    Google Scholar 

  60. Zhang, H., Li, W., Chen, W.: Model-based hazard analysis method on automotive programmable electronic system. In: 3rd Intl. Conf. on Biomedical Engineering and Informatics, BMEI (2010)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institut für Informatik, Technische Universität München, Germany

    Mario Gleirscher

Authors
  1. Mario Gleirscher
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institute of Software Technology and Interactive Systems, Vienna University of Technology, Vienna, Austria

    Dietmar Winkler  & Stefan Biffl  & 

  2. Software Quality Lab GmbH, Linz, Austria

    Johannes Bergsmann

Rights and permissions

Reprints and permissions

Copyright information

© 2013 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Gleirscher, M. (2013). Hazard Analysis for Technical Systems. In: Winkler, D., Biffl, S., Bergsmann, J. (eds) Software Quality. Increasing Value in Software and Systems Development. SWQD 2013. Lecture Notes in Business Information Processing, vol 133. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-35702-2_8

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-35702-2_8

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-35701-5

  • Online ISBN: 978-3-642-35702-2

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation