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 développe une solution de sécurisation des installations industrielles avec le projet PACOME
Dans un contexte où la cybersécurité des installations industrielles devient un enjeu majeur, Systerel développe une passerelle innovante permettant de sécuriser les échanges entre les systèmes informatiques (IT) et les équipements industriels (OT).
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.
