Systerel propose une gamme de solutions innovantes destinées à réduire le coût de développement et le time-to-market des systèmes de ses clients.

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 ou Ada

Systerel IXL Builder

Conception d’automatismes formellement prouvée & génération automatique du code cible

Safe & Secure OPC

Implémentation libre et sécurisée du protocole OPC UA