Patrimony
The Louis Bachelier Group's patrimony has been defined as all the publications produced by academic researchers thanks to Group funding (ILB, FdR, IEF, Labex) or via the use of EquipEx data (BEDOFIH, EUROFIDAI).
Graphical models for the assessment of safety and risk analysis of systems in the presence of uncertainties.
ERTMS, Reliability analysis, Risk assessment, SdF, SdS, SoS, Statecharts, Systems of Systems, Système ferroviaire, Systèmes de systèmes, Sûreté de fonctionnement, Théorie des fonctions de croyances, Uncertainty, VBS, Valuation-based system
Modeling and evaluation of the availability of an ERTMS level 2 railway signalling system.
Disponibilité, Défaillances réseaux, ERTMS, ETCS, Facteur humain, Statechart, Système de Systèmes SdS
Two methods for modeling and verification of safety properties of railway infrastructures.
Comparative studies, ERTMS, European rail traffic management systems, Model based approach, Modeling and verifications, Railroad plant and structures, Railroad traffic control, Railroad transportation, Railroads, Rails, Railway infrastructure, Safety engineering, State machine, Verification Strategy