KOPS - Das Institutionelle Repositorium der Universität Konstanz

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

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

Zitieren

Dateien zu dieser Ressource

Prüfsumme: MD5:84982c872ce13e2646a5b60d6e6931e0

ALJAZZAR, 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. Sep 2009 - 16. Sep 2009. In: 2009 Sixth International Conference on the Quantitative Evaluation of Systems. 2009 Sixth International Conference on the Quantitative Evaluation of Systems (QEST). Budapest, Hungary, 13. Sep 2009 - 16. Sep 2009. IEEE, pp. 299-308. ISBN 978-0-7695-3808-2

@inproceedings{Aljazzar2009-09Safet-6059, title={Safety Analysis of an Airbag System using Probabilistic FMEA and Probabilistic Counter Examples}, year={2009}, doi={10.1109/QEST.2009.8}, 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 xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:bibo="http://purl.org/ontology/bibo/" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:dcterms="http://purl.org/dc/terms/" xmlns:xsd="http://www.w3.org/2001/XMLSchema#" > <rdf:Description rdf:about="https://kops.uni-konstanz.de/rdf/resource/123456789/6059"> <dc:format>application/pdf</dc:format> <dc:creator>Kuntz, Matthias</dc:creator> <dc:creator>Leue, Stefan</dc:creator> <bibo:uri rdf:resource="http://kops.uni-konstanz.de/handle/123456789/6059"/> <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> <dc:language>eng</dc:language> <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2011-03-24T16:09:04Z</dc:date> <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:contributor>Aljazzar, Husain</dc:contributor> <dc:creator>Fischer, Manuel</dc:creator> <dcterms:issued>2009-09</dcterms:issued> <dc:creator>Aljazzar, Husain</dc:creator> <dcterms:rights rdf:resource="http://nbn-resolving.org/urn:nbn:de:bsz:352-20140905103416863-3868037-7"/> <dcterms:title>Safety Analysis of an Airbag System using Probabilistic FMEA and Probabilistic Counter Examples</dcterms:title> <dc:contributor>Grunske, Lars</dc:contributor> <dc:contributor>Leitner-Fischer, Florian</dc:contributor> <dc:rights>deposit-license</dc:rights> <dc:contributor>Kuntz, Matthias</dc:contributor> <dc:contributor>Leue, Stefan</dc:contributor> <dc:creator>Grunske, Lars</dc:creator> <dc:creator>Leitner-Fischer, Florian</dc:creator> <dc:contributor>Fischer, Manuel</dc:contributor> </rdf:Description> </rdf:RDF>

Dateiabrufe seit 01.10.2014 (Informationen über die Zugriffsstatistik)

withCEXVis_article_PFMEA.pdf 266

Das Dokument erscheint in:

KOPS Suche


Stöbern

Mein Benutzerkonto