A Conceptual Framework to Incorporate Complex Basic Events in HiP-HOPS

Reliability evaluation for ensuring the uninterrupted system operation is an integral part of dependable system development. Model-based safety analysis (MBSA) techniques such as Hierarchically Performed Hazard Origin and Propagation Studies (HiP-HOPS) have made the reliability analysis process less expensive in terms of effort and time required. HiP-HOPS uses an analytical modelling approach for Fault tree analysis to automate the reliability analysis process, where each system component is associated with its failure rate or failure probability. However, such non-state-space analysis models are not capable of modelling more complex failure behaviour of component like failure/repair dependencies, e.g., spares, shared repair, imperfect coverage, etc. State-space based paradigms like Markov chain can model complex failure behaviour, but their use can lead to state-space explosion, thus undermining the overall analysis capacity. Therefore, to maintain the benefits of MBSA while not compromising on modelling capability, in this paper, we propose a conceptual framework to incorporate complex basic events in HiP-HOPS. The idea is demonstrated via an illustrative example.

URI

http://hdl.handle.net/10454/17423

Version

Accepted manuscript

Citation

Kabir S, Aslansefat K, Sorokos I, et al (2019) A Conceptual Framework to Incorporate Complex Basic Events in HiP-HOPS. In: Papadopoulos Y., Aslansefat K., Katsaros P et al (Eds) Model-Based Safety and Assessment. IMBSA 2019. Lecture Notes in Computer Science. Cham: Springer. 11842: 109-124.

Link to Version of Record

https://doi.org/10.1007/978-3-030-32872-6_8

Type

Conference paper