Le centre d’expertise « Modélisation formelle et preuve » de Systerel constitue l’une des plus importantes équipes européennes sur le sujet et dispose d’une expérience de plus de 20 ans dans la mise en œuvre industrielle des techniques formelles.
Pourquoi utiliser les méthodes formelles ? Systerel est l’un des leaders dans l’utilisation de la méthode B pour le développement de logiciels critiques dans un cadre industriel. Systerel intervient sur des activités de conseil et d’expertise autour de la mise en œuvre de SCADE et de son couplage à d’autres technologies. Vérification formelle de systèmes ou logiciels développés en SCADE, C ou Ada Systerel utilise le langage HLL depuis de nombreuses années maintenant dans le cadre de vérifications formelles de logiciels ou systèmes critiques comme des CBTC, des postes de signalisation mais également des circuits logiques de contrôle-commande et autres usages nécessitant l’expression de contraintes à vérifier. Systerel est le leader technique de la plate-forme RODIN en assurant sa maintenance et ses évolutions.Utilisation des méthodes formelles
Quelles techniques pour quelle problématique ?Méthode B
SCADE
Systerel Smart Solver
Langage HLL
Plate-forme RODIN