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, […]
“Control and Signalling” for the Safety speciality of operating software “Control and Signalling” for the Electronics security speciality “Control and […]