TY  - CONF
ID  - deploy8
UR  - http://deploy-eprints.ecs.soton.ac.uk/8/
A1  - lecomte, thierry
A1  - servat, thierry
Y1  - 2007/08/30/
N2  - 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.
TI  - Formal Methods in Safety-Critical Railway Systems
AV  - public
M2  - Ouro Preto (Brazil)
T2  - 10th Brasilian Symposium on Formal Methods
ER  -

<script src='//archive-bar.soton.ac.uk/archive-bar.js'></script>