The formal methods in the Operational Safety process Safety

The formal methods : Allow to define mathematically and rigorously the properties of operation of a system. Formal methods may […]

The IEC Standard and its derivatives Safety

The IEC 61508 standard is a generic standard, created in European version by CENELEC in 2002 as EN 61508, and […]

Rhônexpress: Test of Automatic Train Stop KFS (DAAT SIL2) Railway

The KFS SIL2 system, a SIL2 certified automatic train stop mechanism (DAAT)  underwent testing at night, from September 27th to […]

New York City Metro : Automatisation of Flushing and Culver Lines Railway

Battelle has signed a contract with CLEARSY for a collaboration within the framework of the automation project of the Flushing […]

Swedish fair dedicated to the Rail Transport Sector Exhibitions/conferences, Railway

CLEARSY participated in the “Nordic Elmia Rail” fair, which took place from 6th to 8th October 2009, in Jonkoping in […]

Need a custom-made system ?

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

Filter posts