A certified version of ATELIER B is planned for 2024 Computer science, Tools

A certified version of ATELIER B, the tool used to specify and prove safety critical software is planned for 2024. […]

CLEARSY is partnering with UIC to define safety demonstration methods for innovative systems ERTMS, Metro (CBTC), Railway, Safety

New technologies are having an impact on mobility systems, and the world of railways. However, standards impose strict limits on […]

Opsimu, CLEARSY’s new train driving simulator, more ergonomic with its 3D visualisation ERTMS, Railway

CLEARSY is launching a new version of its operational train driving simulator on tracks equipped with the European Rail Traffic […]

CLEARSY Safety Platform’s Starter kit for industry is ready Aeronautics, Automotive, Component, Defense, Energy/nuclear, Railway, Safety

The CLEARSY Safety Platform is now available as a starter kit, which allows to get to know the technology and […]

CLEARSY at INNOTRANS (Hall 27 – stand 301) from September 20 to 23, 2022 in BERLIN ERTMS, Exhibitions/conferences, Metro (CBTC), Railway

CLEARSY’s team is pleased to be present at the INNOTRANS exhibition which will take place from 20 to 23 September […]

new exclusive framework contract with EDF until 2029 Energy/nuclear

EDF renews its confidence in CLEARSY after 6 years of technological support for progress in safety and security in I&C […]

Formal activities through the V cycle Computer science, Tools

CLEARSY uses formal methods in many phases in the development cycle: systems reasoning: to define and prove mathematically system safety […]

RSSRail 2022 conference, Save the date! Paris, June 1-2nd, 2022 Exhibitions/conferences, Railway

This year the RSSRail 2022 conference will take place in Paris, France at UIC – International union of railways #UICrail, […]

Need a custom-made system ?

We are safety software and systems designers.  Contact us and let's discuss your project together!

Contact-us

Filter posts