Ferroviaire

Que l'application cible soit déployée sur piste ou à bord, les logiciels pour les applications ferroviaires et pour les transports en commun doivent avoir des niveaux de fiabilité, de sûreté, de sécurité et d'intégrité élevés.
Afin d'atteindre ces exigences, un processus rigoureux de développement logiciel est obligatoire, comprenant l'utilisation d'outils de test logiciel.

La norme EN 50716 (qui replace EN 50128:2011 et EN 50657:2017) décrit les exigences pour le développement, la fourniture et la maintenance des logiciels destinés aux applications ferroviaires (applications de contrôle-commande et de signalisation et applications sur le matériel roulant ferroviaire).

Les normes EN 50716 (et EN 50128) exigent une analyse de couverture de code, l'utilisation de normes de programmation comme MISRA, et des outils de vérification et de validation telle que l'analyse de code statique.

La réponse de Testwell CTC++ outil de couverture de code aux exigences des normes EN 50716

En fonction du niveau de sécurité requis (SIL), la norme exige les niveaux de couverture de test suivants: (R signifie "recommandé", HR signifie "très recommandé"):

	Intégrité de base	SIL 1	SIL 2	SIL 3	SIL 4
Couverture des instructions (Statement Coverage)	R	HR	HR	HR	HR
Couverture de branche (Branch Coverage)	-	R	R	HR	HR
Conditions composée (Condition Coverage)	-	R	R	HR	HR
Analyse de flux de données (Data Flow)	-	R	R	HR	HR
Couverture des chemins d´exécution (Path Coverage)	-	R	R	HR	HR

Testwell CTC++ outil de couverture de code pour C et C++ montre tous les niveaux de couverture requis par les normes EN 50716 (et EN 50128).
C'est un outil intuitif et facile à utiliser, qui délivre des rapports d'analyses clairs et simples. Il montre la Couverture d'Instructions, de Décision/Condition, de Condition Modifiée/Décision modifiée (MC/DC) et même de Couverture de Condition multiple (qui est d'un niveau supérieur à la couverture MC/DC).

Testwell CTC++ a un coût d'instrumentation très bas. Il peut être utilisé avec tous les compilateurs et toutes les cibles embarquées, même les plus petites.
Testwell CTC++ outil de couverture de code couvre tous les niveaux de couverture exigés par la CEI 62279.
En savoir plus sur Testwell CTC++

Notre solution d'analyse statique

TiCS est une solution de supervision de la qualité du code source, conçue pour les environnements de développement multi-technologies, multi-projets et multi-sites.

TiCS permet de :
✅ Centraliser les mesures de qualité sur l’ensemble du code (C/C++, Java, C#, etc.),
✅ Unifier les outils d’analyse (Coverity, Parasoft C++Test, BlackDuck, MISRA, Cyclomatique, duplication, couverture,…) dans une interface unique,
✅ Automatiser les contrôles qualité dans la chaîne CI/CD,
✅ Assurer la traçabilité et la conformité aux normes (ISO 26262, DO-178C, IEC 61508, etc.),
✅ Suivre l’évolution de la qualité dans le temps via des tableaux de bord clairs et auditables.

Webinaires et séminaires intra entreprise

Les développeurs et managers de logiciels critiques ont besoin des meilleures connaissances afin de développer et de fournir un excellent logiciel.
Verifysoft vous soutient avec ses webinaires et ses formations intra entreprise.

Des centaines d'entreprises et d'organisations améliorent la qualité de leurs logiciels grâce à nos outils de test

Les solutions de Verifysoft ont démontré leur succès dans le développement de logiciels critiques pour la sûreté et la sécurité dans le secteur ferroviaire. Parmis nos clients satisfaits:







Ce que nos clients disent de nos outils::