New T2 for SIL4-Certified Version of the CLEARSY Data Solver – Now Even More Powerful! Offers, Tools

We’re excited to announce that the latest version of the CLEARSY Data Solver has successfully renewed its T2 for SIL4 […]

CLEARSY’s ETCS simulation tool in use in Germany Component, ERTMS, Offers, Railway, Tools

Two European Train Control System (ETCS) laboratories have been in use since 2024 in Germany, in Munich and Dresden, by […]

A world first: system safety reasoning is T2 EN50129 SIL4 formally proven Computer science, Offers, Safety, Tools

The activity of formal system proof consists in mathematically expressing the global properties by which system safety is guaranteed, and […]

CLEARSY’s automatic train stop system is certified to SIL2 safety level Offers, Railway, Safety

CLEARSY’s DAAT SIL2 Automatic Train Stop system is SIL2 certified by Bureau Veritas for the Corsican Railways rolling stock renovation […]

CLEARSY has participated in the development of a new syringe pump made in France Offers, Safety

Flowmex™ is a new medical device designed by COMEX for use in hyperbaric chamber, a sealed medical-technical facility within which […]

DOF system Achieves SIL3 certification for the Cross River Rail project Offers, Railway, Safety

A major milestone for CLEARSY in its contribution to the Cross River Rail project in Brisbane, Australia. The platform screen […]

CLEARSY reinforces rail safety with an advanced signaling simulator ERTMS, Offers, Tools

CLEARSY has just delivered a railway signaling simulator for the Corsica Single Track Centralized Control (CCVU) project, covering the French […]

Extension of Line 14 of the Paris Metro: over 25 years of reliability thanks to the B formal method Component, Computer science, Offers, Safety, Tools

“Thanks to the B method, Meteor kept its promise” … “I’d never seen anything like it: the software was almost […]