title: Formal Methods in Safety-Critical Railway Systems
creator: lecomte, thierry
creator: servat, thierry
description: 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.
date: 2007-08-30
type: Conference or Workshop Item
type: PeerReviewed
format: application/pdf
identifier: http://deploy-eprints.ecs.soton.ac.uk/8/1/fm_sc_rs_v2.pdf
identifier:   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).     
relation: http://deploy-eprints.ecs.soton.ac.uk/8/

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