Safety Analysis of an Airbag System using Probabilistic FMEA and Probabilistic Counter Examples

Lade...
Vorschaubild
Dateien
Zu diesem Dokument gibt es keine Dateien.
Datum
2009
Herausgeber:innen
Kontakt
ISSN der Zeitschrift
Electronic ISSN
ISBN
Bibliografische Daten
Verlag
Schriftenreihe
Auflagebezeichnung
DOI (zitierfähiger Link)
ArXiv-ID
Internationale Patentnummer
Angaben zur Forschungsförderung
Projekt
DiRePro: Directed Model Checking in the Analysis of Real-Time and Probabilistic Systems
Open Access-Veröffentlichung
Open Access Green
Core Facility der Universität Konstanz
Gesperrt bis
Titel in einer weiteren Sprache
Forschungsvorhaben
Organisationseinheiten
Zeitschriftenheft
Publikationstyp
Beitrag zu einem Konferenzband
Publikationsstatus
Published
Erschienen in
2009 Sixth International Conference on the Quantitative Evaluation of Systems. IEEE, 2009, pp. 299-308. ISBN 978-0-7695-3808-2. Available under: doi: 10.1109/QEST.2009.8
Zusammenfassung

Failure mode and effects analysis (FMEA) is a technique to reason about possible system hazards that result from system or system component failures. Traditionally, FMEA does not take the probabilities with which these failures may occur into account. Recently, this shortcoming was addressed by integrating stochastic model checking techniques into the FMEA process. A further improvement is the integration of techniques for the generation of counterexamples for stochastic models, which we propose in this paper. Counterexamples facilitate the redesign of a potentially unsafe system by providing information which components contribute most to the failure of the entire system. The usefulness of this novel approach to the FMEA process is illustrated by applying it to the case study of an airbag system provided by our industrial partner, the TRW Automotive GmbH.

Zusammenfassung in einer weiteren Sprache
Fachgebiet (DDC)
004 Informatik
Schlagwörter
Konferenz
2009 Sixth International Conference on the Quantitative Evaluation of Systems (QEST), 13. Sept. 2009 - 16. Sept. 2009, Budapest, Hungary
Rezension
undefined / . - undefined, undefined
Zitieren
ISO 690ALJAZZAR, Husain, Manuel FISCHER, Lars GRUNSKE, Matthias KUNTZ, Florian LEITNER-FISCHER, Stefan LEUE, 2009. Safety Analysis of an Airbag System using Probabilistic FMEA and Probabilistic Counter Examples. 2009 Sixth International Conference on the Quantitative Evaluation of Systems (QEST). Budapest, Hungary, 13. Sept. 2009 - 16. Sept. 2009. In: 2009 Sixth International Conference on the Quantitative Evaluation of Systems. IEEE, 2009, pp. 299-308. ISBN 978-0-7695-3808-2. Available under: doi: 10.1109/QEST.2009.8
BibTex
@inproceedings{Aljazzar2009-09Safet-6059,
  year={2009},
  doi={10.1109/QEST.2009.8},
  title={Safety Analysis of an Airbag System using Probabilistic FMEA and Probabilistic Counter Examples},
  isbn={978-0-7695-3808-2},
  publisher={IEEE},
  booktitle={2009 Sixth International Conference on the Quantitative Evaluation of Systems},
  pages={299--308},
  author={Aljazzar, Husain and Fischer, Manuel and Grunske, Lars and 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/6059">
    <dc:creator>Grunske, Lars</dc:creator>
    <dc:creator>Leue, Stefan</dc:creator>
    <foaf:homepage rdf:resource="http://localhost:8080/"/>
    <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/>
    <dc:contributor>Fischer, Manuel</dc:contributor>
    <dc:creator>Fischer, Manuel</dc:creator>
    <dcterms:issued>2009-09</dcterms:issued>
    <dc:contributor>Grunske, Lars</dc:contributor>
    <dc:creator>Leitner-Fischer, Florian</dc:creator>
    <dc:language>eng</dc:language>
    <dcterms:rights rdf:resource="https://rightsstatements.org/page/InC/1.0/"/>
    <dc:creator>Kuntz, Matthias</dc:creator>
    <dcterms:bibliographicCitation>Paper for: Proceedings of 6th International Conference on the Quantitative Evaluation of SysTems (QEST '09), IEEE Computer Society Press, 2009</dcterms:bibliographicCitation>
    <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2011-03-24T16:09:04Z</dcterms:available>
    <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/36"/>
    <dc:contributor>Aljazzar, Husain</dc:contributor>
    <bibo:uri rdf:resource="http://kops.uni-konstanz.de/handle/123456789/6059"/>
    <dcterms:hasPart rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/6059/1/withCEXVis_article_PFMEA.pdf"/>
    <dc:contributor>Kuntz, Matthias</dc:contributor>
    <dcterms:title>Safety Analysis of an Airbag System using Probabilistic FMEA and Probabilistic Counter Examples</dcterms:title>
    <dc:contributor>Leitner-Fischer, Florian</dc:contributor>
    <dc:contributor>Leue, Stefan</dc:contributor>
    <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/36"/>
    <dcterms:abstract xml:lang="eng">Failure mode and effects analysis (FMEA) is a technique to reason about possible system hazards that result from system or system component failures. Traditionally, FMEA does not take the probabilities with which these failures may occur into account. Recently, this shortcoming was addressed by integrating stochastic model checking techniques into the FMEA process. A further improvement is the integration of techniques for the generation of counterexamples for stochastic models, which we propose in this paper. Counterexamples facilitate the redesign of a potentially unsafe system by providing information which components contribute most to the failure of the entire system. The usefulness of this novel approach to the FMEA process is illustrated by applying it to the case study of an airbag system provided by our industrial partner, the TRW Automotive GmbH.</dcterms:abstract>
    <dc:format>application/pdf</dc:format>
    <dc:rights>terms-of-use</dc:rights>
    <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2011-03-24T16:09:04Z</dc:date>
    <dspace:hasBitstream rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/6059/1/withCEXVis_article_PFMEA.pdf"/>
    <dc:creator>Aljazzar, Husain</dc:creator>
  </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
Diese Publikation teilen