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).


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

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


    Weitere Titelangaben:

    State of the art: Data validation in the railway domain


    Beteiligte:


    Erscheinungsdatum :

    2007


    Format / Umfang :

    7 Seiten, 7 Bilder, 12 Quellen



    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Print


    Sprache :

    Französisch





    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