creators_name: lecomte, thierry creators_name: servat, thierry creators_id: thierry.lecomte@clearsy.com creators_id: thierry.servat@clearsy.com type: conference_item datestamp: 2008-01-07 11:57:46 lastmod: 2010-04-19 15:05:49 metadata_visibility: show title: Formal Methods in Safety-Critical Railway Systems ispublished: pub full_text_status: public pres_type: paper abstract: 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 event_title: 10th Brasilian Symposium on Formal Methods event_location: Ouro Preto (Brazil) event_dates: 29-31 August 2007 event_type: conference refereed: TRUE citation: 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). document_url: http://deploy-eprints.ecs.soton.ac.uk/8/1/fm_sc_rs_v2.pdf