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

Sohag Kabir, Yiannis Papadopoulos, Martin Walker, David Parker, Jose Ignacio Aizpurua , Jorg Lampe, Erich Rude

Research output: Chapter in Book/Report/Conference proceedingConference contribution book

11 Citations (Scopus)

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
Original languageEnglish
Title of host publicationModel-Based Safety and Assessment - 5th International Symposium, IMBSA 2017
EditorsMarco Bozzano, Yiannis Papadopoulos
PublisherSpringer
Number of pages15
VolumeLNCS 10437
ISBN (Print)978-3-319-64118-8
DOIs
Publication statusPublished - 2 Aug 2017
EventInternational Symposium on Model-based Safety and Assessment - Trento, Italy
Duration: 11 Sep 201713 Sep 2017
http://imbsa2017.fbk.eu/home

Publication series

NameLecture Notes in Computer Science
PublisherSpringer
Volume10437
ISSN (Print)0302-9743

Conference

ConferenceInternational Symposium on Model-based Safety and Assessment
Abbreviated titleIMBSA
CountryItaly
CityTrento
Period11/09/1713/09/17
Internet address

Keywords

  • model-based safety analysis
  • fault tree analysis
  • HiP-HOPS
  • dynamic systems
  • temporal fault trees

Fingerprint Dive into the research topics of 'A model-based extension to HiP-HOPS for dynamic fault propagation studies'. Together they form a unique fingerprint.

  • Cite this

    Kabir, S., Papadopoulos, Y., Walker, M., Parker, D., Aizpurua , J. I., Lampe, J., & Rude, E. (2017). A model-based extension to HiP-HOPS for dynamic fault propagation studies. In M. Bozzano, & Y. Papadopoulos (Eds.), Model-Based Safety and Assessment - 5th International Symposium, IMBSA 2017 (Vol. LNCS 10437). (Lecture Notes in Computer Science; Vol. 10437). Springer. https://doi.org/10.1007/978-3-319-64119-5