Model-based hazard and impact analysis

Sonila, D, Gleirscher, M, Spichkova, M and Struss, P 2013, Model-based hazard and impact analysis, TU Munchen, Munich, Germany


Document type: Commissioned Reports
Collection: Commissioned Reports

Title of report Model-based hazard and impact analysis
Author(s) Sonila, D
Gleirscher, M
Spichkova, M
Struss, P
Year of publication 2013
Publisher TU Munchen
Place of publication Munich, Germany
Subjects Software Engineering
Abstract/Summary Hazard and impact analysis is an indispensable task during the specification and development of safety-critical technical systems, and particularly of their software-intensive control parts. There is a lack of methods supporting an effective (reusable, automated) and integrated (cross-disciplinary) way to carry out such analyses. This report was motivated by an industrial project whose goal was to survey and propose methods and models for documentation and analysis of a system and its environment to support hazard and impact analysis as an important task of safety engineering and system development. We present and investigate three perspectives of how to properly (i) encode safety-relevant domain knowledge for better reuse and automation, (ii) identify and assess all relevant hazards, as well as (iii) pre-process this information and make it easily accessible for reuse in other safety and systems engineering activities and, moreover, in similar engineering projects. The first perspective focuses on the transition from informal to a formal, model-based representation of knowledge about hazards and system requirements. The second perspective provides a methodology to identify and treat hazards based on a state-machine model of the considered system. The third perspective shows a tool-supported procedure for modeling faulty behaviors of both, physical and software components in a qualitative way and for automatically determining their impact based on the structural description of the physical and computational/software parts of the system and a model of the environment. All perspectives are shown in their characteristics and capabilities by means of a case study on a drive train in the commercial road vehicle domain.
Commissioning body TU Munchen
Versions
Version Filter Type
Access Statistics: 7 Abstract Views  -  Detailed Statistics
Created: Thu, 06 Dec 2018, 10:39:00 EST by Catalyst Administrator
© 2014 RMIT Research Repository • Powered by Fez SoftwareContact us