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.
Forum Entreprises ISMIN
Systerel viendra échanger avec les étudiants de l’école des Mines de Saint-Etienne lors du Forum Entreprises 2021.
Métro de Singapour
Mise à niveau du système de supervision du métro de Singapour par Alstom : le dépôt de la ligne de métro "Circle Line 6" héberge désormais le logiciel assurant l'interface entre salle de contrôle et équipements terrain développé par les équipes Systerel.
Langage HLL pour la vérification formelle de logiciels ou systèmes critiques
Systerel publie une nouvelle version du document de spécification du langage HLL (HLL LFD) et le soumet à la prochaine revue du HLL Forum de manière à converger sur la nouvelle définition du langage en collaboration avec les autres acteurs de la communauté.
