Causality checking for complex system models

Zitieren

Dateien zu dieser Ressource

Prüfsumme: 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="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/21290"> <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="https://kops.uni-konstanz.de/rdf/resource/123456789/36"/> <dc:creator>Leue, Stefan</dc:creator> <bibo:uri rdf:resource="http://kops.uni-konstanz.de/handle/123456789/21290"/> <dspace:hasBitstream rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/21290/2/Leue_212906.pdf"/> <dc:rights>deposit-license</dc:rights> <dc:language>eng</dc:language> <dcterms:hasPart rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/21290/2/Leue_212906.pdf"/> <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2013-01-30T09:47:42Z</dc:date> <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2013-01-30T09:47:42Z</dcterms:available> <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/rdf/resource/123456789/36"/> <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> <dcterms:rights rdf:resource="http://nbn-resolving.org/urn:nbn:de:bsz:352-20140905103605204-4002607-1"/> <foaf:homepage rdf:resource="http://localhost:8080/jspui"/> </rdf:Description> </rdf:RDF>

Dateiabrufe seit 01.10.2014 (Informationen über die Zugriffsstatistik)

Leue_212906.pdf 126

Das Dokument erscheint in:

KOPS Suche


Stöbern

Mein Benutzerkonto