analyse-de-code-statique-bg
EN 50128

Conformité EN 50128 avec Parasoft

Qu'est-ce que la norme EN 50128?

EN 50128 «Applications ferroviaires - Systèmes de communication, de signalisation et de traitement» est une norme de procédé européenne. Il contient des exigences techniques avec des procédures, des principes et des mesures pour garantir le développement de logiciels considérés comme sûrs là où il y a des implications pour la sécurité. Le logiciel qui fonctionne sur les systèmes électroniques programmables de contrôle ferroviaire - sur la voie et du côté du train - est mis en œuvre à l'aide de microprocesseurs dédiés, de contrôleurs logiques programmables, de systèmes distribués multiprocesseurs, de systèmes de processeurs centraux à grande échelle ou d'autres architectures.

Application de la conformité EN 50128 avec l'analyse du code source, les tests unitaires, la traçabilité, etc.

Atteignez la conformité EN 50128 de manière efficace et efficiente avec le test Parasoft C / C ++ et sa suite d'outils de test de logiciels automatisés. Depuis plus de 30 ans, Parasoft aide les organisations à respecter des normes rigoureuses grâce aux meilleures pratiques requises telles que la traçabilité des exigences, l'analyse de code statique, l'analyse dynamique, les tests unitaires, les mesures logicielles, la vérification et la validation du matériel logiciel sur hôte ou sur cible, le code structurel complet. couverture, tests fonctionnels / boîte noire et tests d'interface.

Comment Parasoft contribue à atteindre la conformité EN 50128

Tirez parti du test Parasoft C / C ++ pour réduire les coûts et les efforts nécessaires pour atteindre la conformité EN 50128 en automatisant plusieurs méthodes de test requises par la norme. Notre suite d'outils de test de logiciels automatisés permet également de gagner du temps. Les rapports et tableaux de bord générés automatiquement fournissent aux équipes un moyen pratique de prévenir, d'exposer et de corriger les erreurs dans le logiciel et de préparer la documentation requise pour les audits.

Le test Parasoft C / C ++ facilite et automatise les méthodes de test logiciel spécifiées dans la norme EN 50128, section 6 «Software assurance», qui définit un ensemble de processus et d'objectifs de test logiciel pour le cycle de vie du logiciel ferroviaire. Chaque objectif est défini dans les sous-sections suivantes de la norme:

  • 6.1 Test du logiciel
  • 6.2 Vérification du logiciel
  • 6.3 Validation du logiciel
  • 6.4 Évaluation du logiciel
  • 6.5 Assurance qualité du logiciel
  • 6.6 Modification et contrôle des changements
  • 6.7 Outils d'assistance et langues

Le test Parasoft C / C ++ est la seule solution de développement et de test de logiciels sur le marché qui comprend un large éventail de méthodologies de test pour maximiser l'efficacité et améliorer les résultats.

Tableau A.5
EN 50128 - Vérification et essais
Assistance Parasoft
Tous les niveaux SIL (SIL 0 - SIL4)
1 Preuve formelle PAO Parasoft
2 Analyse statique Parasoft C / C ++test
3 Analyse dynamique Parasoft C / C ++test
4 Métrique Parasoft C / C ++test
5 Traçabilité Test Parasoft C / C ++ et PAO
6 Analyse des effets des erreurs logicielles PAO Parasoft
7 Tester la couverture pour le code Parasoft C / C ++test
8 Test fonctionnel / boîte noire Parasoft C / C ++test
9 Test de performance Parasoft C / C ++test
10 Test d'interface Parasoft C / C ++test
Texte à gauche : Guide pour atteindre la sécurité fonctionnelle dans les logiciels ferroviaires. L'image de droite est une vue de face en hauteur d'une automobile en milieu urbain venant de traverser un tunnel.
PAPIER BLANC

Guide pour atteindre la sécurité fonctionnelle dans les logiciels ferroviaires : comment satisfaire aux exigences de la norme EN 50128

La solution de test de développement de Parasoft pour les logiciels C et C ++ facilite l'application de la norme EN 50128 pour les applications ferroviaires. Découvrez comment Parasoft permet aux équipes de produire un meilleur code pour les systèmes embarqués et de le tester plus efficacement.

Télécharger