Pour les systèmes de signalisation ferroviaire et de transport urbain, la sécurité ne peut pas être une simple vérification réalisée à la fin du projet. Les fonctions les plus critiques doivent être définies et analysées dès les premières phases de conception.
C’est pourquoi des acteurs majeurs tels que les opérateurs des métros de Paris et de New York, ainsi que la SNCF, font appel à CLEARSY pour réaliser les activités de preuve au niveau système : L’objectif est d’exprimer formellement les exigences permettant d’atteindre le niveau de sécurité attendu et de démontrer leur bonne prise en compte dans les documents de spécification du système.
Lorsque les principes fondamentaux de sécurité sont démontrés dès le niveau système, le projet démarre sur des bases solides. Le développement, l’intégration et la validation peuvent alors s’appuyer sur des propriétés de sécurité établies dès l’origine et démontrer, à chaque étape, que leur mise en œuvre les respecte.