CLEARSY was founded on January 1, 2001 by the team of engineers responsible for the industrialisation of the formal modelling tool called Atelier B, used in the railway sector to produce safety software. We are a French SME, specialised in the realisation of safety systems and software from level SIL1 to SIL4. We develop complex systems by ensuring their design, their validation, verification and
![Home - CLEARSY](https://cdn-ak-scissors.b.st-hatena.com/image/square/a2ddf26de5c2a0cb9b65269d3ae00e3b9ceb0b46/height=288;version=1;width=512/https%3A%2F%2Fwww.clearsy.com%2Fwp-content%2Fuploads%2F2018%2F01%2Flogos-certifer-us.png)