Systerel est spécialisée dans le domaine du logiciel critique et de la sûreté de fonctionnement
Produits
-
Safe & Secure OPC
Implémentation libre et sécurisée du protocole OPC-UA
-
Systerel Smart Solver
Vérification formelle de systèmes ou logiciels développés en SCADE, C, Ada
-
OVADO 2
Validation formelle automatisée de données de configuration
-
Systerel IXL Builder
Conception d’automatismes formellement prouvée + génération automatique du code cible
Dans le cadre de sa croissance,
Systerel est à la recherche de nouveaux talents.
Intégration de S2OPC au cœur des systèmes ferroviaires
Ces dernières années, Alstom a fait confiance à Systerel pour le développement d'interfaces de communication entre ses systèmes de supervision et différents équipements de signalisation.
Ada Europe 2021
Cette année encore, Systerel est partenaire de la 25ème conférence « International Conference on Reliable Software Technologies » organisée par Ada-Europe qui se tiendra virtuellement du 7 au 11 juin prochains.
Zephyr Developer Summit 2021
Dans le cadre de nos développements autour de S2OPC, nous interviendrons le mercredi 9 juin prochain pour présenter notre retour d’expérience sur le déploiement du protocole OPC UA sur Zephyr durant le Zephyr Developer Summit organisé par The Zephyr Project.
