Boosting Fault Tree Analysis by Formal Methods

Research output: Chapter in Book/Report/Conference proceedingChapter

Abstract

Fault trees are a key technique in safety and reliability engineering. Their application includes aerospace, nuclear power, car, and process engineering industries. Various fault tree extensions exist that increase expressiveness while yielding succinct models. Their analysis is a main bottleneck: techniques do not scale and require manual effort. Formal methods have an enormous potential to solve these issues. We discuss a mixture of formal method techniques resulting in a fully automated and scalable approach to analyze Dugan’s dynamic fault trees.
LanguageEnglish
Title of host publicationModelEd, TestEd, TrustEd
Subtitle of host publicationEssays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday
EditorsJoost-Pieter Katoen, Rom Langerak, Arend Rensink
Pages368-380
ISBN (Electronic)978-3-319-68270-9
DOIs
StatePublished - 15 Oct 2017

Publication series

NameLecture notes in computer science
Volume10500

Fingerprint

Fault tree analysis
Formal methods
Aerospace applications
Process engineering
Nuclear energy
Railroad cars
Industry

Cite this

Katoen, J. P., & Stoelinga, M. I. A. (2017). Boosting Fault Tree Analysis by Formal Methods. In J-P. Katoen, R. Langerak, & A. Rensink (Eds.), ModelEd, TestEd, TrustEd: Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday (pp. 368-380). (Lecture notes in computer science; Vol. 10500). DOI: 10.1007/978-3-319-68270-9_19
Katoen, Joost P. ; Stoelinga, Mariëlle Ida Antoinette. / Boosting Fault Tree Analysis by Formal Methods. ModelEd, TestEd, TrustEd: Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday. editor / Joost-Pieter Katoen ; Rom Langerak ; Arend Rensink. 2017. pp. 368-380 (Lecture notes in computer science).
@inbook{a0bb573c4acc4ed5884739c188b760a4,
title = "Boosting Fault Tree Analysis by Formal Methods",
abstract = "Fault trees are a key technique in safety and reliability engineering. Their application includes aerospace, nuclear power, car, and process engineering industries. Various fault tree extensions exist that increase expressiveness while yielding succinct models. Their analysis is a main bottleneck: techniques do not scale and require manual effort. Formal methods have an enormous potential to solve these issues. We discuss a mixture of formal method techniques resulting in a fully automated and scalable approach to analyze Dugan’s dynamic fault trees.",
author = "Katoen, {Joost P.} and Stoelinga, {Mari{\"e}lle Ida Antoinette}",
year = "2017",
month = "10",
day = "15",
doi = "10.1007/978-3-319-68270-9_19",
language = "English",
isbn = "978-3-319-68269-3",
series = "Lecture notes in computer science",
pages = "368--380",
editor = "Joost-Pieter Katoen and Rom Langerak and Arend Rensink",
booktitle = "ModelEd, TestEd, TrustEd",

}

Katoen, JP & Stoelinga, MIA 2017, Boosting Fault Tree Analysis by Formal Methods. in J-P Katoen, R Langerak & A Rensink (eds), ModelEd, TestEd, TrustEd: Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday. Lecture notes in computer science, vol. 10500, pp. 368-380. DOI: 10.1007/978-3-319-68270-9_19

Boosting Fault Tree Analysis by Formal Methods. / Katoen, Joost P.; Stoelinga, Mariëlle Ida Antoinette.

ModelEd, TestEd, TrustEd: Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday. ed. / Joost-Pieter Katoen; Rom Langerak; Arend Rensink. 2017. p. 368-380 (Lecture notes in computer science; Vol. 10500).

Research output: Chapter in Book/Report/Conference proceedingChapter

TY - CHAP

T1 - Boosting Fault Tree Analysis by Formal Methods

AU - Katoen,Joost P.

AU - Stoelinga,Mariëlle Ida Antoinette

PY - 2017/10/15

Y1 - 2017/10/15

N2 - Fault trees are a key technique in safety and reliability engineering. Their application includes aerospace, nuclear power, car, and process engineering industries. Various fault tree extensions exist that increase expressiveness while yielding succinct models. Their analysis is a main bottleneck: techniques do not scale and require manual effort. Formal methods have an enormous potential to solve these issues. We discuss a mixture of formal method techniques resulting in a fully automated and scalable approach to analyze Dugan’s dynamic fault trees.

AB - Fault trees are a key technique in safety and reliability engineering. Their application includes aerospace, nuclear power, car, and process engineering industries. Various fault tree extensions exist that increase expressiveness while yielding succinct models. Their analysis is a main bottleneck: techniques do not scale and require manual effort. Formal methods have an enormous potential to solve these issues. We discuss a mixture of formal method techniques resulting in a fully automated and scalable approach to analyze Dugan’s dynamic fault trees.

U2 - 10.1007/978-3-319-68270-9_19

DO - 10.1007/978-3-319-68270-9_19

M3 - Chapter

SN - 978-3-319-68269-3

T3 - Lecture notes in computer science

SP - 368

EP - 380

BT - ModelEd, TestEd, TrustEd

ER -

Katoen JP, Stoelinga MIA. Boosting Fault Tree Analysis by Formal Methods. In Katoen J-P, Langerak R, Rensink A, editors, ModelEd, TestEd, TrustEd: Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday. 2017. p. 368-380. (Lecture notes in computer science). Available from, DOI: 10.1007/978-3-319-68270-9_19