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.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    SACEM software validation


    Weitere Titelangaben:

    Die Validierung der SACEM-Software


    Beteiligte:
    Guiho, G. (Autor:in) / Hennebert, C. (Autor:in)


    Erscheinungsdatum :

    1990


    Format / Umfang :

    6 Seiten




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




    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 Online Contents | 1998