Systerel est spécialisée dans les métiers 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.
Paris Open Source Summit 2019
Venez nous rencontrer au stand C21 sur le village du pôle Systematic ! Vous pourrez découvrir nos projets open-source et notamment notre implémentation OPC UA : Safe and Secure OPC.
Systerel se mobilise pour la recherche !
Plus de 20 collaborateurs de Systerel ont participé à Paris, Toulouse et Aix en Provence à la course solidaire Les Bacchantes ce mois-ci.
Une nouvelle version du langage HLL
Prochain forum de la communauté HLL le 21 novembre prochain à Paris !
