The formal methods in the Operational Safety process Railway

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

The IEC Standard and its derivatives Railway

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

UITP railway fair 2009 in Viennes
UITP Railway fair at Viennes Exhibitions/conferences, Railway

CLEARSY will be participating in the UITP fair that will take place in Viennes from the 7th to the 11th […]

SIFER Fair 2009 at Lille Exhibitions/conferences, Railway

CLEARSY has the pleasure of announcing its participation to the SIFER railway fair 2009, that will take place in Lille […]

Lambda Mu16 – The New Challenges of Risk Control Exhibitions/conferences

Two years after the Lambda Mu 15, the Institute for risk control (LMdR) has organized the sixteenth edition of its […]

Negocios Nos Trilhos Exhibitions/conferences, Railway

“Negocios Nos Trilhos” Fair 2007 CLEARSY will be participating this year to the new edition of the brazilian railway fair […]

The new version of Atelier B is in beta test Computer science

More informations about Atelier B 4.0 on the Atelier B website…

Free Version of Atelier B Computer science

Version 4 of Atelier B will be free for everyone when it is launched at the end of 2008. The […]

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