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.

BLAST

Assistance automatisée à l’implantation de balises ferroviaires

OVADO²®

Validation formelle automatisée de données de configuration

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

Systerel Smart Solver

Vérification formelle de systèmes ou logiciels développés en SCADE, C ou Ada