EN 50128 et EN 50657
Les systèmes critiques développés dans l'industrie ferroviaire doivent démontrer leur conformité aux normes CENELEC EN 50128 ou/et EN 50657. La norme européenne EN 50128/A2:2020 spécifie les procédures et les exigences techniques pour le développement de systèmes électroniques programmables destinés à être utilisés dans des applications de contrôle et de protection ferroviaires telles que les systèmes de communications, de signalisation et de traitement. Publiée en 2017, la norme EN 50657 est devenue depuis la norme applicable au software embarqué dans le matériel roulant et les véhicules ferroviaires.
Les normes EN 50128/A2:2020 et EN 50657:2017 classent les fonctions selon les niveaux d'intégrité de sécurité ferroviaire SIL (Safety Integrity Level) compris entre 1 et 4 (du moins strict au plus strict), qui viennent s'ajouter au niveau d'intégrité de base BI (Basic Integrity), équivalent au SIL 0 dans la norme EN 50128:2011. Les fabricants et fournisseurs de trains adaptent leurs processus de développement logiciel aux normes EN 50128 et EN 50657.
Ces deux normes imposent la classification et la qualification des outils logiciels hors ligne 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 aux normes EN 50128 et EN 50657, couvrant les applications SIL 1 à SIL 4. Les qualifications sont basées sur un workflow de vérification spécifique aux applications. La documentation du workflow, les certificats TÜV SÜD et les outils et artefacts supplémentaires relatifs aux normes EN 50128/A2:2020 et EN 50657:2017 sont proposés dans l'IEC Certification Kit.
Les produits clés pour développer des applications conformes aux normes EN 50128 et EN 50657 comprennent :
