Au sol comme à bord, les logiciels des applications ferroviaires et des transports en commun exigent des niveaux élevés de fiabilité, de sûreté, de sécurité et d'intégrité. Les atteindre suppose un processus de développement rigoureux, outillé par des moyens de test appropriés.
La norme EN 50716 définit les exigences de développement, de fourniture et de maintenance des logiciels destinés aux applications ferroviaires — contrôle-commande et signalisation d'une part, matériel roulant d'autre part. Elle succède à l'EN 50128:2011 et à l'EN 50657:2017.
Elle impose une analyse de couverture de code, le recours à des normes de programmation telles que MISRA, et l'usage d'outils de vérification et de validation, dont l'analyse statique.
Le niveau attendu dépend du niveau d'intégrité de sécurité visé.
| Niveau de couverture | Intégrité de base | SIL 1 | SIL 2 | SIL 3 | SIL 4 |
|---|---|---|---|---|---|
| Couverture des instructions | R | HR | HR | HR | HR |
| Couverture de branche | — | R | R | HR | HR |
| Conditions composées | — | R | R | HR | HR |
| Analyse de flux de données | — | R | R | HR | HR |
| Couverture des chemins d'exécution | — | R | R | HR | HR |
HR fortement recommandé · R recommandé · — non requis.
Testwell CTC++ mesure tous les niveaux exigés par l'EN 50716 et l'EN 50128 : couverture d'instructions, de décision et de condition, MC/DC, et jusqu'à la couverture de condition multiple — d'un niveau supérieur au MC/DC. Il couvre également les exigences de la CEI 62279.
L'outil a un coût d'instrumentation très faible et s'utilise avec tous les compilateurs et toutes les cibles embarquées, jusqu'aux plus petites. Ses rapports d'analyse sont clairs et directement exploitables.
En savoir plus sur Testwell CTC++ → Demander une évaluation gratuite
TiCS supervise la qualité du code source dans les environnements multi-technologies, multi-projets et multi-sites. Il permet de :
Dans le ferroviaire, nos solutions accompagnent le développement de logiciels critiques pour la sûreté et la sécurité. Parmi elles :
ABB · Bombardier · Bosch · Knorr-Bremse · MÁV Informatika · Modutram Mexico · Nederlandse Spoorwegen (chemins de fer néerlandais) · Pintsch Bamag · Siemens Transportation Systems · SKF · Thales
« Notre logiciel est très complexe et doit répondre aux normes EN 50126, EN 50128, EN 50129 et EN 50159. Nous devons mener des tests d'exigences et des tests unitaires pour y parvenir. Nous cherchions donc un outil de couverture indépendant du compilateur, capable de renseigner la couverture MC/DC du code source. Testwell CTC++ remplit cette condition : il nous suffit de sélectionner un fichier source pour en obtenir très facilement la couverture. »
« Testwell CTC++ est utilisé sur l'un de nos projets embarqués. L'intégration sur la cible a été facile. L'outil dispose d'un mode d'emploi bien écrit, et le service client est de bonne qualité. »
« Nous utilisons Testwell CTC++ sur notre projet embarqué. Il nous a permis de découvrir toutes les portions de code et tous les chemins de contrôle non couverts, dus à une spécification de tests unitaires incomplète. L'intégration est simple et le support client est excellent. »
Développer et livrer un logiciel critique exige des connaissances à jour. Nos webinaires et nos formations intra-entreprise accompagnent développeurs et responsables qualité sur les exigences normatives et les pratiques de test associées.
L'évaluation est gratuite et accompagnée : installation, configuration, intégration à votre chaîne de build et lecture des rapports de couverture.
