Assigning safe processing to meanings R&D, Safety, Tools

CLEARSY has developed and certified the CLEARSY SAFETY PLATFORM (CSP), a solution to develop safety critical real-time embedded systems certified […]

CLEARSY participates in the conference ISOLA 2021 Exhibitions/conferences, Railway, Safety

For the 10th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISOLA 2021), CLEARSY is going to […]

The safety-critical data validation tool is certified T2 SIL4. Railway, Safety

The CLEARSY safety-critical data validation tool is now certified T2 for SIL4 level in accordance to the EN 50128:2011 standard, […]

Successful track tests for the SIL4 location system developed by CLEARSY. Railway, Safety

A magnetic mat along the track allows an on-board computer to determine the exact and guaranteed location (SIL4) of the […]

The Preliminary Hazard Analysis Safety

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

The Electrical/Electronic System Reliability Safety

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

Does the SIL systems exist? Safety

The term “system SIL” is a term used frequently, but very often leads to confusion. In fact, if one takes […]

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 […]