From probabilistic counterexamples via causality to fault trees

Lade...
Vorschaubild
Dateien
Leue edit GSPR.pdf
Leue edit GSPR.pdfGröße: 5.93 MBDownloads: 365
Datum
2011
Herausgeber:innen
Kontakt
ISSN der Zeitschrift
Electronic ISSN
ISBN
Bibliografische Daten
Verlag
Schriftenreihe
Auflagebezeichnung
ArXiv-ID
Internationale Patentnummer
EU-Projektnummer
DFG-Projektnummer
Projekt
Open Access-Veröffentlichung
Gesperrt bis
Titel in einer weiteren Sprache
Forschungsvorhaben
Organisationseinheiten
Zeitschriftenheft
Publikationstyp
Beitrag zu einem Konferenzband
Publikationsstatus
unikn.publication.listelement.citation.prefix.version.undefined
FLAMMINI, Francesco, ed., Sandro BOLOGNA, ed., Valeria VITTORINI, ed.. Computer Safety, Reliability, and Security. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011, pp. 71-84. ISBN 978-3-642-24269-4. Available under: doi: 10.1007/978-3-642-24270-0_6
Zusammenfassung

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 justification for the causality that our proposed FT derivation rules imply. We demonstrate the usefulness of our approach by applying it to an industrial case study.

Zusammenfassung in einer weiteren Sprache
Fachgebiet (DDC)
004 Informatik
Schlagwörter
counterexample, fault tree, causality, probabilistic model checking
Konferenz
Rezension
undefined / . - undefined, undefined
Zitieren
ISO 690KUNTZ, Matthias, Florian LEITNER-FISCHER, Stefan LEUE, 2011. From probabilistic counterexamples via causality to fault trees. In: FLAMMINI, Francesco, ed., Sandro BOLOGNA, ed., Valeria VITTORINI, ed.. Computer Safety, Reliability, and Security. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011, pp. 71-84. ISBN 978-3-642-24269-4. Available under: doi: 10.1007/978-3-642-24270-0_6
BibTex
@inproceedings{Kuntz2011proba-14779,
  year={2011},
  doi={10.1007/978-3-642-24270-0_6},
  title={From probabilistic counterexamples via causality to fault trees},
  number={6894},
  isbn={978-3-642-24269-4},
  publisher={Springer Berlin Heidelberg},
  address={Berlin, Heidelberg},
  series={Lecture Notes in Computer Science},
  booktitle={Computer Safety, Reliability, and Security},
  pages={71--84},
  editor={Flammini, Francesco and Bologna, Sandro and Vittorini, Valeria},
  author={Kuntz, Matthias and Leitner-Fischer, Florian and Leue, Stefan}
}
RDF
<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/server/rdf/resource/123456789/14779">
    <dc:rights>terms-of-use</dc:rights>
    <dcterms:issued>2011</dcterms:issued>
    <dcterms:rights rdf:resource="https://rightsstatements.org/page/InC/1.0/"/>
    <dc:creator>Kuntz, Matthias</dc:creator>
    <dc:contributor>Leue, Stefan</dc:contributor>
    <dspace:hasBitstream rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/14779/1/Leue%20edit%20GSPR.pdf"/>
    <bibo:uri rdf:resource="http://kops.uni-konstanz.de/handle/123456789/14779"/>
    <dc:contributor>Kuntz, Matthias</dc:contributor>
    <dcterms:title>From probabilistic counterexamples via causality to fault trees</dcterms:title>
    <dc:creator>Leue, Stefan</dc:creator>
    <dc:creator>Leitner-Fischer, Florian</dc:creator>
    <dcterms:bibliographicCitation>First publ. in: Computer safety, reliability, and security : 30th international conference, SAFECOMP 2011, Naples, Italy, September 19-22, 2011 ; proceedings / Francesco Flammini; Sandro Bologna; Valeria Vittorini (eds.). - Heidelberg [u.a.] : Springer, 2011. - S. 71-84. - (Lecture Notes in Computer Science ; 6894)</dcterms:bibliographicCitation>
    <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/36"/>
    <dcterms:hasPart rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/14779/1/Leue%20edit%20GSPR.pdf"/>
    <dcterms:abstract xml:lang="eng">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 justification for the causality that our proposed FT derivation rules imply. We demonstrate the usefulness of our approach by applying it to an industrial case study.</dcterms:abstract>
    <foaf:homepage rdf:resource="http://localhost:8080/"/>
    <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2011-12-06T16:34:34Z</dc:date>
    <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2012-07-31T22:25:04Z</dcterms:available>
    <dc:contributor>Leitner-Fischer, Florian</dc:contributor>
    <dc:language>eng</dc:language>
    <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/>
    <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/36"/>
  </rdf:Description>
</rdf:RDF>
Interner Vermerk
xmlui.Submission.submit.DescribeStep.inputForms.label.kops_note_fromSubmitter
Kontakt
URL der Originalveröffentl.
Prüfdatum der URL
Prüfungsdatum der Dissertation
Finanzierungsart
Kommentar zur Publikation
Allianzlizenz
Corresponding Authors der Uni Konstanz vorhanden
Internationale Co-Autor:innen
Universitätsbibliographie
Ja
Begutachtet