Project Description

NYCT, New York

New York City Transit (NYCT) modernise le système de signalisation dans son métro en installant des CBTC et en remplaçant les enclenchements à relais par des systèmes informatisés à semi-conducteurs (SSI). Les SSI informatisés exigent de nouvelles vérifications de la sécurité, ainsi qu’une réduction à long terme des coûts et du temps nécessaires à la réalisation de la vérification de la sécurité.

À cette fin, NYCT exige aujourd’hui une vérification formelle du logiciel du SSI à l’aide de Prover iLock Verifier. La vérification de la sécurité est effectuée dans le cadre de l’évaluation indépendante de la sécurité (ISA) et vérifie que le logiciel du SSI respecte les principes de sécurité génériques de NYCT.

[Ce processus de vérification est utilisé pour différents vendeurs de SSI.]