University of Hull logo

A model-based extension to HiP-HOPS for dynamic fault propagation studies

Kabir, Sohag; Papadopoulos, Yiannis; Walker, Martin; Parker, David; Aizpurua, Jose Ignacio; Lampe, Jörg; Rüde, Erich

Authors

Martin Walker

Jose Ignacio Aizpurua

Jörg Lampe

Erich Rüde

Abstract

HiP-HOPS is a model-based approach for assessing the dependability of safety-critical systems. The method combines models, logic, probabilities and nature-inspired algorithms to provide advanced capabilities for design optimisation, requirement allocation and safety argument generation. To deal with dynamic systems, HiP-HOPS has introduced temporal operators and a temporal logic to represent and assess event sequences in component failure modelling. Although this approach has been shown to work, it is not entirely consistent with the way designers tend to express operational dynamics in models which show mode and state sequences. To align HiP-HOPS better with typical design techniques, in this paper, we extend the method with the ability to explicitly consider different modes of operation. With this added capability HiP-HOPS can create and analyse temporal fault trees from architectural models of a system which are augmented with mode information.

Publication Date Aug 2, 2017
Journal Lecture notes in computer science
Print ISSN 0302-9743
Electronic ISSN 1611-3349
Publisher Springer Verlag
Peer Reviewed Peer Reviewed
Volume 10437 LNCS
Pages 163-178
Book Title Model-Based Safety and Assessment; Lecture Notes in Computer Science
ISBN 9783319641188; 9783319641195
Institution Citation Kabir, S., Papadopoulos, Y., Walker, M., Parker, D., Aizpurua, J. I., Lampe, J., & Rüde, E. (2017). A model-based extension to HiP-HOPS for dynamic fault propagation studies. Lecture notes in computer science, 10437 LNCS, 163-178. https://doi.org/10.1007/978-3-319-64119-5_11
DOI https://doi.org/10.1007/978-3-319-64119-5_11
Keywords Model-based safety analysis; Fault tree analysis; HiP-HOPS; Dynamic systems; Temporal fault trees
Publisher URL https://link.springer.com/chapter/10.1007/978-3-319-64119-5_11
Copyright Statement ©2017 The authors
Additional Information This is a description of the article: Kabir S. et al. (2017) A Model-Based Extension to HiP-HOPS for Dynamic Fault Propagation Studies. In: Bozzano M., Papadopoulos Y. (eds) Model-Based Safety and Assessment. IMBSA 2017. Lecture Notes in Computer Science, vol 10437. Springer, Cham. DOI https://doi.org/10.1007/978-3-319-64119-5_11

Files




You might also like


Downloadable Citations