En 2023, la version Professionelle sera mise à jour 2 fois .
En 2024, la version Professionnelle certifiée T2 sera mise à disposition, ainsi que la version Communitaire intégrant un générateur de code RUST.
Actualités
Le nouvel Atelier B 4.7 est disponible.
L’Atelier B 4.7.1 est disponible en version Community Edition (https://www.atelierb.eu/en/atelier-b-support-maintenance/download-atelier-b/) et en...
Atelier B pour développer une implémentation OPC UA open source
Systerel a utilisé la méthode formelle B et l'Atelier B pour le développement de sa solution open-source Safe and Secure Open Platform Communications (S2OPC),...
Tutoriel « Utiliser B pour programmer la CLEARSY Safety Plateform »
Un tutoriel virtuel en accès libre sur la programmation de la CLEARSY Safety Platform est organisé pendant la conférence internationale ABZ 2021, le 8 juin...
Publication de la vidéo du wébinaire « Introduction à la CLEARSY Safety Platform »
La vidéo du webinaire "Introduction to the CLEARSY Safety Platform", organisé entre mars et mai 2021, est disponible sur Youtube. Il s'agit d'une plateforme à...
Version 4.6.3 de l’Atelier B
Nous avons le plaisir de vous informer de la mise à disposition de la version 4.6.3 de l’Atelier B. Cette version est exclusivement réservée aux détenteurs...