A new article is available on the Systerel blog!

It presents the “Modelling of dynamic data structures with the B-method”.

The B-method is widely used in the development of critical systems, in particular in the railway sector. At the software level, this type of use is characterised by a static allocation of memory, which is declared in the form of fixed-size arrays at compilation time.

In this article, we will see that, contrary to popular belief, the B method can also be used to develop software using dynamic allocation of complex data. In fact, this method is successfully used in the development of our open-source implementation of the OPC UA protocol: Safe&Secure OPC (S2OPC).

Read the article on the Systerel blog here

Do not hesitate to share with us your opinion or your remarks. Have a good reading!