B-RAIL : Risk analysis and specification

In this context, the European GaLoROI project (Galileo Localisation for Railway Operation Innovation) seeks to de- velop a new safety application-relevant localisation system

From the point of view of users, the data communication system in the CBTC application is considered as failed when the train does not receive a valid MA that corresponds to

This model is now analyzed with formal FTA (see Sect. The interesting hazard is a situation, where a train passes the crossing, while the bars are not closed.. will call this

L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des

In this paper, we propose several metrics that allow an efficient analysis of a system right after the specification of the application (tasks graph) before any design flow

Thus, modeling process goes from functional or dysfunctional analysis using fault tree analysis (FTA) as the underlying mathematical tool to obtain structural model

In this paper, we model the Feared Event (Collision between train and vehicle) of the Moroccan level crossing using Fault Trees.. We also taken into account

The UML models are then translated into Event-B models for the systems validation as well as the verification of safety properties using B tools.. This