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.

Základní údaje

Originální název

Analysis of Cyclic Fault Propagation via ASP

Autoři

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

Vydání

Cham, Logic Programming and Nonmonotonic Reasoning. LPNMR 2022, od s. 470-483, 14 s. 2022

Nakladatel

Springer

Další údaje

Typ výsledku

Stať ve sborníku

Utajení

není předmětem státního či obchodního tajemství

Forma vydání

tištěná verze "print"

Odkazy

URL

Označené pro přenos do RIV

ISBN

978-3-031-15706-6

DOI

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

Příznaky

Mezinárodní význam, Recenzováno

Změněno: 6. 11. 2023 19:41, RNDr. Martin Jonáš, Ph.D.

Anotace

V originále

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.

Citovat

BOZZANO, Marco; Alessandro CIMATTI; Alberto GRIGGIO; Martin JONÁŠ a 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, s. 470-483. ISBN 978-3-031-15706-6. Dostupné z: https://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 = {https://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ÁŠ a 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, s.~470-483. ISBN~978-3-031-15706-6. Dostupné z: https://doi.org/10.1007/978-3-031-15707-3\_{}36.

Přehled o publikaci