• Publications
  • Influence
Integrated tool chain for model-based design of Cyber-Physical Systems: The INTO-CPS project
TLDR
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
TLDR
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
TLDR
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
TLDR
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
TLDR
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
TLDR
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
TLDR
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
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
s of Keynote Talks Cyber Security in Railways: Quo Vadis?
...
...