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
-
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.
Article de blog : l'outil d’automatisation Expect
Dans cet article, nous nous intéressons à l'outil d’automatisation Tcl/Expect et plus particulièrement à son implémentation Ada au travers de GNAT.Expect.
En utilisant cet outil, il est possible de contrôler facilement des applications tierces au travers d'un mécanisme de questions/réponses attendues (expect).
S2OPC fonctionne dorénavant avec PikeOS pour une sécurité améliorée
La cybersécurité devenant l'un des défis les plus critiques de l'industrie 4.0, S2OPC - l'implémentation sûre et sécurisée d'OPC UA - offre désormais des fonctionnalités encore plus sécurisées grâce à son intégration avec PikeOS.
Conférence ABZ 2023
Nos équipes participeront à la 9ᵉ Conférence Internationale ABZ, qui se tiendra à Nancy du 31 mai au 2 juin 2023.Cette année, Systerel co-organisera l’atelier destiné aux utilisateurs et aux développeurs de Rodin.
La plate-forme Rodin est dédiée au développement en B événementiel, supportant de façon robuste le raffinement de modèles et la preuve mathématique.
