Atelier B, the industrial tool to efficiently deploy the B Method


Atelier B v4.3.1 is freely downloadable during the International ABZ Conference 2016

We are pleased to inform you that Atelier B 4.3.1 is available for free download at the occasion of the International ABZ Conference 2016

This version includes 27 fixes and 2 new features: a new prover based on the ProB tool and the B Coding Rule Checker.

For further information, please check out the version release note

Atelier B 4.2 celebrates 20 years

Atelier B 4.2 has been released on December 19, 2014 and is available for download. Improvements and new features are detailed in the Atelier B 4.2 release notes.

Since its commercial birth in 1994 with the release 3.2, Atelier B has evolved continuously thanks to a number of industrial and R&D projects in the railways and the microelectronics. With B for piloting trains and opening/closing platform screen doors, millions metro passengers are safely transported every day worldwide. In 2014, more than 25% automatic metros embed safety critical software developed with Atelier B.
The timeline below summarizes the main stages and evolutions that Atelier B went through over this period.


Atelier B, presentation

Developed by ClearSy, Atelier B is an industrial tool that allows for the operational use of the B Method to develop defect-free proven software (formal software). Two versions are available: Community Edition available to anyone without any restriction, Maintenance Edition for maintenance contract holders only.

It is used to develop safety automatisms for the various subways installed throughout the world by Alstom and Siemens, and also for Common Criteria certification and the development of system models by ATMEL and STMicroelectronics.

Additionally, it has been used in a number of other sectors, such as the automotive industry, to model operational principles for the onboard electronics of three car models. Atelier B is also used in the aeronautics and aerospace sectors.

Why use Atelier B 4.0?

You can:

Comments are closed.