Pour le 10e symposium international sur l’exploitation des applications des méthodes formelles, de la vérification et de la validation (ISOLA 2021), CLEARSY va présenter deux exposés dans deux sessions distinctes :
- Modélisation numérique dans les chemins de fer
Cet exposé présente quelques-unes des diverses activités de modélisation numérique, y compris les activités formelles, qui sont entreprises par l’industrie ferroviaire pour la conception, le développement, la validation, la qualification et l’exploitation. Il présente également les tendances au regroupement des modèles afin d’obtenir des résultats plus significatifs et une portée plus large, préfigurant les jumeaux numériques.
- Assurer la sécurité avec la modélisation au niveau système
Cet exposé met en évidence les avancées récentes dans le domaine de la modélisation au niveau du système, visant à démontrer la sécurité des systèmes de signalisation ferroviaire, qui reste gérable par l’ingénieur de signalisation et compréhensible par le destinataire de l’étude.