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.
Systerel participe à la conférence Ada Europe 2025
Systerel participe à la 29e conférence Ada Europe 2025 à Paris, et partage son expertise sur le portage d'applications Ada.
Cette conférence réunira chercheurs, développeurs et utilisateurs passionnés par les technologies logicielles sûres.
Nouvel article : Model Checking, Formal Modeling and Verification
Valider la sûreté d’un système avant l'implémentation finale : c’est tout l’enjeu du Model Checking.
Cette méthode de vérification s’appuie sur un modèle formel pour analyser chaque évolution d’un système et ainsi de s'assurer qu'il respecte bien un ensemble de propriétés critiques.
Journée retours d’expérience utilisateurs S2OPC
Rejoignez-nous le 25 juin au Campus Cyber pour une journée dédiée à l’OPC UA, à l’Open Source et à la cybersécurité !
Au programme : des témoignages et des cas d’usages réels présentés par des utilisateurs finaux, des intégrateurs et des partenaires.
