The authors report on the software validation process for SACEM, a partly embedded system (hard and soft) which continuously controls the speed of all trains on the RER Line A in Paris. Modern techniques have been used for validation, including formal specification, assertions, and formal proofs. About 100 man-years have been spent in validating the software. The authors conclude that a safe system has been realized and that all the formal work was useful, essentially to make the specifications more precise.


    Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    SACEM software validation


    Additional title:

    Die Validierung der SACEM-Software


    Contributors:
    Guiho, G. (author) / Hennebert, C. (author)


    Publication date :

    1990


    Size :

    6 Seiten




    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English




    Software validation standards

    Rudram, D. / International Council on Alcohol, Drugs, and Traffic Safety | British Library Conference Proceedings | 2004


    Software Validation Facilities

    Hjortnaes, K. | British Library Online Contents | 1997


    Software Validation Facilities

    Hjortnaes, K. / Eurospace | British Library Conference Proceedings | 1997


    Software Validation Facilities

    Louvel, A. / Jacqz, T. / European Space Agency | British Library Conference Proceedings | 2011


    Assistance in Software Validation

    Arnould, A. / Baudin, P. / Collart, J. M. et al. | British Library Conference Proceedings | 1998