KOPS - The Institutional Repository of the University of Konstanz

On the Synergy of Probabilistic Causality Computation and Causality Checking

Aufgrund von Vorbereitungen auf eine neue Version von KOPS, können kommenden Montag und Dienstag keine Publikationen eingereicht werden. (Due to preparations for a new version of KOPS, no publications can be submitted next Monday and Tuesday.)

On the Synergy of Probabilistic Causality Computation and Causality Checking

Cite This

Files in this item

Checksum: MD5:80879399da90f877536f74d99517029a

LEITNER-FISCHER, Florian, Stefan LEUE, 2013. On the Synergy of Probabilistic Causality Computation and Causality Checking

@techreport{LeitnerFischer2013Syner-24526, series={Technical Report, Chair for Software Engineering, University of Konstanz ; soft-13-01}, title={On the Synergy of Probabilistic Causality Computation and Causality Checking}, year={2013}, 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/24526"> <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2013-10-09T07:12:51Z</dc:date> <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/> <dcterms:hasPart rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/24526/2/Leitner-Fischer_245267.pdf"/> <dc:creator>Leitner-Fischer, Florian</dc:creator> <dc:contributor>Leue, Stefan</dc:contributor> <dcterms:rights rdf:resource="https://rightsstatements.org/page/InC/1.0/"/> <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/rdf/resource/123456789/36"/> <dc:contributor>Leitner-Fischer, Florian</dc:contributor> <foaf:homepage rdf:resource="http://localhost:8080/jspui"/> <bibo:uri rdf:resource="http://kops.uni-konstanz.de/handle/123456789/24526"/> <dcterms:abstract xml:lang="eng">In recent work on the safety analysis of systems we have shown how causal relationships amongst events can be algorithmically inferred from probabilistic counterexamples and subsequently be mapped to fault trees. The resulting fault trees were signi cantly smaller and hence easier to understand than the corresponding probabilistic counterexample, but still contain all information needed to discern the causes for the occurrence of a hazard. More recently we have developed an approach called Causality Checking which is integrated into the state-space exploration algorithms used for qualitative model checking and which is capable of computing causality relationships on-the-y. The causality checking approach outperforms the probabilistic causality computation in terms of run-time and memory consumption, but can not provide a probabilistic measure. In this paper we combine the strengths of both approaches and propose an approach where the causal events are computed using causality checking and the probability computation can be limited to the causal events.We demonstrate the increase in performance of our approach using several case studies.</dcterms:abstract> <dcterms:issued>2013</dcterms:issued> <dspace:hasBitstream rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/24526/2/Leitner-Fischer_245267.pdf"/> <dc:rights>terms-of-use</dc:rights> <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2013-10-09T07:12:51Z</dcterms:available> <dcterms:title>On the Synergy of Probabilistic Causality Computation and Causality Checking</dcterms:title> <dc:language>eng</dc:language> <dc:creator>Leue, Stefan</dc:creator> <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/rdf/resource/123456789/36"/> </rdf:Description> </rdf:RDF>

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

Leitner-Fischer_245267.pdf 383

This item appears in the following Collection(s)

Search KOPS


Browse

My Account