Blog
JUIN 2024

Certification CSPN : le cas d’étude de S2OPC

Systerel a obtenu la certification CSPN de l’ANSSI pour S2OPC.

Dans son dernier article de blog, Systerel détaille son expérience sur les différentes étapes du processus ayant permis l’obtention de cette certification.

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.