Abstract-Underkännande läge och effekter analys (FMEA) är en teknik för att resonera om eventuella systemrisker som beror på system eller systemkomponenter fel. Traditionellt tar FMEA inte hänsyn till de sannolikheter med vilka dessa misslyckanden kan inträffa. Nyligen togs denna brist upp genom att integrera stokastiska modellkontrolltekniker i FMEA-processen. En ytterligare förbättring är integreringen av teknik för generering av motexempel för stokastiska modeller, vilket vi föreslår i detta dokument. Motexempel underlättar omkonstruktionen av ett potentiellt osäkert system genom att tillhandahålla information om vilka komponenter som bidrar mest till hela systemets misslyckande. Nyttan av denna nya metod för FMEA-processen illustreras genom att den tillämpas på fallstudien av ett krockkuddesystem som tillhandahålls av vår industripartner, TRW Automotive GmbH.
I REF används probabilistisk modellkontroll för att identifiera vilka komponenter som bidrar mest till systemfel.
Safety Analysis of an Airbag System Using Probabilistic FMEA and Probabilistic Counterexamples
{'venue': '2009 Sixth International Conference on the Quantitative Evaluation of Systems', 'journal': '2009 Sixth International Conference on the Quantitative Evaluation of Systems', 'mag_field_of_study': ['Computer Science']}