Formal Support for Quantitative Analysis of Residual Risks in Safety-Critical Systems

Elmqvist, Jonas; Nadjm‐Tehrani, Simin

doi:10.1109/hase.2008.59

Cited by 8 publications

(5 citation statements)

References 19 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…It is noteworthy that most of the known risks threaten the system while they could be eliminated or controlled easily and by spending the minimum cost. However, the accidents resulted from them could impose huge losses on the system [17]. FMEA is applied in the industry at all stages of an industrial project from the manufacturing stage to the production stage to improve product quality and productivity [18].…”

Section: Discussionmentioning

confidence: 99%

Assessment and Risk Management of Potential Hazards by Failure Modes and Effect Analysis (FMEA) Method in Yazd Steel Complex

Ebrahemzadih¹,

Halvani²,

Shahmoradi³

et al. 2014

OJSST

View full text Add to dashboard Cite

Background: Failure mode and effect analysis (FMEA) is a widely used quality improvement and risk assessment tool in manufacturing. The aim of this study is to assess potential hazards by failure modes and effect analysis (FMEA) method in Yazd Steel Complex. Methods: In this descriptive study, we evaluated the risks in different parts of the complex by using FMEA method and by using FMEA Worksheets (PFMEA) derived from the standard (MIL_STD-882). Failure modes and the various components and effects as using quantitative score to the risk priority (RPN) were obtained. PFMEA worksheets were completed and, we reevaluated the weaknesses part of the system. Activities related to each from the different parts of Yazd Steel Complex by using the scores risk priority (RPN) were evaluated. Then the results obtained by using SPSS software were performed by evaluation and analysis. Results: The findings showed that the steel maker lime unite and steel making ingot casting achieved the highest of RPN before and after corrective actions measures (490, 168) and environmental health unite and roll styles unite achieved the lowest of RPN before and after corrective actions measures (28, 20). Conclusions: The results show that the FMEA technique can identify a higher number of hazards than any other technique. The important point is that selection of an appropriate technique plays an important role in identifying a higher number of hazards.

show abstract

Section: Discussionmentioning

confidence: 99%

Assessment and Risk Management of Potential Hazards by Failure Modes and Effect Analysis (FMEA) Method in Yazd Steel Complex

Ebrahemzadih¹,

Halvani²,

Shahmoradi³

et al. 2014

OJSST

View full text Add to dashboard Cite

show abstract

“…SRoIE can be deduced through model checking which is widely used in SCS to verify whether system satisfies a specific constraint or not [7,8]. In model checking framework, the gathering environment and working environment can be constructed in SCS functional model, then the fault tolerant ability of the two environments can be analyzed respectively by equations (5) and (6).…”

Section: Sroie Algorithmmentioning

confidence: 99%

“…This scheme has been adopted well in Swedish strategic research foundation project and the national aerospace research program NFFP [3,4]. Elmqvist and Nadjm-Tehrani [5] improved the scheme to analyze residual risks quantitatively. Ying and Xu [6] extended the scheme from single and double faults mode to multiple faults mode.…”

Section: Introductionmentioning

confidence: 99%

Safety requirements-oriented interfaces environment scheme for safety-critical system

Guo

Yang

et al. 2016

WIT Transactions on the Built Environment

View full text Add to dashboard Cite

With the increasing complexity of safety-critical system and component-based development approach is widely used, focusing on the problem that the system safety is affected directly by the interfaces failure of its modules, the disadvantages of current safety scheme are analyzed, and an interfaces scheme is presented to ensure safety on system level. First, according to the interactions between safetycritical system and environment, an environment interfaces failure scenario is defined, then its effects to safety-critical system are analyzed. Second, to ensure the system safety requirements, composing the module and its environment, a safety requirements-oriented interfaces environment scheme is presented, which aims to avoid the interfaces faults that could cause a system failure and provide maintenance information when system violates safety requirements. Third, an identification algorithm to generate the safety requirements-oriented interfaces environment is presented based on model checking technology. Finally, taking the urban rail transit computer based interlocking system as an example, the safety requirements-oriented interfaces environment of a signal module is analyzed with the algorithm implemented by SCADE. The result is completely consistent with the field practical experience, which shows the feasibility and effectiveness of this scheme.

show abstract

“…The existing approaches are summarised in Figure V. From this comparison it becomes evident that only the approaches described in [11] and [13] use probabilistic model checking and support a probabilistic FMEA process. All other approaches work with traditional model checking tools.…”

Section: Related Workmentioning

confidence: 99%

“…All other approaches work with traditional model checking tools. The novel aspect described in this paper with respect to the approaches in [11] and [13] is the support (generation and analysis) of counterexamples. These counterexamples provide valuable insights in the cause-consequence relationships between low level component failures and system level hazards.…”

Section: Related Workmentioning

confidence: 99%

Safety Analysis of an Airbag System Using Probabilistic FMEA and Probabilistic Counterexamples

Aljazzar

Fischer

Grunske

et al. 2009

2009 Sixth International Conference on the Quantitative Evaluation of Systems

View full text Add to dashboard Cite

Failure mode and effects analysis (FMEA) is a technique to reason about possible system hazards that result from system or system component failures. Traditionally, FMEA does not take the probabilities with which these failures may occur into account. Recently, this shortcoming was addressed by integrating stochastic model checking techniques into the FMEA process. A further improvement is the integration of techniques for the generation of counterexamples for stochastic models, which we propose in this paper. Counterexamples facilitate the redesign of a potentially unsafe system by providing information which components contribute most to the failure of the entire system. The usefulness of this novel approach to the FMEA process is illustrated by applying it to the case study of an airbag system provided by our industrial partner, the TRW Automotive GmbH.

show abstract

Formal Support for Quantitative Analysis of Residual Risks in Safety-Critical Systems

Cited by 8 publications

References 19 publications

Assessment and Risk Management of Potential Hazards by Failure Modes and Effect Analysis (FMEA) Method in Yazd Steel Complex

Assessment and Risk Management of Potential Hazards by Failure Modes and Effect Analysis (FMEA) Method in Yazd Steel Complex

Safety requirements-oriented interfaces environment scheme for safety-critical system

Safety Analysis of an Airbag System Using Probabilistic FMEA and Probabilistic Counterexamples

Contact Info

Product

Resources

About