Abstract

As the critical systems we rely on every day, such as nuclear power plants and airplanes, become ever more complex, the need to rigorously verify the safety and dependability of these systems is becoming very clear. Furthermore, deliberate attacks have become a prominent cause of concern for safety and reliability. One of the most prominent techniques for analyzing such systems is fault tree analysis (FTA), and a whole forest of variants, extensions, and analysis tools have been developed. In the security field, FTA was the inspiration for attack trees, used to analyze systems for vulnerability to malicious attacks. These formalisms are rarely compatible, making it difficult to exploit their different strengths in analyzing the same system. The key contribution of this paper is a meta-model describing many varieties of fault and attack trees, and well as combined attack-fault trees. We provide translations to and from different formalisms, as well as our own analysis engine for combined models. We demonstrate this framework on three case studies.
Original languageEnglish
Title of host publication2017 Annual Reliability and Maintainability Symposium (RAMS)
PublisherIEEE
Number of pages7
ISBN (Electronic)978-1-5090-5284-4
ISBN (Print)978-1-5090-5285-1
DOIs
StatePublished - 23 Jan 2017
Event63rd Annual Reliabliity and Maintainability Symposium, RAMS 2017 - Orlando, United States

Conference

Conference63rd Annual Reliabliity and Maintainability Symposium, RAMS 2017
Abbreviated titleRAMS
CountryUnited States
CityOrlando
Period23/01/1726/01/17

Fingerprint

Fault tree analysis
Nuclear power plants
Aircraft
Engines
Side channel attack

Keywords

  • EWI-27223
  • Metamodelling
  • Fault Tree Analysis
  • Attack-fault trees
  • IR-101865
  • EC Grant Agreement nr.: FP7/318003

Cite this

Ruijters, Enno; Schivo, Stefano ; Stoelinga, Mariëlle; Rensink, Arend / Uniform analysis of fault trees through model transformations.

2017 Annual Reliability and Maintainability Symposium (RAMS). IEEE, 2017.

Research output: Scientific - peer-reviewConference contribution

@inbook{e08391afc3034f75b795a9136ab24f73,
title = "Uniform analysis of fault trees through model transformations",
abstract = "As the critical systems we rely on every day, such as nuclear power plants and airplanes, become ever more complex, the need to rigorously verify the safety and dependability of these systems is becoming very clear. Furthermore, deliberate attacks have become a prominent cause of concern for safety and reliability. One of the most prominent techniques for analyzing such systems is fault tree analysis (FTA), and a whole forest of variants, extensions, and analysis tools have been developed. In the security field, FTA was the inspiration for attack trees, used to analyze systems for vulnerability to malicious attacks. These formalisms are rarely compatible, making it difficult to exploit their different strengths in analyzing the same system. The key contribution of this paper is a meta-model describing many varieties of fault and attack trees, and well as combined attack-fault trees. We provide translations to and from different formalisms, as well as our own analysis engine for combined models. We demonstrate this framework on three case studies.",
keywords = "EWI-27223, Metamodelling, Fault Tree Analysis, Attack-fault trees, IR-101865, EC Grant Agreement nr.: FP7/318003",
author = "Enno Ruijters and Stefano Schivo and Mariëlle Stoelinga and Arend Rensink",
note = "Foreground = 25%; Type of activity = conference; Main leader = UT; Type of audience = scientific community; Size of audience = 40; Countries addressed = international;",
year = "2017",
month = "1",
doi = "10.1109/RAM.2017.7889759",
isbn = "978-1-5090-5285-1",
booktitle = "2017 Annual Reliability and Maintainability Symposium (RAMS)",
publisher = "IEEE",

}

Ruijters, E, Schivo, S, Stoelinga, M & Rensink, A 2017, Uniform analysis of fault trees through model transformations. in 2017 Annual Reliability and Maintainability Symposium (RAMS). IEEE, 63rd Annual Reliabliity and Maintainability Symposium, RAMS 2017, Orlando, United States, 23-26 January. DOI: 10.1109/RAM.2017.7889759

Uniform analysis of fault trees through model transformations. / Ruijters, Enno; Schivo, Stefano ; Stoelinga, Mariëlle; Rensink, Arend .

2017 Annual Reliability and Maintainability Symposium (RAMS). IEEE, 2017.

Research output: Scientific - peer-reviewConference contribution

TY - CHAP

T1 - Uniform analysis of fault trees through model transformations

AU - Ruijters,Enno

AU - Schivo,Stefano

AU - Stoelinga,Mariëlle

AU - Rensink,Arend

N1 - Foreground = 25%; Type of activity = conference; Main leader = UT; Type of audience = scientific community; Size of audience = 40; Countries addressed = international;

PY - 2017/1/23

Y1 - 2017/1/23

N2 - As the critical systems we rely on every day, such as nuclear power plants and airplanes, become ever more complex, the need to rigorously verify the safety and dependability of these systems is becoming very clear. Furthermore, deliberate attacks have become a prominent cause of concern for safety and reliability. One of the most prominent techniques for analyzing such systems is fault tree analysis (FTA), and a whole forest of variants, extensions, and analysis tools have been developed. In the security field, FTA was the inspiration for attack trees, used to analyze systems for vulnerability to malicious attacks. These formalisms are rarely compatible, making it difficult to exploit their different strengths in analyzing the same system. The key contribution of this paper is a meta-model describing many varieties of fault and attack trees, and well as combined attack-fault trees. We provide translations to and from different formalisms, as well as our own analysis engine for combined models. We demonstrate this framework on three case studies.

AB - As the critical systems we rely on every day, such as nuclear power plants and airplanes, become ever more complex, the need to rigorously verify the safety and dependability of these systems is becoming very clear. Furthermore, deliberate attacks have become a prominent cause of concern for safety and reliability. One of the most prominent techniques for analyzing such systems is fault tree analysis (FTA), and a whole forest of variants, extensions, and analysis tools have been developed. In the security field, FTA was the inspiration for attack trees, used to analyze systems for vulnerability to malicious attacks. These formalisms are rarely compatible, making it difficult to exploit their different strengths in analyzing the same system. The key contribution of this paper is a meta-model describing many varieties of fault and attack trees, and well as combined attack-fault trees. We provide translations to and from different formalisms, as well as our own analysis engine for combined models. We demonstrate this framework on three case studies.

KW - EWI-27223

KW - Metamodelling

KW - Fault Tree Analysis

KW - Attack-fault trees

KW - IR-101865

KW - EC Grant Agreement nr.: FP7/318003

U2 - 10.1109/RAM.2017.7889759

DO - 10.1109/RAM.2017.7889759

M3 - Conference contribution

SN - 978-1-5090-5285-1

BT - 2017 Annual Reliability and Maintainability Symposium (RAMS)

PB - IEEE

ER -

Ruijters E, Schivo S, Stoelinga M, Rensink A. Uniform analysis of fault trees through model transformations. In 2017 Annual Reliability and Maintainability Symposium (RAMS). IEEE. 2017. Available from, DOI: 10.1109/RAM.2017.7889759