Show simple item record

dc.contributor.authorKabir, Sohag
dc.contributor.authorWalker, M.
dc.contributor.authorPapadopoulos, Y.
dc.date.accessioned2019-10-18T12:10:01Z
dc.date.accessioned2019-11-12T12:40:35Z
dc.date.available2019-10-18T12:10:01Z
dc.date.available2019-11-12T12:40:35Z
dc.date.issued2018-06
dc.identifier.citationKabir S, Walker M and Papadopoulos Y (2018) Dynamic system safety analysis in HiP-HOPS with Petri Nets and Bayesian Networks. Safety Science. 105: 55-70.en_US
dc.identifier.urihttp://hdl.handle.net/10454/17426
dc.descriptionYesen_US
dc.description.abstractDynamic systems exhibit time-dependent behaviours and complex functional dependencies amongst their components. Therefore, to capture the full system failure behaviour, it is not enough to simply determine the consequences of different combinations of failure events: it is also necessary to understand the order in which they fail. Pandora temporal fault trees (TFTs) increase the expressive power of fault trees and allow modelling of sequence-dependent failure behaviour of systems. However, like classical fault tree analysis, TFT analysis requires a lot of manual effort, which makes it time consuming and expensive. This in turn makes it less viable for use in modern, iterated system design processes, which requires a quicker turnaround and consistency across evolutions. In this paper, we propose for a model-based analysis of temporal fault trees via HiP-HOPS, which is a state-of-the-art model-based dependability analysis method supported by tools that largely automate analysis and optimisation of systems. The proposal extends HiP-HOPS with Pandora, Petri Nets and Bayesian Networks and results to dynamic dependability analysis that is more readily integrated into modern design processes. The effectiveness is demonstrated via application to an aircraft fuel distribution system.en_US
dc.description.sponsorshipPartly funded by the DEIS H2020 project (Grant Agreement 732242).en_US
dc.language.isoenen_US
dc.rights© 2018 Elsevier Ltd. Reproduced in accordance with the publisher's self-archiving policy. This manuscript version is made available under the CC-BY-NC-ND 4.0 license.en_US
dc.subjectFault tree analysisen_US
dc.subjectReliability analysisen_US
dc.subjectModel-based safety analysisen_US
dc.subjectDynamic fault treesen_US
dc.subjectTemporal fault treesen_US
dc.subjectHiP-HOPSen_US
dc.subjectPetri Netsen_US
dc.subjectBayesian Networksen_US
dc.titleDynamic system safety analysis in HiP-HOPS with Petri Nets and Bayesian Networksen_US
dc.status.refereedYesen_US
dc.date.Accepted2018-02-01
dc.date.application2018-02-08
dc.typeArticleen_US
dc.type.versionAccepted manuscripten_US
dc.identifier.doihttps://doi.org/10.1016/j.ssci.2018.02.001
dc.date.updated2019-10-18T11:10:03Z
refterms.dateFOA2019-11-12T12:41:13Z


Item file(s)

Thumbnail
Name:
DynamicSystemSafetyAnalysisinH ...
Size:
929.4Kb
Format:
PDF
Description:
Kabir_Safety_Science

This item appears in the following Collection(s)

Show simple item record