Dans le cadre du projet de R&D collaboratif AIDOaRT, CLEARSY va développer un module dans le prouveur interactif de l’Atelier B qui peut apprendre du développeur la preuve interactive de théorèmes et l’adapter aux preuves non résolues.
Le projet s’inscrit dans la lignée de la R&D de la dernière décennie sur la connexion avec des prouveurs/solveurs tiers. Des applications directes au développement de logiciel critique pour la sécurité sont attendues, en particulier pour les applications SIL4 dans le ferroviaire et pour soutenir le développement de logiciels formels avec la CLEARSY Safety Platform.
Au carrefour de l’ingénierie logicielle, du MDE et de l’intelligence artificielle, AIDOaRT est un projet H2020-ECSEL d’une durée de trois ans auquel participent 36 organisations. Il se concentre sur l’automatisation augmentée par l’IA pour la modélisation, le codage, les tests, la surveillance et le développement continu des systèmes cyber-physiques (CPS).