Hierarchically Performed Hazard Origin and Propagation Studies

Papadopoulos, Yiannis; McDermid, John

doi:10.1007/3-540-48249-0_13

Cited by 157 publications

(93 citation statements)

References 4 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…Papadopoulos et al (6) choose to focus on the generation of fault trees and FMEA from structure diagrams such as SysML (9) Internal Block Diagrams (IBD). The enrichment of blocks by "local" analysis and the links between these blocks enable to propagate failures and to get reports.…”

Section: Background On Links Between Safety and Systems Engineeringmentioning

confidence: 99%

Preliminary Hazard Analysis Generation Integrated with Operational Architecture - Application to Automobile

Mauborgne¹,

Deniaud²,

Levrat³

et al. 2015

Complex Systems Design &Amp; Management

View full text Add to dashboard Cite

Abstract. We are witnessing evolution of standards (as the functional safety one) and increasing of complexity. This implies to perform safety studies efficiently and earlier in the context of Model-Based System Engineering. So, in this article, we will propose an evolution of the Preliminary Hazard Analysis (PHA) method in order to comply with the overall safety requirements in the automotive domain. To demonstrate its usefulness, we apply this method to an industrial case which concerns the hazard analysis of unintended acceleration of a vehicle.

show abstract

Section: Background On Links Between Safety and Systems Engineeringmentioning

confidence: 99%

Preliminary Hazard Analysis Generation Integrated with Operational Architecture - Application to Automobile

Mauborgne¹,

Deniaud²,

Levrat³

et al. 2015

Complex Systems Design &Amp; Management

View full text Add to dashboard Cite

show abstract

“…Interface-focused FMEA (IF FMEA) as a part of Hierarchically Performed Hazard and Propagation Studies [27] is another analysis technique that investigates failures by port interfaces of components. In the same way as IF FMEA interprets the traditional FMEA technique onto components with interfaces, Component Fault Trees (CFTs) [28] extend traditional Fault Trees by introducing a concept of components, along with "failure ports", by which failures propagate from one component to another.…”

Section: Component-oriented Safety Analysismentioning

confidence: 99%

Contract-Based Design of Embedded Systems Integrating Nominal Behavior and Safety

Kaiser¹,

Weber

Oertel

et al. 2015

CSIMQ

View full text Add to dashboard Cite

Abstract. The distributed design process for safety-critical embedded systems has become an increasingly difficult challenge: Electronic Control Units (ECUs) in vehicles, for instance, participate in many vehicle functions, while each vehicle function, in turn, is spread across several ECUs. Many suppliers participate in systems design and many partial functions are reused from past projects, not always knowing the assumptions at the time of their development. In particular, efficient allocation of safety mechanisms and a sound safety case are difficult tasks for original equipment manufacturers (OEMs). Contractbased development has gained popularity as an approach for supporting distributed development by explicitly annotating assumptions and guarantees to components, but an integrated process covering specification of nominal behavior and safety has not been described so far. We present such an integrated development approach that encompasses the systematic breakdown of nominal system behavior using contracts, the consistent derivation of safety analysis by interpreting several types of contract violations as a specification for failure modes, and the subsequent integration of safety mechanisms that cover these failure modes through safety contracts. The approach equally fits hardware and software and is therefore applicable on the system level. We demonstrate it by an electric drive example. The extensibility of our approach towards Cyber Physical Systems, which compose themselves at runtime, is briefly outlined at the end of the article.

show abstract

“…In our models we have adopted Failure Logic Modelling (FLM) methodology -a notation-agnostic generalisation of techniques such as FPTN [5] and HiP-HOPS [10]. When this approach is combined with the AltaRica language, nodes represent physical system components, whereas flows are used exclusively to model components' failure modes (deviations of behaviour from the intent).…”

Section: Modelling Approachmentioning

confidence: 99%

“…Examples of such notations include Fenelon's Failure Propagation and Transformation Notation (FPTN) [5], Hierarchically Performed Hazard Origin and Propagation Studies (HiP-HOPS) [10] and AltaRica [1].…”

Section: Introductionmentioning

confidence: 99%

Application of the 'lightweight refinement relation to establishing confidence in safety assessment models

Lisagor¹,

Kelly²

2010

5th IET International Conference on System Safety 2010

View full text Add to dashboard Cite

This paper presents a 'lightweight refinement' relation that enables rational comparison of safety assessment models of a system. The comparison process contributes to establishing confidence in adequacy of the models by identification of apparent inconsistencies that require explicit justification.The paper further demonstrates how the 'machinery' of refinement can be applied to individual models to identify key 'simulation cases' and aid the task of model review.

show abstract

Hierarchically Performed Hazard Origin and Propagation Studies

Cited by 157 publications

References 4 publications

Preliminary Hazard Analysis Generation Integrated with Operational Architecture - Application to Automobile

Preliminary Hazard Analysis Generation Integrated with Operational Architecture - Application to Automobile

Contract-Based Design of Embedded Systems Integrating Nominal Behavior and Safety

Application of the 'lightweight refinement relation to establishing confidence in safety assessment models

Contact Info

Product

Resources

About