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.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
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)
Baier, C., Katoen, J.-P.: Principles of Model Checking. The MIT Press (May 2008)
Beizer, B.: Software Testing Techniques, 2nd edn. Thomson (1990)
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)
Börcsök, J.: Funktionale Sicherheit: Grundzüge sicherheitstechnischer Systeme, 3rd edn. VDE-Verlag (May 2011)
Braun, P., Phillips, J., Schätz, B., Wagner, S.: Model-based safety cases for software-intensive systems. Position paper (2008)
Breitling, M.: Modellierung und Beschreibung von Soll/Ist-Abweichungen. In: Spies, K., Schätz, B. (eds.) FBT, pp. 35–44. Herbert Utz Verlag (1999)
Breitling, M.: Formale Fehlermodellierung für verteilte reaktive Systeme. Dissertation, Technische Universität München (2001)
Broy, M.: A functional rephrasing of the assumption/commitment specification style. Formal Methods in System Design 13(1), 87–119 (1998)
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)
Broy, M., Stølen, K.: Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement. Springer (2001)
Buys, J., Clark, J.: Events and Causal Factors (ECF) Analysis. Technical Research and Analysis Center, SCIENTECH Inc. (1995)
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)
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)
Cockburn, A.: Writing Effective Use Cases. Crystal Series for Software Development. Addison-Wesley Longman, Amsterdam (2000)
Damm, W., Peikenkamp, T.: Model-based safety analysis. Presentation Slides. Lecture series for “Model-based Development” at HU Berlin (July 2004)
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)
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)
Dugan, J., Bavuso, S., Boyd, M.: Dynamic fault-tree models for fault-tolerant computer systems. IEEE Transactions on Reliability 41(3), 363–377 (1992)
Dulac, N.: A Framework for Dynamic Safety and Risk Management Modeling in Complex Engineering Systems. PhD thesis, Massachusetts Institute of Technology, Cambridge, MA (2007)
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
Ericson, C.A.: Hazard Analysis Techniques for System Safety. John Wiley and Sons, Hoboken (2005)
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)
Gleirscher, M.: Hazard-based Selection of Test Cases. In: Proc. 6th ICSE Workshop on Automation of Software Test, AST 2011 (May 2011)
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)
Goddard, P.L.: Software FMEA Techniques. In: Proc. Ann. Reliability and Maintainability Symposium (RAMS), pp. 118–123. IEEE (2000)
Hopkins, A.: Lessons from Longford: The Esso Gas Plant Explosion. CCH, Sydney (2000)
Howden, W.: Weak mutation testing and completeness of test sets. IEEE Transactions on Software Engineering (4), 371–379 (1982)
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)
Jackson, M.: Problem Frames: Analysing & Structuring Software Development Problems. Addison-Wesley (2001)
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)
Kelly, T.P.: Arguing Safety – A Systematic Approach to Safety Case Management. PhD thesis, University of York, Dept. of Computer Science (1998)
Kumamoto, H., Henley, E.J.: Probabilistic risk assessment and management for engineers and scientists, 2nd edn. John Wiley and Sons, New York (2000)
Lamport, L.: Specifying Systems. Addison Wesley (2002)
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)
Leveson, N.: A new accident model for engineering safer systems. Safety Science 42(4), 237–270 (2004)
Leveson, N.G.: Engineering a Safer World: Systems Thinking Applied to Safety. Engineering Systems. MIT Press (January 2012)
McDermid, J.: Software Safety: Where’s the Evidence?. In: Australian Workshop on Industrial Experience with Safety Critical Systems and Software (2001)
Mehrpouyan, H.: Model-based hazard analysis of undesirable environmental and components interaction. Master’s thesis, Linköpings universitet (2011)
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)
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)
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)
Parnas, D., Madey, J.: Functional Documentation for Computer Systems. Science of Computer Programming 25, 41–61 (1995)
Pister, M.: Integration formaler Fehlereinflussanalyse in die Funktionsentwicklung bei der Automobilindustrie. Dissertation, Technische Universität München (2008)
Rasmussen, J.: Risk management in a dynamic society: a modelling problem. Safety Science 27(23), 183–213 (1997)
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)
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)
Snooke, N., Price, C.: Model-driven Automated Software FMEA. In: Ann. Proc. Reliability and Maintainability Symp. (RAMS), pp. 1–6. IEEE (2011)
Stringfellow, M.V.: Accident Analysis And Hazard Analysis For Human And Organizational Factors. PhD thesis, Massachusetts Institute of Technology (2010)
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)
Svedung, I., Rasmussen, J.: Graphic representation of accident scenarios: Mapping system structure and the causation of accidents. Safety Science 40, 397–417 (2002)
Tietjen, T., Müller, D.H.: FMEA Praxis: Das Komplettpaket für Training und Anwendung, 3rd edn. Hanser (2011)
Van Lamsweerde, A.: Requirements Engineering: From System Goals to UML Models to Software Specifications. Wiley (2009)
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)
Watson, G.S., Leadbetter, M.R.: Hazard analysis. I. Biometrika 51(1-2), 175 (1964)
Wikipedia. Internationale Bewertungsskala für nukleare Ereignisse — Wikipedia, Die freie Enzyklopädie (June 27, 2012)
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)
World Health Organization (WHO). International Classification for Patient Safety (ICPS) (June 27, 2012), http://www.who.int/patientsafety/implementation/taxonomy
Wu, B.-G., Tang, R.-Z.: Study on Software FMEA Techniques. Mechanical & Electrical Engineering Magazine 21(3) (March 2004)
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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)