Industrial deployment of system engineering methods providing high dependability and productivity


Formal Methods in Safety-Critical Railway Systems

lecomte, thierry and servat, thierry (2007) Formal Methods in Safety-Critical Railway Systems. In: 10th Brasilian Symposium on Formal Methods, 29-31 August 2007, Ouro Preto (Brazil).

PDF (Formal Methods in Safety-Critical Railway Systems)


In this article we would like to present some recent applications of the B formal method to the development of safety critical systems, namely platform screen door controllers. 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.

Item Type:Conference or Workshop Item (Paper)
ID Code:8
Deposited By:mr thierry lecomte
Deposited On:07 Jan 2008 11:57
Last Modified:19 Apr 2010 16:05

Repository Staff Only: item control page

Deploy-Project - All right reserved