Welcome to the InfoSci Platform
Reference Hub4
The ForMoSA Approach to Qualitative and Quantitative Model-Based Safety Analysis

The ForMoSA Approach to Qualitative and Quantitative Model-Based Safety Analysis

Axel Habermaier, Matthias Güdemann, Frank Ortmeier, Wolfgang Reif, Gerhard Schellhorn
Copyright: © 2012 |Pages: 50
ISBN13: 9781466616431|ISBN10: 1466616431|EISBN13: 9781466616448
DOI: 10.4018/978-1-4666-1643-1.ch004
Cite Chapter Cite Chapter

MLA

Habermaier, Axel, et al. "The ForMoSA Approach to Qualitative and Quantitative Model-Based Safety Analysis." Railway Safety, Reliability, and Security: Technologies and Systems Engineering, edited by Francesco Flammini, IGI Global, 2012, pp. 65-114. https://doi.org/10.4018/978-1-4666-1643-1.ch004

APA

Habermaier, A., Güdemann, M., Ortmeier, F., Reif, W., & Schellhorn, G. (2012). The ForMoSA Approach to Qualitative and Quantitative Model-Based Safety Analysis. In F. Flammini (Ed.), Railway Safety, Reliability, and Security: Technologies and Systems Engineering (pp. 65-114). IGI Global. https://doi.org/10.4018/978-1-4666-1643-1.ch004

Chicago

Habermaier, Axel, et al. "The ForMoSA Approach to Qualitative and Quantitative Model-Based Safety Analysis." In Railway Safety, Reliability, and Security: Technologies and Systems Engineering, edited by Francesco Flammini, 65-114. Hershey, PA: IGI Global, 2012. https://doi.org/10.4018/978-1-4666-1643-1.ch004

Export Reference

Mendeley
Favorite

Abstract

This chapter presents ForMoSA (FORmal MOdels and Safety Analysis), an integrated approach for the safety assessment of safety-critical embedded systems. The approach brings together the best of engineering practice, formal methods, and mathematics: traditional safety analysis, temporal logics and verification, as well as statistics and optimization. These three orthogonal techniques cover three different aspects of safety: fault tolerance, functional correctness, and quantitative analysis. The ForMoSA approach combines these techniques to assess system safety in a structured and formal way. Furthermore, the tight combination of methods from different analysis domains results in mutual benefits. The combined approach yields results which cannot be produced by any single technique on its own. The methodology was applied to several case studies from different industrial domains. One of them is an autonomous control of level crossings using radio-based communication, which is used in this chapter to describe the individual steps of the ForMoSA methodology.

Request Access

You do not own this content. Please login to recommend this title to your institution's librarian or purchase it from the IGI Global bookstore.