EN 50716, EN 50128 et EN 50657
Les systèmes critiques développés dans l'industrie ferroviaire doivent démontrer leur conformité à la norme CENELEC EN 50716:2023.
La norme EN 50716 (Applications ferroviaires - Exigences pour le développement de logiciels) remplace les normes EN 50128 et EN 50657, y compris leurs amendements. La norme EN 50716 établit un framework unifié pour le développement de logiciels ferroviaires. Cette norme s'applique aussi bien aux logiciels de signalisation et de contrôle qu'aux logiciels embarqués sur le matériel roulant, qui relevaient auparavant respectivement des normes EN 50128 et EN 50657. La norme EN 50716 classe les fonctions logicielles ferroviaires selon cinq niveaux d'intégrité, allant du niveau d'intégrité de base BI (Basic Integrity) au niveau SIL 4.
La norme EN 50716 impose la classification et la qualification des outils logiciels de support utilisés tout au long du développement logiciel. Les outils de vérification d’Embedded Coder, MATLAB et Simulink, et les outils de vérification de code Polyspace sont qualifiés et certifiés TÜV SÜD conformément à la norme EN 50716. Ces évaluations couvrent les applications SIL 1 à SIL 4. Les qualifications sont basées sur des workflows de vérification spécifiques aux applications.
La documentation des workflows, les certificats TÜV SÜD, et les outils et artefacts supplémentaires relatifs à la norme EN 50716 sont proposés dans l'IEC Certification Kit.
Les produits clés pour développer des applications conformes aux normes EN 50716, EN 50128 et EN 50657 comprennent :
