Sciweavers

Share
FM
2008
Springer

Safe and Reliable Metro Platform Screen Doors Control/Command Systems

9 years 7 months ago
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.
Thierry Lecomte
Added 26 Oct 2010
Updated 26 Oct 2010
Type Conference
Year 2008
Where FM
Authors Thierry Lecomte
Comments (0)
books