KOPS - The Institutional Repository of the University of Konstanz

Safety analysis of an airbag system using probabilistic FMEA and probabilistic counter examples

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.)

Safety analysis of an airbag system using probabilistic FMEA and probabilistic counter examples

Cite This

Files in this item

Checksum: MD5:f719d424f8b61f445ad7bd19767c3ec2

ALJAZZAR, Husain, Manuel FISCHER, Lars GRUNSKE, Matthias KUNTZ, Florian LEITNER, Stefan LEUE, 2009. Safety analysis of an airbag system using probabilistic FMEA and probabilistic counter examples

@techreport{Aljazzar2009Safet-21291, series={Technical Report soft;09-01}, title={Safety analysis of an airbag system using probabilistic FMEA and probabilistic counter examples}, year={2009}, author={Aljazzar, Husain and Fischer, Manuel and Grunske, Lars and Kuntz, Matthias and Leitner, 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/21291"> <dc:creator>Fischer, Manuel</dc:creator> <dc:contributor>Aljazzar, Husain</dc:contributor> <dc:contributor>Leue, Stefan</dc:contributor> <dc:rights>terms-of-use</dc:rights> <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2013-01-30T09:55:45Z</dcterms:available> <bibo:uri rdf:resource="http://kops.uni-konstanz.de/handle/123456789/21291"/> <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2013-01-30T09:55:45Z</dc:date> <foaf:homepage rdf:resource="http://localhost:8080/jspui"/> <dc:contributor>Kuntz, Matthias</dc:contributor> <dcterms:title>Safety analysis of an airbag system using probabilistic FMEA and probabilistic counter examples</dcterms:title> <dcterms:issued>2009</dcterms:issued> <dc:creator>Leitner, Florian</dc:creator> <dc:contributor>Grunske, Lars</dc:contributor> <dc:creator>Leue, Stefan</dc:creator> <dcterms:hasPart rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/21291/1/Aljazzar_212918.pdf"/> <dc:creator>Kuntz, Matthias</dc:creator> <dspace:hasBitstream rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/21291/1/Aljazzar_212918.pdf"/> <dcterms:rights rdf:resource="https://rightsstatements.org/page/InC/1.0/"/> <dc:language>eng</dc:language> <dc:contributor>Fischer, Manuel</dc:contributor> <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/> <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/rdf/resource/123456789/36"/> <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/rdf/resource/123456789/36"/> <dc:contributor>Leitner, Florian</dc:contributor> <dc:creator>Grunske, Lars</dc:creator> <dc:creator>Aljazzar, Husain</dc:creator> <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 counter examples for stochastic models, which we propose in this paper. Counter examples 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> </rdf:Description> </rdf:RDF>

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

Aljazzar_212918.pdf 948

This item appears in the following Collection(s)

Search KOPS


Browse

My Account