24 janvier 2023
Une version certifiée de l’ATELIER B, l’outil pour la réalisation de la spécification et de la preuve de logiciel sécuritaire est prévue pour 2024.
Elle sera conforme au niveau T2 des normes CENELEC EN 50128 et IEC 61508.
L’atelier B est l’outil de référence utilisé depuis plus de vingt ans par les industriels leaders notamment dans le cadre du développement de métros sans conducteur.
L’outil est distribué en version Community gratuite, et en version Professional payante.
Deux versions Professional sont prévues en 2023 pour améliorer l’archivage et l’affichage de contre-exemples. En 2024 seront éditées : une nouvelle version Community intégrant le générateur de code RUST et la première version Certified.