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!