In case of parameterised system, software validation is not sufficient to ensure the required level of safety assurance. In this article, the authors present the problem of data validation. Therefore, safety constants must be validated in a formal way. They describe the process, which has been chosen by the RATP Verification and Validation team in charge of Paris metro system SAET-METEOR (Metro Est Ouest Rapide - high-speed east-west metro).


    Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Etat de l'art de la validation des donnees dans le domaine ferroviaire


    Additional title:

    State of the art: Data validation in the railway domain


    Contributors:


    Publication date :

    2007


    Size :

    7 Seiten, 7 Bilder, 12 Quellen



    Type of media :

    Article (Journal)


    Type of material :

    Print


    Language :

    French





    La recherche communautaire dans le domaine de la telematique ferroviaire

    Grillo, P. / Association of American Railroads| Railway Technical Research Institute, Japan | British Library Conference Proceedings | 1994