Show simple item record

dc.contributor.authorKabir, Sohag
dc.contributor.authorAslansefat, K.
dc.contributor.authorSorokos, I.
dc.contributor.authorPapadopoulos, Y.
dc.contributor.authorGheraibia, Y.
dc.date.accessioned2019-11-12T11:07:34Z
dc.date.available2019-11-12T11:07:34Z
dc.date.issued2019-10-11
dc.identifier.citationKabir 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.en_US
dc.identifier.urihttp://hdl.handle.net/10454/17423
dc.descriptionYesen_US
dc.description.abstractReliability 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.en_US
dc.description.sponsorshipDEIS H2020 Project under Grant 732242.en_US
dc.language.isoenen_US
dc.relation.isreferencedbyhttps://doi.org/10.1007/978-3-030-32872-6_8en_US
dc.rights(c) 2019 Springer Nature Switzerland AG. Full-text reproduced with publisher permission.en_US
dc.subjectFault tree analysisen_US
dc.subjectMarkov Processen_US
dc.subjectModel-based safety analysisen_US
dc.subjectHiP-HOPSen_US
dc.subjectReliabilityen_US
dc.subjectReal time analysisen_US
dc.titleA Conceptual Framework to Incorporate Complex Basic Events in HiP-HOPSen_US
dc.status.refereedYesen_US
dc.date.Accepted2019-07-17
dc.date.application2019-10-11
dc.typeConference paperen_US
dc.date.EndofEmbargo2021-10-12
dc.type.versionAccepted manuscripten_US
dc.description.publicnotesThe full-text of this chapter will be released for public view at the end of the publisher embargo on 12 Oct 2021.
refterms.dateFOA2019-11-12T11:08:32Z


Item file(s)

Thumbnail
Name:
HIP_HOPS_with_Complex_BE__Fina ...
Embargo:
2021-10-12
Size:
493.7Kb
Format:
PDF
Description:
Article

This item appears in the following Collection(s)

Show simple item record