Abstract
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 | |
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 | Italy |
City | Trento |
Period | 11/09/17 → 13/09/17 |
Internet address |
Fingerprint
Keywords
- model-based safety analysis
- fault tree analysis
- HiP-HOPS
- dynamic systems
- temporal fault trees
Cite this
}
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
ER -