Systematic model-based safety assessment via probabilistic model checking

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6415 LNCS, Issue PART 1, 2010, Pages 625-639

  Gomes, Adriano ^a   Mota, Alexandre ^a   Sampaio, Augusto ^a   Ferri, Felipe ^b   Buzzi, Julio ^b  

^a FEDERAL UNIVERSITY OF PERNAMBUCO   (Brazil)

^b EMBRAER S A   (Brazil)

Author keywords

Aircraft Systems; Markov Analysis; Prism; Probabilistic Model Checking; Quantitative Safety Assessment

Indexed keywords

AIRCRAFT SYSTEMS; CERTIFICATION AUTHORITIES; FAULT-TREES; HIGH-LEVEL MODELS; MARKOV ANALYSIS; MARKOV MODEL; MODEL CHECKER; PROBABILISTIC MODEL CHECKING; PROBABILISTIC MODELS; SAFETY ASSESSMENTS; SAFETY REQUIREMENTS; SYSTEM DESIGN; SYSTEMATIC MODELS; TRANSLATION RULES;

FAULT TREE ANALYSIS; FORMAL METHODS; MARKOV PROCESSES; PRISMS; QUALITY ASSURANCE; RATING; RELIABILITY; SAFETY ENGINEERING; SYSTEMS ANALYSIS;

MODEL CHECKING;

EID: 78650261162     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-16558-0_50     Document Type: Conference Paper

References (23)

1. Serra, P.R.: Safety Assessment of aircraft systems, 2nd edn (2008)
2. ARP 4761: Guidelines and Methods for Conducting the Safety Assessment Process on Civil Airborne Systems, SAE Inc. (November 1996)
3. Stamatelatos, M., et al.: Fault Tree Handbook with Aerospace Applications. NASA Office of Safety and Mission Assurance, Washington (August 2002)
4. Mota, A., Gomes, A., Jesus, J., Ferri, F., Watanabe, E.: Evolving a Safe System Design Iteratively. Accepted for publication in Proceedings of SAFECOMP (2010)
5. Papadopoulos, Y., McDermid, J., Sasse, R., Heiner, G.: Analysis and synthesis of the behaviour of complex programmable electronic systems in conditions of failure. Reliability Engineering & System Safety 71(3), 229-247 (2001) (Pubitemid 32077202)
6. Alexander, R.D., Kelly, T.P.: Escaping the non-quantitative trap. In: 27th International System Safety Conference, pp. 69-95 (2009)
7. Kwiatkowska, M., Norman, G., Parker, D.: PRISM: Probabilistic Model Checking for Performance and Reliability Analysis. ACM SIGMETRICS Performance Evaluation Review 36(4), 40-45 (2009)
8. Kwiatkowska, M., Norman, G., Parker, D.: Quantitative analysis with the Probabilistic Model Checker PRISM. Electronic Notes in Theoretical Computer Science 153(2), 5-31 (2005)
9. The MathWorks Inc. Simulink User's Guide (2008)
10. McDermid, J.A., Lisagor, O., Pumfrey, D.J.: Towards a Practicable Process for Automated Safety Analysis. In: 24th Int. System Safety Conference, pp. 596-607 (2006)
11. Joshi, A., Heimdahl, M.P.: Model-Based Safety Analysis of Simulink Models Using SCADE Design Verifier. In: Winther, R., Gran, B.A., Dahll, G. (eds.) SAFECOMP 2005. LNCS, vol. 3688, pp. 122-135. Springer, Heidelberg (2005)
12. Software considerations in airborne systems and equipment certification. DO-178B, RTCA Inc., Washington D.C. (December 1992)
13. Kerlund, O.A., et al.: ISAAC, A framework for integrated safety analysis of functional, geometrical and human aspects. In: ERTS (2006)
14. Papadopoulos, Y., Maruhn, M.: Model-based synthesis of fault trees from Matlab-Simulink models. In: Inter. Conference on Dependable Systems and Networks (2001)
15. Bozzano, M., Villafiorita, A.: Improving system reliability via model checking: The FSAP/NuSMV-SA safety analysis platform. In: Anderson, S., Felici, M., Littlewood, B. (eds.) SAFECOMP 2003. LNCS, vol. 2788, pp. 49-62. Springer, Heidelberg (2003)
16. Haverkort, B.R.: Markovian models for performance and dependability evaluation. In: Brinksma, E., Hermanns, H., Katoen, J.-P. (eds.) EEF School 2000 and FMPA 2000. LNCS, vol. 2090, pp. 38-83. Springer, Heidelberg (2001)
17. Saglimbene, M. S.: Reliability analysis techniques: How they relate to aircraft certification. In: Reliability and Maintainability Symposium, pp. 218-222 (2009)
18. Grunske, L., Colvin, R., Winter, K.: pFMEA: Probabilistic Model-Checking Support for FMEA. In: 4th Int. Conference on the QEST (2007)
19. Gomes, A.: Technical Report, http://www.cin.ufpe.br/~ajog/tr.pdf
20. Siewiorek, D., Swarz, R.: Reliable Computer System: Design and Evaluation, 3rd edn (1998)
21. Aljazzar, H., et al.: Safety Analysis of an Airbag System Using Probabilistic FMEA and Probabilistic Counterexamples. In: QEST, pp. 299-308 (2009)
22. Bozzano, M., et al.: The COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems. In: Proceedings of the 28th Int. Conference on Computer Safety, Reliability and Security, September 15-18 (2009)
23. Alejandro, D., et al.: An integrated methodology for the dynamic performance and reliability evaluation of fault-tolerant systems. Reliability Engineering & System Safety 93(11), 1628-1649 (2008)