Safe & Secure OPC Implémentation libre et sécurisée du protocole OPC UA Systerel IXL Builder Conception d’automatismes formellement prouvée + génération automatique du code cible OVADO 2 Validation formelle automatisée de données de configuration Systerel Smart Solver Vérification formelle de systèmes ou logiciels développés en SCADE, C, Ada
Systerel IXL Builder Conception d’automatismes formellement prouvée + génération automatique du code cible