Dans le domaine ferroviaire, les exigences en matière de sûreté de fonctionnement et de sécurité
sont des plus sévères. Il est important de préserver la traçabilité de ce type d’exigences au cours
du processus de développement. L’objectif est de tracer (suivre) les exigences pendant toutes les
phases de conception du système et d’être capable de montrer qu’elles ont été correctement
satisfaites. Certaines de ces exigences sont définies par des normes, d’autres par un cahier des
charges. Avant de tracer les exigences, il faut les identifier. Nous sommes donc amenés à
analyser des textes en langage naturel et à mettre en évidence les exigences. Ensuite, il faut
tracer ces exigences entre les différents modèles utilisés lors du développement, qu’ils soient non formels, semi-formels ou formels. Cette traçabilité permet d’assurer que les exigences ont été
respectées d’un bout à l’autre de la chaîne de développement. Ce processus, de la mise en
évidence jusqu’à la traçabilité, est appelé ingénierie des exigences.