Safe and Reliable Metro Platform Screen Doors Control/Command Systems

In this article we would like to present some recent applications of the B formal method to the development of safety critical system. These SIL3/SIL41 compliant systems have their functional specification based on a formal model. This model has been proved, guaranteeing a correct by construction behaviour of the system in absence of failure of its components. The constructive process used during system specification and design leads to a high quality system which has been qualified2 by French authorities.

• Type: Conference
• Year: 2008
• Where: FM
• Authors: Thierry Lecomte
• Keywords: FM 2008, Formal Method, Formal Methods, Formal Model, Safety Critical System