Le 23ème congrès de l’Institut pour la Maîtrise des Risques (IMdR) sur le thème « Innovations et maîtrise des risques pour un avenir durable » se tiendra du 10 au 13 octobre à Paris (EDF Lab Paris-Saclay).
Systerel interviendra le 11 octobre, lors de la session « ingénierie des modèles », avec une présentation sur le sujet « Back-to-Back Testing : méthodes formelles pour maîtriser la conformité des implémentations logicielles ».
Le Back-to-Back Testing (B2BT) est un procédé de génération automatique de tests basé sur de la modélisation et des méthodes formelles.
L’article, co-écrit avec EDF R&D Prisme, présente la technologie du Back-to-Back Testing et ses applications en milieu industriel, en s’appuyant sur une première collaboration industrielle réussie avec EDF.