Domaines références : Metro (CBTC)
Formal Proof Process for the Safety of a Signaling System Metro (CBTC), Railway
The process of formally proving safety for a signaling control system consists of two stages: Phase 1: Through an in-depth […]
CLEARSY supplies the platform screen gate monitoring system for the Honolulu metro Metro (CBTC), Railway
The Honolulu metro is equipped with STANLEY platform screen doors, which are controlled by the HITACHI Automatic Train Control (ATC) […]
We are safety software and systems designers. Contact us and let's discuss your project together!