Causal Reasoning for Safety in Hennessy Milner Logic

Cite This

Files in this item

Files Size Format View

There are no files associated with this item.

CALTAIS, Georgiana, Mohammad Reza MOUSAVI, Hargurbir SINGH, 2020. Causal Reasoning for Safety in Hennessy Milner Logic. In: Fundamenta Informaticae. IOS Press. 173(2-3), pp. 217-251. ISSN 0169-2968. eISSN 1875-8681. Available under: doi: 10.3233/FI-2020-1922

@article{Caltais2020-03-31Causa-49236, title={Causal Reasoning for Safety in Hennessy Milner Logic}, year={2020}, doi={10.3233/FI-2020-1922}, number={2-3}, volume={173}, issn={0169-2968}, journal={Fundamenta Informaticae}, pages={217--251}, author={Caltais, Georgiana and Mousavi, Mohammad Reza and Singh, Hargurbir} }

<rdf:RDF xmlns:dcterms="http://purl.org/dc/terms/" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:bibo="http://purl.org/ontology/bibo/" xmlns:dspace="http://digital-repositories.org/ontologies/dspace/0.1.0#" xmlns:foaf="http://xmlns.com/foaf/0.1/" xmlns:void="http://rdfs.org/ns/void#" xmlns:xsd="http://www.w3.org/2001/XMLSchema#" > <rdf:Description rdf:about="https://kops.uni-konstanz.de/rdf/resource/123456789/49236"> <foaf:homepage rdf:resource="http://localhost:8080/jspui"/> <dc:creator>Caltais, Georgiana</dc:creator> <dc:creator>Mousavi, Mohammad Reza</dc:creator> <bibo:uri rdf:resource="https://kops.uni-konstanz.de/handle/123456789/49236"/> <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/rdf/resource/123456789/36"/> <dc:creator>Singh, Hargurbir</dc:creator> <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2020-04-21T09:11:02Z</dc:date> <dcterms:title>Causal Reasoning for Safety in Hennessy Milner Logic</dcterms:title> <dcterms:issued>2020-03-31</dcterms:issued> <dcterms:abstract xml:lang="eng">Determining and computing root causes in system failures is a significant issue in science and engineering. In this paper, we introduce a notion of causality for explaining counterexamples in system analysis based on formal models. The counter-examples are produced by checking for hazardous situations expressed in the Hennessy-Milner Logic, in the context of Labelled Transition System models. We also introduce CauseJMu, a tool for automatically identifying such causal computations within a system model. CauseJMu relies on encoding causality in terms of an extension of Hennessy-Milner Logic to recursive formulae with data. The encodings enable deciding whether a certain computation is causal or not, using the mCRL2 model checker.</dcterms:abstract> <dc:contributor>Mousavi, Mohammad Reza</dc:contributor> <dc:contributor>Singh, Hargurbir</dc:contributor> <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/> <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2020-04-21T09:11:02Z</dcterms:available> <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/rdf/resource/123456789/36"/> <dc:contributor>Caltais, Georgiana</dc:contributor> <dc:language>eng</dc:language> </rdf:Description> </rdf:RDF>

This item appears in the following Collection(s)

Search KOPS


Browse

My Account