A certified version of ATELIER B, the tool used to specify and prove safety critical software is planned for 2024.
It will comply with the T2 level of CENELEC EN 50128 and IEC 61508.
ATELIER B is the reference tool used for more than twenty years by leading manufacturers, particularly in the development of driverless metros.
The tool is distributed in a free Community version, and in a paid Professional version.
Two Professional versions are planned for 2023 to improve archiving and display of counter-examples. In 2024, a new Community version integrating the RUST code generator and the first Certified version will be released.