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.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Industrial Applications for Modeling with the B Method


    Contributors:


    Publication date :

    2014-06-26


    Size :

    22 pages




    Type of media :

    Article/Chapter (Book)


    Type of material :

    Electronic Resource


    Language :

    English




    Industrial Base Sustainment through Risk Modeling with Model-Based Systems Engineering Applications

    Patria, Garett Scott / Mynderse, James A. | SAE Technical Papers | 2017


    Industrial Applications

    Online Contents | 1993


    Industrial ComFliTe Applications

    Bleecke, Hans / Stickan, Bernd | Springer Verlag | 2013


    Industrial Robot Applications

    Mathes, A. L. | IEEE | 1984


    Empirical modeling of uncertainty in vision systems for industrial robotic applications

    FINAZZI, Francesco / FASSO', Alessandro / BRUGALI, Davide | BASE | 2008

    Free access