Dynamic Fault Tree analysis using Input/Output Interactive Markov Chains

H. Boudali; Pepijn Crouzen; Mariëlle Ida Antoinette Stoelinga

doi:10.1109/DSN.2007.37

Dynamic Fault Tree analysis using Input/Output Interactive Markov Chains

H. Boudali, Pepijn Crouzen, Mariëlle Ida Antoinette Stoelinga

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

139 Citations (Scopus)

317 Downloads (Pure)

Abstract

Dynamic Fault Trees (DFT) extend standard fault trees by allowing the modeling of complex system components’ behaviors and interactions. Being a high level model and easy to use, DFT are experiencing a growing success among reliability engineers. Unfortunately, a number of issues still remains when using DFT. Briefly, these issues are (1) a lack of formality (syntax and semantics), (2) limitations in modular analysis and thus vulnerability to the state-space explosion problem, and (3) lack in modular model-building. We use the input/output interactive Markov chain (I/O-IMC) formalism to analyse DFT. I/O-IMC have a precise semantics and are an extension of continuous-time Markov chains with input and output actions. In this paper, using the I/O-IMC framework, we address and resolve issues (2) and (3) mentioned above. We also show, through some examples, how one can readily extend the DFT modeling capabilities using the I/O-IMC framework.

Original language	Undefined
Title of host publication	Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)
Place of Publication	USA
Publisher	IEEE
Pages	708-717
Number of pages	10
ISBN (Print)	0-7695-2855-4
DOIs	https://doi.org/10.1109/DSN.2007.37
Publication status	Published - Jun 2007
Event	37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2007 - Edinburgh, UK, Edinburgh, United Kingdom Duration: 25 Jun 2007 → 28 Jun 2007 Conference number: 37

Publication series

Name
Publisher	IEEE Computer Society Press
Number	2

Conference

Conference	37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2007
Abbreviated title	DSN
Country/Territory	United Kingdom
City	Edinburgh
Period	25/06/07 → 28/06/07
Other	25-28 June 2007

Keywords

EWI-9593
FMT-DS: Dependable Systems
IR-67040
METIS-241555

Access to Document

10.1109/DSN.2007.37

Cite this

@inproceedings{7797964c40b74757b540361f26599f41,

title = "Dynamic Fault Tree analysis using Input/Output Interactive Markov Chains",

abstract = "Dynamic Fault Trees (DFT) extend standard fault trees by allowing the modeling of complex system components{\textquoteright} behaviors and interactions. Being a high level model and easy to use, DFT are experiencing a growing success among reliability engineers. Unfortunately, a number of issues still remains when using DFT. Briefly, these issues are (1) a lack of formality (syntax and semantics), (2) limitations in modular analysis and thus vulnerability to the state-space explosion problem, and (3) lack in modular model-building. We use the input/output interactive Markov chain (I/O-IMC) formalism to analyse DFT. I/O-IMC have a precise semantics and are an extension of continuous-time Markov chains with input and output actions. In this paper, using the I/O-IMC framework, we address and resolve issues (2) and (3) mentioned above. We also show, through some examples, how one can readily extend the DFT modeling capabilities using the I/O-IMC framework.",

keywords = "EWI-9593, FMT-DS: Dependable Systems, IR-67040, METIS-241555",

author = "H. Boudali and Pepijn Crouzen and Stoelinga, {Mari{\"e}lle Ida Antoinette}",

note = "10.1109/DSN.2007.37 ; 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2007 ; Conference date: 25-06-2007 Through 28-06-2007",

year = "2007",

month = jun,

doi = "10.1109/DSN.2007.37",

language = "Undefined",

isbn = "0-7695-2855-4",

publisher = "IEEE",

number = "2",

pages = "708--717",

booktitle = "Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)",

address = "United States",

}

Boudali, H, Crouzen, P & Stoelinga, MIA 2007, Dynamic Fault Tree analysis using Input/Output Interactive Markov Chains. in Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)., 10.1109/DSN.2007.37, IEEE, USA, pp. 708-717, 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2007, Edinburgh, United Kingdom, 25/06/07. https://doi.org/10.1109/DSN.2007.37

Dynamic Fault Tree analysis using Input/Output Interactive Markov Chains. / Boudali, H.; Crouzen, Pepijn; Stoelinga, Mariëlle Ida Antoinette.
Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN). USA: IEEE, 2007. p. 708-717 10.1109/DSN.2007.37.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Dynamic Fault Tree analysis using Input/Output Interactive Markov Chains

AU - Boudali, H.

AU - Crouzen, Pepijn

AU - Stoelinga, Mariëlle Ida Antoinette

N1 - Conference code: 37

PY - 2007/6

Y1 - 2007/6

N2 - Dynamic Fault Trees (DFT) extend standard fault trees by allowing the modeling of complex system components’ behaviors and interactions. Being a high level model and easy to use, DFT are experiencing a growing success among reliability engineers. Unfortunately, a number of issues still remains when using DFT. Briefly, these issues are (1) a lack of formality (syntax and semantics), (2) limitations in modular analysis and thus vulnerability to the state-space explosion problem, and (3) lack in modular model-building. We use the input/output interactive Markov chain (I/O-IMC) formalism to analyse DFT. I/O-IMC have a precise semantics and are an extension of continuous-time Markov chains with input and output actions. In this paper, using the I/O-IMC framework, we address and resolve issues (2) and (3) mentioned above. We also show, through some examples, how one can readily extend the DFT modeling capabilities using the I/O-IMC framework.

AB - Dynamic Fault Trees (DFT) extend standard fault trees by allowing the modeling of complex system components’ behaviors and interactions. Being a high level model and easy to use, DFT are experiencing a growing success among reliability engineers. Unfortunately, a number of issues still remains when using DFT. Briefly, these issues are (1) a lack of formality (syntax and semantics), (2) limitations in modular analysis and thus vulnerability to the state-space explosion problem, and (3) lack in modular model-building. We use the input/output interactive Markov chain (I/O-IMC) formalism to analyse DFT. I/O-IMC have a precise semantics and are an extension of continuous-time Markov chains with input and output actions. In this paper, using the I/O-IMC framework, we address and resolve issues (2) and (3) mentioned above. We also show, through some examples, how one can readily extend the DFT modeling capabilities using the I/O-IMC framework.

KW - EWI-9593

KW - FMT-DS: Dependable Systems

KW - IR-67040

KW - METIS-241555

U2 - 10.1109/DSN.2007.37

DO - 10.1109/DSN.2007.37

M3 - Conference contribution

SN - 0-7695-2855-4

SP - 708

EP - 717

BT - Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)

PB - IEEE

CY - USA

T2 - 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2007

Y2 - 25 June 2007 through 28 June 2007

ER -