Analysis of Cyclic Fault Propagation via ASP

D 2022

Analysis of Cyclic Fault Propagation via ASP

BOZZANO, Marco; Alessandro CIMATTI; Alberto GRIGGIO; Martin JONÁŠ; Greg KIMBERLY et. al.

Basic information

Original name

Analysis of Cyclic Fault Propagation via ASP

Authors

BOZZANO, Marco; Alessandro CIMATTI; Alberto GRIGGIO; Martin JONÁŠ and Greg KIMBERLY

Edition

Cham, Logic Programming and Nonmonotonic Reasoning. LPNMR 2022, p. 470-483, 14 pp. 2022

Publisher

Springer

Other information

Type of outcome

Proceedings paper

Confidentiality degree

is not subject to a state or trade secret

Publication form

printed version "print"

References:

URL

ISBN

978-3-031-15706-6

DOI

http://dx.doi.org/10.1007/978-3-031-15707-3_36

Abstract

In the original language

Analyzing the propagation of faults is part of the preliminary safety assessment for complex safety-critical systems. A recent work proposes an smt-based approach to deal with propagation of faults in presence of circular dependencies. The set of all the fault configurations that cause the violation of a property, also referred to as the set of minimal cut sets, is computed by means of repeated calls to the smt solver, hence enumerating all minimal models of an smt formula. Circularity is dealt with by imposing a strict temporal order, using the theory of difference logic. In this paper, we explore the use of Answer-Set Programming to tackle the same problem. We propose two encodings, leveraging the notion of stable model. The first approach deals with cycles in the encoding, while the second relies on asp Modulo Acyclicity (aspma). We experimentally evaluate the three approaches on a comprehensive set of benchmarks. The first asp-based encoding significantly outperforms the smt-based approach; the aspma-based encoding, on the other hand, does not yield the expected performance gains.

Cite

BOZZANO, Marco; Alessandro CIMATTI; Alberto GRIGGIO; Martin JONÁŠ and Greg KIMBERLY. Analysis of Cyclic Fault Propagation via ASP. In Gottlob, G., Inclezan, D., Maratea, M. Logic Programming and Nonmonotonic Reasoning. LPNMR 2022. Cham: Springer, 2022, p. 470-483. ISBN 978-3-031-15706-6. Available from: https://dx.doi.org/10.1007/978-3-031-15707-3_36.

@inproceedings{2335538,
   author = {Bozzano, Marco and Cimatti, Alessandro and Griggio, Alberto and Jonáš, Martin and Kimberly, Greg},
   address = {Cham},
   booktitle = {Logic Programming and Nonmonotonic Reasoning. LPNMR 2022},
   doi = {http://dx.doi.org/10.1007/978-3-031-15707-3_36},
   editor = {Gottlob, G., Inclezan, D., Maratea, M.},
   howpublished = {tištěná verze "print"},
   location = {Cham},
   isbn = {978-3-031-15706-6},
   pages = {470-483},
   publisher = {Springer},
   title = {Analysis of Cyclic Fault Propagation via ASP},
   url = {https://link.springer.com/chapter/10.1007/978-3-031-15707-3_36},
   year = {2022}
}

TY  - CONF
ID  - 2335538
AU  - Bozzano, Marco - Cimatti, Alessandro - Griggio, Alberto - Jonáš, Martin - Kimberly, Greg
PY  - 2022
TI  - Analysis of Cyclic Fault Propagation via ASP
PB  - Springer
CY  - Cham
SN  - 9783031157066
UR  - https://link.springer.com/chapter/10.1007/978-3-031-15707-3_36
N2  - Analyzing the propagation of faults is part of the preliminary safety assessment for complex safety-critical systems. A recent work proposes an smt-based approach to deal with propagation of faults in presence of circular dependencies. The set of all the fault configurations that cause the violation of a property, also referred to as the set of minimal cut sets, is computed by means of repeated calls to the smt solver, hence enumerating all minimal models of an smt formula. Circularity is dealt with by imposing a strict temporal order, using the theory of difference logic. In this paper, we explore the use of Answer-Set Programming to tackle the same problem. We propose two encodings, leveraging the notion of stable model. The first approach deals with cycles in the encoding, while the second relies on asp Modulo Acyclicity (aspma). We experimentally evaluate the three approaches on a comprehensive set of benchmarks. The first asp-based encoding significantly outperforms the smt-based approach; the aspma-based encoding, on the other hand, does not yield the expected performance gains.
ER  -

BOZZANO, Marco; Alessandro CIMATTI; Alberto GRIGGIO; Martin JONÁŠ and Greg KIMBERLY. Analysis of Cyclic Fault Propagation via ASP. In Gottlob, G., Inclezan, D., Maratea, M. \textit{Logic Programming and Nonmonotonic Reasoning. LPNMR 2022}. Cham: Springer, 2022, p.~470-483. ISBN~978-3-031-15706-6. Available from: https://dx.doi.org/10.1007/978-3-031-15707-3\_{}36.

Přehled o publikaci