Formal Description and Modeling of Risks
Jean‐Louis Boulanger · 2014
This chapter shows that system risk analysis can be carried out using a formal model. This formal model is used as a reference point, as a tool to support reflection and as a tool for analyzing the impact of changes. This book provides an approach for the formalization and monitoring of risks, taking account of the requirements of system components. The proposed methodology is based on use of the formal method known as the “B method”. The chapter presents the standard safety procedures used for rail transport systems, and establishes a methodological context. It presents a case study, analyzing the risk of collision between two trains. The chapter defines a risk mastery process, which allows designing a safe system rather than demonstrating the safety of system at the end of the development process. It explains the perimeters of the study by establishing environmental characteristics and a list of risks.