30 septembre 2013
CLEARSY contribue à un séminaire technique organisé par l’Université de Newcastle le 24 octobre 2013.
Les méthodes formelles sont utilisées dans le monde entier pour améliorer la sécurité dans plusieurs applications ferroviaires, à différents niveaux et avec un large éventail de résultats obtenus. Cette présentation a pour but de fournir un aperçu unifié (non agnostique) des pratiques existantes et d’évaluer dans quelle mesure la sécurité est assurée.
À cette occasion, quelques exemples de validation de données ferroviaires seront présentés.