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 […]
We are safety software and systems designers. Contact us and let's discuss your project together!