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 15 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 est le leader technique de la plate-forme RODIN en assurant sa maintenance et ses évolutions. Systerel a développé des solutions exploitant les méthodes formelles pour gagner en qualité et en productivité sur des activités de vérification et validation.Utilisation des méthodes formelles
Quelles techniques pour quelle problématique ?Méthode B
SCADE
Systerel Smart Solver
Plate-forme RODIN
Outils de Vérification & Validation