CLEARSY has developed and certified the CLEARSY SAFETY PLATFORM (CSP), a solution to develop safety critical real-time embedded systems certified […]
For the 10th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISOLA 2021), CLEARSY is going to […]
The CLEARSY safety-critical data validation tool is now certified T2 for SIL4 level in accordance to the EN 50128:2011 standard, […]
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 (PHA) consists in identifying, at the system level, which redundant events can lead to dangerous situations […]
Reliability definition The most current reliability definition is, the (probability of) capability of an entity to perform a required function, […]
The term “system SIL” is a term used frequently, but very often leads to confusion. In fact, if one takes […]