Systerel est spécialisée dans le domaine du logiciel critique et de la sûreté de fonctionnement
COVID-19
Continuité des activités : en savoir plus
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.
COVID-19 : continuité des activités
Suite aux dernières dispositions sanitaires du gouvernement, Systerel a décidé d’appliquer un plan de continuité à même d’assurer de manière quasi-transparente une continuité de service indispensable à la réussite des projets de ses clients.
Le blog Systerel !
Systerel ouvre son blog dédié aux sujets techniques. Nous imaginons par ce biais pouvoir vous fournir une meilleure information sur nos produits et sur notre façon de travailler, mais aussi des guides techniques pour aborder certains problèmes.
Premier meetup Ada France
Le premier meetup Ada France se tiendra le jeudi 26 mars de 9h à 12h sur le campus Pierre et Marie Curie (Sorbonne Université).
