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

doi:10.1007/978-3-319-64119-5

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

Electronic And Electrical Engineering

Research output: Chapter in Book/Report/Conference proceeding › Conference 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 language	English
Title of host publication	Model-Based Safety and Assessment - 5th International Symposium, IMBSA 2017
Editors	Marco Bozzano, Yiannis Papadopoulos
Publisher	Springer
Number of pages	15
Volume	LNCS 10437
ISBN (Print)	978-3-319-64118-8
DOIs	https://doi.org/10.1007/978-3-319-64119-5
Publication status	Published - 2 Aug 2017
Event	International Symposium on Model-based Safety and Assessment - Trento, Italy Duration: 11 Sep 2017 → 13 Sep 2017 http://imbsa2017.fbk.eu/home

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer
Volume	10437
ISSN (Print)	0302-9743

Conference

Conference	International Symposium on Model-based Safety and Assessment
Abbreviated title	IMBSA
Country/Territory	Italy
City	Trento
Period	11/09/17 → 13/09/17
Internet address	http://imbsa2017.fbk.eu/home

Keywords

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

Access to Document

10.1007/978-3-319-64119-5

http://www.springer.com/gb/book/9783319641188

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

Kabir, Sohag ; Papadopoulos, Yiannis ; Walker, Martin ; Parker, David ; Aizpurua , Jose Ignacio ; Lampe, Jorg ; Rude, Erich . / A model-based extension to HiP-HOPS for dynamic fault propagation studies. Model-Based Safety and Assessment - 5th International Symposium, IMBSA 2017. editor / Marco Bozzano ; Yiannis Papadopoulos. Vol. LNCS 10437 Springer, 2017. (Lecture Notes in Computer Science).

@inproceedings{6c02238269024935a04b1b8d66ee23aa,

title = "A model-based extension to HiP-HOPS for dynamic fault propagation studies",

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",

keywords = "model-based safety analysis, fault tree analysis, HiP-HOPS, dynamic systems, temporal fault trees",

author = "Sohag Kabir and Yiannis Papadopoulos and Martin Walker and David Parker and Aizpurua, {Jose Ignacio} and Jorg Lampe and Erich Rude",

year = "2017",

month = aug,

day = "2",

doi = "10.1007/978-3-319-64119-5",

language = "English",

isbn = "978-3-319-64118-8",

volume = "LNCS 10437",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

editor = "Marco Bozzano and Yiannis Papadopoulos",

booktitle = "Model-Based Safety and Assessment - 5th International Symposium, IMBSA 2017",

note = "International Symposium on Model-based Safety and Assessment, IMBSA ; Conference date: 11-09-2017 Through 13-09-2017",

url = "http://imbsa2017.fbk.eu/home",

}

Kabir, S, Papadopoulos, Y, Walker, M, Parker, D, Aizpurua , JI, 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, International Symposium on Model-based Safety and Assessment, Trento, Italy, 11/09/17. https://doi.org/10.1007/978-3-319-64119-5

A model-based extension to HiP-HOPS for dynamic fault propagation studies. / Kabir, Sohag; Papadopoulos, Yiannis; Walker, Martin; Parker, David; Aizpurua , Jose Ignacio; Lampe, Jorg; Rude, Erich .

Model-Based Safety and Assessment - 5th International Symposium, IMBSA 2017. ed. / Marco Bozzano; Yiannis Papadopoulos. Vol. LNCS 10437 Springer, 2017. (Lecture Notes in Computer Science; Vol. 10437).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution book

TY - GEN

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

AU - Kabir, Sohag

AU - Papadopoulos, Yiannis

AU - Walker, Martin

AU - Parker, David

AU - Aizpurua , Jose Ignacio

AU - Lampe, Jorg

AU - Rude, Erich

PY - 2017/8/2

Y1 - 2017/8/2

N2 - 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

AB - 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

KW - model-based safety analysis

KW - fault tree analysis

KW - HiP-HOPS

KW - dynamic systems

KW - temporal fault trees

UR - http://imbsa2017.fbk.eu/home

U2 - 10.1007/978-3-319-64119-5

DO - 10.1007/978-3-319-64119-5

M3 - Conference contribution book

SN - 978-3-319-64118-8

VL - LNCS 10437

T3 - Lecture Notes in Computer Science

BT - Model-Based Safety and Assessment - 5th International Symposium, IMBSA 2017

A2 - Bozzano, Marco

A2 - Papadopoulos, Yiannis

PB - Springer

T2 - International Symposium on Model-based Safety and Assessment

Y2 - 11 September 2017 through 13 September 2017

ER -

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

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

Abstract

Publication series

Conference

Keywords

Access to Document

Other files and links

Fingerprint

Cite this