A new version of the European Train Control System (ETCS) specification has just been published: Baseline 4. Over the past […]
The Honolulu metro is equipped with STANLEY platform screen doors, which are controlled by the HITACHI Automatic Train Control (ATC) […]
During one week, UFRN students are going to compete over several challenges involving the modelling in B and the control […]
SIEMENS has entrusted CLEARSY with the SIL2 safety of the supervision display for the SNCF’s new RER (commuter) train operating […]
In the continuity of our activities in the field of fire safety, CLEARSY implements and realizes the safety protocol for […]
A certified version of ATELIER B, the tool used to specify and prove safety critical software is planned for 2024. […]
CLEARSY uses formal methods in many phases in the development cycle: systems reasoning: to define and prove mathematically system safety […]