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

Introduction to data validation Railway, Safety, Uncategorized

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