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²®
Validation formelle automatisée de données de configuration
-
BLAST
Assistance automatisée à l’implantation de balises ferroviaires
Dans le cadre de sa croissance,
Systerel est à la recherche de nouveaux talents.
Semaine de l’industrie : Systerel s’engage avec Elles bougent
À l'occasion de la semaine de l'industrie, Systerel a accueilli des lycéennes du Lycée Les Iscles à Manosque.
Une journée forte en émotions et en partage, aux côtés de l’association Elles bougent, pour contribuer à l’attractivité des filières de l'ingénierie et des métiers de l'informatique !
La gestion des certificats dans les systèmes industriels
Systerel est fière de contribuer à l'événement : « L’importance croissante des certificats gérés dans les systèmes industriels et OT ».
Vincent Lacroix, expert chez Systerel, animera une session sur la gestion des certificats OPC UA dans les systèmes industriels.
Nouveautés du langage Ada2022
Découvrez les nouveautés du langage Ada2022 !
Dans cet article, plongez au cœur des dernières évolutions à travers des exemples pratiques.
