Le processus d'approbation des systèmes de verrouillage exige le respect des normes CENELEC EN 50126-1[1], EN 50126-2 [2], EN 50128 [3] et EN 50129 [4] dans tous les pays européens. Ensemble, ils décrivent le processus du cycle de vie des systèmes de transport guidés (GTS) pertinents pour la sécurité.
À l'instar des industries de l'automobile, des dispositifs médicaux et des processus, le secteur ferroviaire a basé sa norme fonctionnelle sur la norme de sécurité fonctionnelle indépendante de l'industrie IEC 61508 [5].
La série EN 5012X qui en résulte est devenue la norme de sécurité fonctionnelle ferroviaire dominante, et ses exigences et processus sont de plus en plus connus à travers le monde. Les normes internationales IEC 62278 [6], IEC 62779 [7] et IEC 62280 [8] reflètent très largement les EN 50126, EN 50128 et EN 50129 respectivement et peuvent être considérées comme identiques dans le contexte du présent document.
Ce livre blanc décrit les principales activités de développement de logiciels et de processus de vérification des normes et utilise la suite d'outils de LDRA pour montrer comment l'automatisation peut aider à prouver la conformité de manière rentable.
À l'instar des industries de l'automobile, des dispositifs médicaux et des processus, le secteur ferroviaire a basé sa norme fonctionnelle sur la norme de sécurité fonctionnelle indépendante de l'industrie IEC 61508 [5].
La série EN 5012X qui en résulte est devenue la norme de sécurité fonctionnelle ferroviaire dominante, et ses exigences et processus sont de plus en plus connus à travers le monde. Les normes internationales IEC 62278 [6], IEC 62779 [7] et IEC 62280 [8] reflètent très largement les EN 50126, EN 50128 et EN 50129 respectivement et peuvent être considérées comme identiques dans le contexte du présent document.
Ce livre blanc décrit les principales activités de développement de logiciels et de processus de vérification des normes et utilise la suite d'outils de LDRA pour montrer comment l'automatisation peut aider à prouver la conformité de manière rentable.