Causality checking for complex system models


Dateien zu dieser Ressource

Prüfsumme: MD5:81d77d21bf5eb2c90ec466bf22dab295

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

@techreport{Leitner-Fischer2012Causa-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:rdf="" xmlns:bibo="" xmlns:dc="" xmlns:dcterms="" xmlns:xsd="" > <rdf:Description rdf:about=""> <dc:creator>Leitner-Fischer, Florian</dc:creator> <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>Leue, Stefan</dc:creator> <bibo:uri rdf:resource=""/> <dc:rights>deposit-license</dc:rights> <dc:language>eng</dc:language> <dc:date rdf:datatype="">2013-01-30T09:47:42Z</dc:date> <dcterms:available rdf:datatype="">2013-01-30T09:47:42Z</dcterms:available> <dc:contributor>Leitner-Fischer, Florian</dc:contributor> <dcterms:title>Causality checking for complex system models</dcterms:title> <dcterms:issued>2012</dcterms:issued> <dc:contributor>Leue, Stefan</dc:contributor> <dcterms:rights rdf:resource=""/> </rdf:Description> </rdf:RDF>

Dateiabrufe seit 01.10.2014 (Informationen über die Zugriffsstatistik)

Leue_212906.pdf 106

Das Dokument erscheint in:

KOPS Suche


Mein Benutzerkonto