Blog
JUIN 2026
Article de blog : S3 v2.0 – Une avancée majeure
S3 v2.0 — Une avancée majeure dans le monde de la vérification formelle. La nouvelle version du moteur de preuve S3 arrive … et avec elle, une amélioration significative de …
Blog
Février 2026
Tasking et rendez-vous en Ada
En Ada, la programmation concurrente ne se résume pas qu’à lancer des tâches.
Le langage Ada propose un modèle de tasking où les tâches peuvent se synchroniser et communiquer efficacement et de façon contrôlée grâce aux mécanismes rendez-vous et ses différents raffinements.
Blog
Octobre 2025
La généricité en Ada
Dans ce nouvel article, découvrez comment utiliser la généricité avec le langage Ada pour écrire du code réutilisable, flexible et maintenable.
Au travers d’un exemple simple, l’article montre comment adapter un programme générique au travers des fonctionnalités offertes par le langage.
Blog
Août 2025
GDS Push Server : Gestion des certificats et des listes de confiance OPC UA
Dans un contexte industriel contraint (avec une forte disponibilité requise, des équipements dispersés et un accès limité), le maintien en conditions de sécurité des systèmes OPC UA repose sur une gestion rigoureuse des certificats.
Pour répondre à ces enjeux, Systerel a développé le GDS Push Server, un outil qui permet l’automatisation sécurisée de tâches critiques via une interface normalisée OPC UA .
Blog
Juillet 2025
Trois bonnes raisons de choisir l’Open Source
L’Open Source est bien plus que du code gratuit, c’est un véritable levier stratégique pour la cybersécurité et l’innovation.
Découvrez dans cet article pourquoi intégrer efficacement l’Open Source est aujourd’hui indispensable pour sécuriser vos projets et anticiper les évolutions réglementaires.
Blog, Méthodes Formelles
avril 2025
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.
Blog
Novembre 2024
Article de blog : Ada2022 – delta aggregates
Plongez dans les avancées de la programmation avec notre nouvel article sur la fonctionnalité delta aggregates d’Ada2022 !
Cette nouveauté permet de modifier un objet sans recourir à des données intermédiaires, offrant ainsi une plus grande concision et lisibilité au code.
Blog, Produits
Février 2024
Article de blog : OVADO²® second regard sur les données de configuration
Dans cet article, vous découvrirez comment OVADO²® se montre très efficace pour des activités de second regard pour lesquelles il a déjà été éprouvé par la RATP sur plusieurs lignes du métro parisien.
Blog
Décembre 2023
Article de blog : Portage d’un code Ada
Vous êtes confronté ou avez déjà été confronté au défi lié au portage d’un code Ada vers un nouvel environnement ?
Vous souhaitez assurer la coexistence harmonieuse entre le code legacy et le code porté ?
C’est là tout l’enjeu exploré par le dernier article de blog publié par Systerel.
Blog
OCTOBRE 2023
Nouvel article de blog : les bugs logiciels inhabituels
La découverte et la correction de bugs font partie intégrante du processus de développement logiciel.
Dans ce nouvel article de blog, nous passerons en revue avec légèreté toute une série de bugs informatiques qui ont la particularité d’être nommés d’après des scientifiques célèbres : Heisenbugs, Schrödinbugs, Mandelbugs et Bohrbugs.
Blog
JUIN 2023
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).
Blog
AVRIL 2023
Générer et vérifier des données de configuration avec OVADO²®
Dans ce nouvel article, nous explorons les possibilités offertes par l’outil de validation formelle OVADO²®.
Pour la première fois, Systerel a utilisé OVADO²® pour générer formellement des données de configuration d’équipements ferroviaires dérivées des données de configuration du système.
Blog
Février 2023
Blog Systerel : Back-to-Back Testing
Un nouvel article vient d’être publié sur le Blog Systerel !
Il vous dit tout (ou presque) sur le Back-to-Back Testing (B2BT), un procédé de génération automatique de tests basé sur de la modélisation et des méthodes formelles, permettant de maîtriser la conformité des implémentations logicielles.
Blog
Janvier 2023
Article : Ada2012 associé au langage Lua
Dans cet article, nous nous penchons sur un cas pratique pour lequel nous avons décidé d’associer Ada2012 au langage de script Lua.
En effet, bien que le langage Ada présente de nombreux avantages, il peut parfois s’avérer mal adapté à un problème donné. De son côté, grâce à son API C riche et à l’efficacité de son implémentation, le langage Lua peut être facilement embarqué au sein d’autres langages.