Reliability, Safety and Security of Railway Systems: Modelling, Analysis, Verification and Certification A 2-hour tutorial was given to an audience […]

Formal methods are now industry ready, able to scale up to real siez railway projects and to provide a real […]

This international event gathers each year the political authorities, public transport companies operators, scientific institutes, service providers and of the […]

The seminar, entitled “Proven software with B executing on Low Cost High integrity Platform”, is aimed at presenting the latest […]

Vital relay certified SIL4 actually exists: CLEARSY introduced it during the global railway conference Innotrans. In September at Innotrans in […]

LCHIP project (Low Cost High Integrity Platform) will ease development of safety critical systems and software up to SIL4, the […]

CLEARSY opened an office in Canton, Connecticut Since 2001, CLEARSY has promoted and has been developing the B method, a […]

ClearSy is participating to InnoTrans, the leading international trade fair for transport technology, which is held in Messe Berlin from 20 to 23 September, 2016.