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

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).

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.

More informations about Atelier B...
Download Atelier B...

Atelier B News

[ 22-12-09 ] :

14h33 - Atelier B 4.0.1 is available for maintenance holders

[ 29-10-09 ] :

10h30 - Smart Event 2009 - Forcoment Project Presentation, developed with Atelier B

More informations...