The activity of formal system proof consists in mathematically expressing the global properties by which system safety is guaranteed, and […]
CLEARSY’s DAAT SIL2 Automatic Train Stop system is SIL2 certified by Bureau Veritas for the Corsican Railways rolling stock renovation […]
Flowmex™ is a new medical device designed by COMEX for use in hyperbaric chamber, a sealed medical-technical facility within which […]
A major milestone for CLEARSY in its contribution to the Cross River Rail project in Brisbane, Australia. The platform screen […]
CLEARSY has just delivered a railway signaling simulator for the Corsica Single Track Centralized Control (CCVU) project, covering the French […]
“Thanks to the B method, Meteor kept its promise” … “I’d never seen anything like it: the software was almost […]
COPPILOT is a railway safety system (up to SIL4) that controls the opening and closing of platform screen doors in […]