Model-based hazard analysis of undesirable environmental and components interaction

Mehrpouyan, Hoda; Bunus, Peter; Kurtoglu, Tolga

doi:10.1109/aero.2012.6187374

Cited by 8 publications

(2 citation statements)

References 16 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…To achieve integration, a Model-Based Safety Analysis (MBSA) is employed to generate a failure model that accurately incorporates the failure information derived via safety analysis into the system architecture and to modify the failure model to make it suitable for safety verification (Sharvia and Papadopoulos, 2015;Jaradat, 2012;Wei et al, 2017;Chen et al, 2017;Zhao et al, 2016;Duan et al, 2015;Mehrpouyan, 2011). However, modifying the failure model to facilitate safety verification is a timeconsuming process.…”

Section: Introductionmentioning

confidence: 99%

SysML-Based Integration of System Design and Failure Models and Safety Verification by Simulation

Kim¹,

Lee²

2019

RJASET

View full text Add to dashboard Cite

The present study aims to develop an improved SysML-based integration model that can be used to perform system design and failure analysis simultaneously and verify safety activities. In recent studies, the safety of a system has been evaluated by modeling the system design and failure analysis. However, because the models developed in there were created using different modeling languages, it was not easy to carry out system design and safety activities efficiently. Furthermore, studies using UML or SysML-based failure models for deriving safety requirements have shown that these models have limited applicability to safety analysis and verification. To solve this problem, we propose to explore an advanced method for failure modeling and verification. First, an improved SysML-based integration model was developed, which can combine system design and safety verification activities interactively. Next, we transformed the integration model for analysis into a simulation model for verification with the safety measures derived from the failure model. A case study of the safety design for an automotive system was then followed with the analysis model and simulation results to verify the safety of the automotive system. Through the case study, the concept of safety design and verification became more explicit and the proposed method proved to be useful.

show abstract

Section: Introductionmentioning

confidence: 99%

SysML-Based Integration of System Design and Failure Models and Safety Verification by Simulation

Kim¹,

Lee²

2019

RJASET

View full text Add to dashboard Cite

show abstract

“…Mehrpouyan [36] proposes a model-based hazard analysis procedure (based on SysML models) for the early identification of potential safety issues caused by unexpected environmental factors and subsystem interactions within a complex safety-critical system. The proposed methodology additionally maps hazard and vulnerability modes to specific components in the designed system and analyzes the hazards.…”

Section: Hazard Analysismentioning

confidence: 99%

Standard Compliant Hazard and Threat Analysis for the Automotive Domain

2016

View full text Add to dashboard Cite

Abstract:The automotive industry has successfully collaborated to release the ISO 26262 standard for developing safe software for cars. The standard describes in detail how to conduct hazard analysis and risk assessments to determine the necessary safety measures for each feature. However, the standard does not concern threat analysis for malicious attackers or how to select appropriate security countermeasures. We propose the application of ISO 27001 for this purpose and show how it can be applied together with ISO 26262. We show how ISO 26262 documentation can be re-used and enhanced to satisfy the analysis and documentation demands of the ISO 27001 standard. We illustrate our approach based on an electronic steering column lock system.

show abstract

Supporting ISO 26262 Hazard Analysis with Problem Frames

Beckers

2015

Pattern and Security Requirements

View full text Add to dashboard Cite

Model-based hazard analysis of undesirable environmental and components interaction

Cited by 8 publications

References 16 publications

SysML-Based Integration of System Design and Failure Models and Safety Verification by Simulation

SysML-Based Integration of System Design and Failure Models and Safety Verification by Simulation

Standard Compliant Hazard and Threat Analysis for the Automotive Domain

Supporting ISO 26262 Hazard Analysis with Problem Frames

Contact Info

Product

Resources

About