
After nine years of waiting, the new M4 line of the Budapest metro was put into circulation on March 28, […]

ClearSy is contributing to a technical seminar organized by Newcastle University on 24 October 2013. Formal methods are used worldwide […]

CLEARSY participated to CAI 2013 conference (International Conference on Algebraic Informatics) held in Porquerolles (France) 3-6 September 2013. A talk, […]

CLEARSY is pleased to announce its participation to the SIFER 2011 Fair, which will take place from 5th to 7th […]

The Preliminary Hazard Analysis (PHA) consists in identifying, at the system level, which redundant events can lead to dangerous situations […]

CLEARSY is delighted to announce its participation in the Innotrans show, which will take place from 21st to 24th September […]

As part of a PEE(Programable / Electrical / Electronics), the analysis of dependability of a system must fit into a […]

Reliability definition The most current reliability definition is, the (probability of) capability of an entity to perform a required function, […]