Safety analysis of an airbag system using probabilistic FMEA and probabilistic counterexamples

QEST - 6th International Conference on the Quantitative Evaluation of Systems

Volumn , Issue , 2009, Pages 299-308

  Aljazzar, H ^a   Fischer, M ^b   Grunske, L ^c   Kuntz, M ^a   Leitner Fischer, F ^a   Leue, S ^a  

^a UNIVERSITY OF KONSTANZ   (Germany)

^b TRW Automotive GmbH   (Germany)

^c SWINBURNE UNIVERSITY OF TECHNOLOGY   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

AIRBAG SYSTEMS; ENTIRE SYSTEM; FAILURE MODE AND EFFECTS ANALYSIS; INDUSTRIAL PARTNERS; SAFETY ANALYSIS; SYSTEM COMPONENTS; SYSTEM HAZARDS; TRW AUTOMOTIVE;

FAILURE ANALYSIS; INTEGRATION; MODEL CHECKING; QUALITY ASSURANCE; SAFETY FACTOR; STOCHASTIC SYSTEMS;

STOCHASTIC MODELS;

EID: 74049156865     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/QEST.2009.8     Document Type: Conference Paper

References (24)

1. H. Aljazzar, M. Fischer, L. Grunske, M. Kuntz, F. Leitner, and S. Leue. Safety Analysis of an Airbag System using Probabilistic FMEA and Probabilistic Counter Examples. Technical Report soft-09-01, University of Konstanz, Chair for Software Engineering, 2009.
2. H. Aljazzar and S. Leue. Extended Directed Search for Probabilistic Timed Reachability. In Proceedings of FORMATS '06, volume LNCS 4202, pages 33-51. Springer, 2006.
3. H. Aljazzar and S. Leue. Debugging of Dependability Models Using Interactive Visualization of Counterexamples. In Proceedings of QEST 2008, pages 189-198. IEEE Computer Science Press, 2008.
4. *: A Directed On-The-Fly Algorithm for Finding the k Shortest Paths. Technical Report soft-08-03, University of Konstanz, Chair for Software Engineering, 2008.
5. A. Aziz, K. Sanwal, V. Singhal, and R. Brayton. Verifying continuous time Markov chains. In Computer-Aided Verification, volume LNCS 1102, pages 146-162. Springer, 1996.
6. C. Baier, B. Haverkort, H. Hermanns, and J. Katoen. Model-Checking Algorithms for Continuous-Time Markov Chains. IEEE Trans. Software Eng., 29(7):1-18, July 2003.
7. M. Bozzano, A. Cavallo, M. Cifaldi, L. Valacca, and A. Villafiorita. Improving Safety Assessment of Complex Systems: An Industrial Case Study. In Proceedings of FME 2003, volume LNCS 2805, pages 208-222. Springer, 2003.
8. M. Bozzano and A. Villafiorita. Improving System Reliability via Model Checking: The FSAP/NuSMV-SA Safety Analysis Platform. In Proceedings of SAFECOMP 2003, volume LNCS 2788, pages 49-62. Springer-Verlag, 2003.
9. T. Cichocki and J. Górski. Failure Mode and Effect Analysis for Safety-Critical Systems with Software Components. In Proceedings of SAFECOMP 2000, volume LNCS 1943, pages 382-394. Springer, 2000.
10. T. Cichocki and J. Górski. Formal Support for Fault Modelling and Analysis. In Proceedings of SAFECOMP 2001, volume LNCS 2187, pages 190-199. Springer, 2001.
11. J. Elmqvist and S. Nadjm-Tehrani. Formal support for quantitative analysis of residual risks in safety-critical systems. In Proceedings of HASE 2008, pages 154-164. IEEE Computer Society, 2008.
12. L. Grunske. Specification patterns for probabilistic quality properties. In Robby, editor, Proceedings of the International Conference on Software Engineering (ICSE 2008), pages 31-40. ACM, 2008.
13. L. Grunske, R. Colvin, and K. Winter. Probabilistic Model-Checking Support for FMEA. In Proceedings of QEST 2007, pages 119-128. IEEE Computer Science Press, 2007.
14. L. Grunske, B. Kaiser, and R. H. Reussner. Specification and Evaluation of Safety Properties in a Component-based Software Engineering Process. In Embedded Software Development with Components - An Overview on Current Research Trends, pages 737-738. Springer-Verlag, 2005.
15. L. Grunske, P. A. Lindsay, N. Yatapanage, and K. Winter. An Automated Failure Mode and Effect Analysis Based on High-Level Design Specification with Behavior Trees. In Proceedings of IFM 2005, volume LNCS 3771, pages 129-149. Springer, 2005.
16. H. A. Haapanen Pentti. Failure Mode and Effects Analysis of Software-based Automation Systems. Technical report, VTT Industrial Systems, Helsinki, STUK-YTO-TR 190, 37 pp, 2002.
17. T. Han and J.-P. Katoen. Counterexamples in Probabilistic Model Checking. In Proceedings of TACAS 2007, volume LNCS 4424, pages 60-75. Springer, 2007.
18. M. P. E. Heimdahl, Y. Choi, and M. W. Whalen. Deviation Analysis: A New Use of Model Checking. Automated Software Engineering, 12(3):321-347, 2005.
19. International Electrotechnical Commission. Analysis Techniques for System Reliability - Procedure for Failure Mode and Effects analysis (FMEA), IEC 60812, 1991.
20. International Electrotechnical Commission. Functional Safety of Electrical/Electronic/Programmable Electronic Safety-related Systems, IEC 61508, 2000.
21. International Organization for Standardization. Road Vehicles Functional Safety, ISO 26262 (Commitee Draft), 2008.
22. M. Kwiatkowska, G. Norman, and D. Parker. Probabilistic symbolic model checking with PRISM: A hybrid approach. International Journal on Software Tools for Technology Transfer (STTT), 6(2):128-142, 2004.
23. J. D. Reese and N. G. Leveson. Software Deviation Analysis. In Proceedings of ICSE 1997, pages 250-261. ACM Press, 1997.
24. K. S. Trivedi. Probability and statistics with reliability, queuing and computer science applications. John Wiley and Sons Ltd., 2002.