Séminaire technique à l’Université de Newcastle

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.