The B method was introduced at the end of the 1980s to produce software that is correct by construction. This chapter discusses the uses of B method for control‐command systems for controlling platform doors of metro trains, and safety of microelectronic components. For several years now, the RATP in France has used platform doors on metro platforms to avoid passengers falling onto the track. A system of this kind is in use for the driverless SAET‐METEOR metro. In parallel with its use for safety systems and software in railways, the B method has also been used in microelectronics and in chip cards for safety applications. One example of this is the development of a Java bytecode verifier by Gemplus, and another example is the validation of a secured operating system based on microkernels.
Industrial Applications for Modeling with the B Method
2014-06-26
22 pages
Aufsatz/Kapitel (Buch)
Elektronische Ressource
Englisch
Industrial Base Sustainment through Risk Modeling with Model-Based Systems Engineering Applications
SAE Technical Papers | 2017
|Online Contents | 1993
Empirical modeling of uncertainty in vision systems for industrial robotic applications
BASE | 2008
|Industrial ComFliTe Applications
British Library Conference Proceedings | 2013
|Industrial ComFliTe Applications
Springer Verlag | 2013
|