Atelier B was designed by CLEARSY to produce safe, zero-defect software that complies with its specifications. What makes it special? Replacing unit tests with rigorous mathematical proofs.
The industrialization of Atelier B was made possible by the RATP, which pioneered its adoption for Line 14 in the 2000s. Today, CENELEC standards require the use of level T2 tools (EN 50128) for safety-critical software, notably level SIL4.
CERTIFER has just issued T2 certification for SIL4 for Atelier B, not only for its ability to prove software (EN 50128), but also when used in system property validation (EN 50129).
We would like to thank:
- CERTIFER, a key partner in the industrialization of Atelier B,
- Our users and partners: ALSTOM and SIEMENS, who actively use the tool in their development of automatic train control software (CBTC),
- And of course, the RATP, which has supported the use of formal methods for over 30 years and financed the first versions of Atelier B marketed by CLEARSY.
This certification is a fine recognition for CLEARSY and for all those involved in promoting safe, innovative methods.
It’s also good news for safety-critical systems.