From probabilistic counterexamples via causality to fault trees


Dateien zu dieser Ressource

Prüfsumme: MD5:bd795e0e7ada4bab71bce926e7a2c3d8

KUNTZ, Matthias, Florian LEITNER-FISCHER, Stefan LEUE, 2011. From probabilistic counterexamples via causality to fault trees

@techreport{Kuntz2011proba-21286, series={Technical Report, Chair for Software Engineering, University of Konstanz ; soft-11-02}, title={From probabilistic counterexamples via causality to fault trees}, year={2011}, author={Kuntz, Matthias and 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=""> <foaf:homepage rdf:resource="http://localhost:8080/jspui"/> <dc:contributor>Kuntz, Matthias</dc:contributor> <dcterms:abstract xml:lang="eng">Probabilistic Model Checking is an established technique used in the dependability analysis of safety-critical systems. In recent years, several approaches to generate probabilistic counterexamples have been proposed. The interpretation of stochastic counterexamples, however, continues to be problematic since they have to be represented as sets of paths, and the number of paths in this set may be very large. Fault trees (FTs) are a well-established industrial technique to represent causalities for possible system hazards resulting from system or system component failures. In this paper we suggest a method to automatically derive FTs from counterexamples, including a mapping of the probability information onto the FT. We extend the structural equation approach by Pearl and Halpern, which is based on Lewis counterfactuals, so that it serves as a justi cation for the causality that our proposed FT derivation rules imply. The synthesized FTs provide the user with a concise and compact representation of the causes of potential system failures, together with their respective probabilities. We demonstrate the usefulness of our approach by applying it to a selection of industrial size case studies.</dcterms:abstract> <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/> <dc:creator>Leitner-Fischer, Florian</dc:creator> <dc:contributor>Leue, Stefan</dc:contributor> <dcterms:rights rdf:resource=""/> <dcterms:isPartOf rdf:resource=""/> <dcterms:title>From probabilistic counterexamples via causality to fault trees</dcterms:title> <bibo:uri rdf:resource=""/> <dcterms:issued>2011</dcterms:issued> <dc:creator>Leue, Stefan</dc:creator> <dc:rights>terms-of-use</dc:rights> <dspace:isPartOfCollection rdf:resource=""/> <dc:date rdf:datatype="">2013-01-30T09:53:01Z</dc:date> <dc:contributor>Leitner-Fischer, Florian</dc:contributor> <dspace:hasBitstream rdf:resource=""/> <dcterms:available rdf:datatype="">2013-01-30T09:53:01Z</dcterms:available> <dc:language>eng</dc:language> <dcterms:hasPart rdf:resource=""/> <dc:creator>Kuntz, Matthias</dc:creator> </rdf:Description> </rdf:RDF>

Dateiabrufe seit 01.10.2014 (Informationen über die Zugriffsstatistik)

Kuntz_212868.pdf 136

Das Dokument erscheint in:

KOPS Suche


Mein Benutzerkonto