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).
Etat de l'art de la validation des donnees dans le domaine ferroviaire
State of the art: Data validation in the railway domain
2007
7 Seiten, 7 Bilder, 12 Quellen
Article (Journal)
French
Application des techniques ciment-béton dans le domaine routier. Etat de l'art
Online Contents | 1994
|La recherche communautaire dans le domaine de la telematique ferroviaire
British Library Conference Proceedings | 1994
|ACTUALITE INTERNATIONALE - CANADA : Bombardier se renforce dans le domaine ferroviaire
Online Contents | 2000
Intermodalité - Fret ferroviaire : un état des lieux
Online Contents | 2007