Un nouvel article est disponible sur le blog Systerel !

Il présente la « Modélisation des structures de données dynamiques avec la méthode B ».

La méthode B est très utilisée dans le développement de systèmes critiques, en particulier dans le domaine ferroviaire. Au niveau logiciel, ce type d’utilisation se caractérise notamment par une allocation statique de la mémoire, celle-ci étant déclarée sous forme de tableaux de taille fixe à la compilation.

Dans cet article, nous allons voir que, contrairement aux idées reçues, la méthode B peut également être utilisée pour développer des logiciels utilisant l’allocation dynamique de données complexes. D’ailleurs, cette méthode est utilisée avec succès pour le développement de notre implémentation open-source du protocole OPC UA : Safe&Secure OPC (S2OPC).

Retrouvez l’article sur le blog Systerel ici.

N’hésitez pas à partager avec nous votre avis ou vos remarques. Bonne lecture !