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.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Industrial Applications for Modeling with the B Method


    Beteiligte:
    Boulanger, Jean‐Louis (Herausgeber:in) / Lecomte, Thierry (Autor:in)


    Erscheinungsdatum :

    2014-06-26


    Format / Umfang :

    22 pages




    Medientyp :

    Aufsatz/Kapitel (Buch)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch




    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


    Empirical modeling of uncertainty in vision systems for industrial robotic applications

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

    Freier Zugriff

    Industrial ComFliTe Applications

    Bleecke, H. / Stickan, B. | British Library Conference Proceedings | 2013


    Industrial ComFliTe Applications

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