Causality checking for complex system models

Cite This

Files in this item

Checksum: MD5:81d77d21bf5eb2c90ec466bf22dab295

LEITNER-FISCHER, Florian, Stefan LEUE, 2012. Causality checking for complex system models

@techreport{LeitnerFischer2012Causa-21290, series={Technical Report, Chair for Software Engineering, University of Konstanz ; soft-12-02}, title={Causality checking for complex system models}, year={2012}, author={Leitner-Fischer, Florian and Leue, Stefan} }

<rdf:RDF xmlns:dcterms="" xmlns:dc="" xmlns:rdf="" xmlns:bibo="" xmlns:dspace="" xmlns:foaf="" xmlns:void="" xmlns:xsd="" > <rdf:Description rdf:about=""> <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/> <dcterms:abstract xml:lang="eng">We present an approach for the algorithmic computation of causalities in system models that we refer to as causality checking. We are basing our notion of causality on counterfactual reasoning, in particular using the structural equation model approach by Halpern and Pearl that we recently have extended to reason about computational models. In this paper we present a search-based on-the-fly approach that nicely integrates into nite state veri cation techniques, such as explicit-state model checking. We demonstrate the applicability of our approach using an industrial case study.</dcterms:abstract> <dc:creator>Leitner-Fischer, Florian</dc:creator> <dspace:isPartOfCollection rdf:resource=""/> <dc:creator>Leue, Stefan</dc:creator> <bibo:uri rdf:resource=""/> <dc:rights>terms-of-use</dc:rights> <dspace:hasBitstream rdf:resource=""/> <dcterms:rights rdf:resource=""/> <dc:language>eng</dc:language> <dcterms:hasPart rdf:resource=""/> <dc:date rdf:datatype="">2013-01-30T09:47:42Z</dc:date> <dcterms:available rdf:datatype="">2013-01-30T09:47:42Z</dcterms:available> <dcterms:isPartOf rdf:resource=""/> <dc:contributor>Leitner-Fischer, Florian</dc:contributor> <dcterms:title>Causality checking for complex system models</dcterms:title> <dc:contributor>Leue, Stefan</dc:contributor> <dcterms:issued>2012</dcterms:issued> <foaf:homepage rdf:resource="http://localhost:8080/jspui"/> </rdf:Description> </rdf:RDF>

Downloads since Oct 1, 2014 (Information about access statistics)

Leue_212906.pdf 376

This item appears in the following Collection(s)

Search KOPS


My Account