Probabilistic fault tree synthesis using causality computation


Dateien zu dieser Ressource

Dateien Größe Format Anzeige

Zu diesem Dokument gibt es keine Dateien.

LEITNER-FISCHER, Florian, Stefan LEUE, 2013. Probabilistic fault tree synthesis using causality computation. In: International Journal of Critical Computer-Based Systems. 4(2), pp. 119-143. ISSN 1757-8779. eISSN 1757-8787. Available under: doi: 10.1504/IJCCBS.2013.056492

@article{LeitnerFischer2013Proba-26504, title={Probabilistic fault tree synthesis using causality computation}, year={2013}, doi={10.1504/IJCCBS.2013.056492}, number={2}, volume={4}, issn={1757-8779}, journal={International Journal of Critical Computer-Based Systems}, pages={119--143}, 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=""> <dcterms:rights rdf:resource=""/> <dc:date rdf:datatype="">2014-02-20T10:53:37Z</dc:date> <dc:contributor>Leitner-Fischer, Florian</dc:contributor> <bibo:uri rdf:resource=""/> <dcterms:abstract xml:lang="eng">In recent years, several approaches to generate probabilistic counterexamples have been proposed. The interpretation of probabilistic 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 extend the structural equation approach by Pearl and Halpern, which is based on Lewis counterfactuals, so that it can be applied to reason about causalities in a state-action trace model induced by a probabilistic counterexample. The causality relationships derived by the extended structural equation model are then mapped onto fault trees. We demonstrate the usefulness of our approach by applying it to a selection of case studies known from literature.</dcterms:abstract> <dcterms:title>Probabilistic fault tree synthesis using causality computation</dcterms:title> <dspace:isPartOfCollection rdf:resource=""/> <dcterms:isPartOf rdf:resource=""/> <dc:creator>Leue, Stefan</dc:creator> <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/> <foaf:homepage rdf:resource="http://localhost:8080/jspui"/> <dcterms:bibliographicCitation>International Journal of Critical Computer-Based Systems ; 4 (2013), 2. - S. 119-143</dcterms:bibliographicCitation> <dc:creator>Leitner-Fischer, Florian</dc:creator> <dcterms:issued>2013</dcterms:issued> <dc:contributor>Leue, Stefan</dc:contributor> <dc:rights>terms-of-use</dc:rights> <dc:language>eng</dc:language> <dcterms:available rdf:datatype="">2014-02-20T10:53:37Z</dcterms:available> </rdf:Description> </rdf:RDF>

Das Dokument erscheint in:

KOPS Suche


Mein Benutzerkonto