Formal Fault Tree Analysis - Practical Experiences

被引：35
|
作者：
Ortmeier, Frank [1 ]
Schellhorn, Gerhard [1 ]
机构：
[1] Univ Augsburg, Lehrstuhl Softwaretech & Programmiersprachen, D-86135 Augsburg, Germany
来源：
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE | 2007年 / 185卷 / SPEC. ISS.期
关键词：
fault tree analysis; dependability; safety analysis; formal methods;
D O I：
10.1016/j.entcs.2007.05.034
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
Safety is an important requirement for many modern systems. To ensure safety of complex critical systems, well-known safety analysis methods have been formalized. This holds in particular for automation sytsems and transportation systems. In this paper we present the formalization of one of the most wide spread safety analysis methods: fault tree analysis (FTA). Formal FTA allows to rigorously reason about completeness of a faulty tree. This means it is possible to prove whether a certain combination of component failures is critical for system failure or not. This is a big step forward as informal reasoning on cause-consequence relations is very error-prone. We report on our experiences with a real world case study from the domain of railroads. The here presented case study is - to our knowledge - the first complete formal fault tree analysis for an infinite state system. Until now only finite state systems have been analyzed with formal FTA by using model checking.
引用
收藏
页码：139 / 151
页数：13
相关论文
共 50 条
  • [1] Formal Static Fault Tree Analysis
    Xiang, Jianwen
    Yanoo, Kazuo
    [J]. ICCES'2010: THE 2010 INTERNATIONAL CONFERENCE ON COMPUTER ENGINEERING & SYSTEMS, 2010, : 280 - 286
  • [2] Verifying formal specifications using fault tree analysis
    Liu, SY
    [J]. INTERNATIONAL SYMPOSIUM ON PRINCIPLES OF SOFTWARE EVOLUTION, PROCEEDINGS, 2000, : 272 - 281
  • [3] Formal fault tree construction and system safety analysis
    Xiang, JW
    Futatsugi, K
    He, YX
    [J]. PROCEEDINGS OF THE IASTED INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, 2004, : 378 - 384
  • [4] Formal fault tree analysis of state transition systems
    Xiang, J
    Ogata, K
    Futatsugi, K
    [J]. QSIC 2005: FIFTH INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE, PROCEEDINGS, 2005, : 124 - 131
  • [5] Fault tree and formal methods in system safety analysis
    Xiang, J
    Futatsugi, K
    He, YX
    [J]. FOURTH INTERNATIONAL CONFERENCE ON COMPUTER AND INFORMATION TECHNOLOGY, PROCEEDINGS, 2004, : 1108 - 1115
  • [6] Towards Formal Fault Tree Analysis Using Theorem Proving
    Ahmed, Waqar
    Hasan, Osman
    [J]. INTELLIGENT COMPUTER MATHEMATICS, CICM 2015, 2015, 9150 : 39 - 54
  • [7] FORMAL METHODOLOGY FOR FAULT TREE CONSTRUCTION
    FUSSELL, JB
    [J]. NUCLEAR SCIENCE AND ENGINEERING, 1973, 52 (04) : 421 - 432
  • [8] From fault tree analysis to formal system specification and verification with OTS/CafeOBJ
    [J]. Comput. Softw., 2006, 3 (134-146):
  • [9] Practical treatment-methods for adaptive components in the fault-tree analysis
    Szabó, G
    Gáspár, P
    [J]. ANNUAL RELIABILITY AND MAINTAINABILITY SYMPOSIUM, 1999 PROCEEDINGS, 1999, : 97 - 104
  • [10] Practical Fault Management Using Real-Time Decision Tree Analysis
    Chenaru, Oana
    Popescu, Dan
    Enache, Dragos
    [J]. 2016 24TH MEDITERRANEAN CONFERENCE ON CONTROL AND AUTOMATION (MED), 2016, : 384 - 389
12345