{"type":"ScholarlyArticle","title":"Automated Synthesis of Timed Failure Propagation Graphs","authors":[{"name":"Benjamin Bittner","slug":"benjamin-bittner","given":"Benjamin","family":"Bittner","affiliation":""},{"name":"Marco Bozzano","slug":"marco-bozzano","given":"Marco","family":"Bozzano","affiliation":""},{"name":"Alessandro Cimatti","slug":"alessandro-cimatti","given":"Alessandro","family":"Cimatti","affiliation":""}],"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.","doi":null,"url":"https://ijcai.org/proceedings/2016/142","pdf":"https://ijcai.org/proceedings/2016/0142.pdf","markdown":"https://ijcai.org/proceedings/2016/142.md","bibtex":"https://ijcai.org/proceedings/2016/bibtex/142","volume":{"slug":"2016","title":"Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2016","url":"https://ijcai.org/proceedings/2016/","year":2016,"location":"New York, NY, USA","dates":"9–15 July 2016","editors":"Subbarao Kambhampati","isbn":"978-1-57735-770-4; 978-1-57735-771-1","publisher":"AAAI Press / International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":null,"track":"","number":142,"pages":{"first":972,"last":977},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}