Author pages are created from data sourced from our academic publisher partnerships and public sources.
Share This Author
Integrated tool chain for model-based design of Cyber-Physical Systems: The INTO-CPS project
- P. Larsen, J. Fitzgerald, A. Sadovykh
- Computer Science2nd International Workshop on Modelling, Analysis…
- 11 April 2016
The INTO-CPS project is described, a project that aims to realise the goal of integrated tool chains for the collaborative and multidisciplinary engineering of dependable Cyber-Physical Systems (CPSs) and challenges facing model-based CPS engineering are described.
Formally Checking Large Data Sets in the Railways
This article presents industrial experience of validating large data sets against specification written using the B / Event-B mathematical language and the ProB model checker.
Applying a Formal Method in Industry: A 15-Year Trajectory
- T. Lecomte
- 4 November 2009
Industrial experience of applying the B formal method in the industry, on diverse application fields (railways, automotive, smartcard, etc.) is presented.
Safe and Reliable Metro Platform Screen Doors Control/Command Systems
- T. Lecomte
- Computer ScienceFM
- 26 May 2008
Some recent applications of the B formal method to the development of safety critical system, guaranteeing a correct by construction behaviour of the system in absence of failure of its components are presented.
Applying a Formal Method in Industry: A 25-Year Trajectory
Industrial applications involving formal methods are still exceptions to the general rule, but feedback provided by industry to academics is not as constructive as it might be.
The First Twenty-Five Years of Industrial Use of the B-Method
A survey of the industrial usage of the B-Method since the first toolset in 1993 and the inauguration of the driverless metro line 14 in Paris in 1999 is presented.
UML-B specification for proven embedded systems design
The UML-B Specification and Hardware Implementation of a Hamming Coder/Decoder and the PUSSEE Method in Practice are presented.
Formal Methods in Safety-Critical Railway Systems
Some recent applications of the B formal method to the development of safety critical systems, namely platform screen door controllers, which have their functional specification based on a formal model.
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
This book constitutes the refereed proceedings of the First International Conference on Reliability, Safety, and Security of Railway Systems, RSSRail 2016, held in Paris, France, in June 2016. The 15…