Automated Synthesis of Timed Failure Propagation Graphs

Bittner, Benjamin; Bozzano, Marco; Cimatti, Alessandro

Automated Synthesis of Timed Failure Propagation Graphs

Benjamin Bittner, Marco Bozzano, Alessandro Cimatti

Download BibTeX Cite

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence. Pages 972-977.

Abstract

Timed Failure Propagation Graphs (TFPGs) are used in the design of safety-critical systems as a way of modeling failure propagation, and to evaluate and implement diagnostic systems. TFPGs are mostly produced manually, from a given dynamic system of greater complexity. In this paper we present a technique to automate the construction of TFPGs. It takes as input a set of failure mode and discrepancy nodes and builds the graph on top of them, based on an exhaustive analysis of all system behaviors. The result is a TFPG that accurately represents the sequences of failures and their effects as they appear in the system model. The proposed approach has been implemented on top of state-of-the-art symbolic model-checking techniques, and thoroughly evaluated on a number of synthetic and industrial benchmarks.

Benjamin Bittner, Marco Bozzano, and Alessandro Cimatti. 2016. Automated Synthesis of Timed Failure Propagation Graphs. In Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI-16. IJCAI, 972–977. https://ijcai.org/proceedings/2016/142

@inproceedings{ijcai2016p142,
  title     = {Automated Synthesis of Timed Failure Propagation Graphs},
  author    = {Bittner, Benjamin and Bozzano, Marco and Cimatti, Alessandro},
  booktitle = {Proceedings of the Twenty-Fifth International Joint Conference on
               Artificial Intelligence, {IJCAI-16}},
  publisher = {AAAI Press / International Joint Conferences on Artificial Intelligence},
  editor    = {Subbarao Kambhampati},
  pages     = {972--977},
  year      = {2016},
  month     = {7},
  url       = {https://ijcai.org/proceedings/2016/142},
}

TY  - CPAPER
TI  - Automated Synthesis of Timed Failure Propagation Graphs
AU  - Bittner, Benjamin
AU  - Bozzano, Marco
AU  - Cimatti, Alessandro
T2  - Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI-16
PB  - AAAI Press / International Joint Conferences on Artificial Intelligence
PY  - 2016
SP  - 972
EP  - 977
UR  - https://ijcai.org/proceedings/2016/142
ER  -