Les méthodes formelles contribuent à produire des éléments de preuve lorsque de longues campagnes de tests manuels ne peuvent pas couvrir tout l’espace des comportements.
Ferroviaire
Vérification certifiée des logiciels ferroviaires.
La norme EN 50716 est couverte par le même certificat que celui qui étaye ISO 26262 jusqu’à ASIL D.
EN 50716Powered by BTC QCore
Certifié pour
ISO 26262IEC 61508-3ISO 25119IEC 62304EN 50716
Pourquoi maintenant
Les enjeux propres au secteur mis en évidence.
1
Les longs cycles de vie du matériel roulant et de la signalisation exigent des éléments de preuve issus des tests de régression sur plusieurs décennies.
2
Les classifications SIL des logiciels de signalisation et de véhicules exigent des éléments de preuve de vérification continus et auditables.
3
Dans le développement ferroviaire, la qualification des outils est traditionnellement lente et contraignante.
Normes et conformité
EN 50716 au sein du même processus certifié.
EN 50716 figure dans le certificat TÜV SÜD de BTC TestStack. EN 50126 et EN 50129 ne peuvent être mentionnées ici qu’au titre du contexte CENELEC, et non comme normes certifiées.
Les éléments de conformité restent traçables tout au long du cycle de vie des logiciels ferroviaires.
Une automatisation reproductible accompagne les processus de développement ferroviaire à mesure que leurs cycles d’itération se raccourcissent.
Éléments de preuve
Un même certificat relie les éléments de preuve.
La continuité des éléments de preuve repose sur le certificat : EN 50716 figure dans le même certificat que celui qui étaye ASIL D dans l’automobile.
EN 50716 · successeur d’EN 50128
Environnements pris en charge
S’intègre aux environnements d’ingénierie réellement utilisés dans ce secteur.
Feel the Quality
Découvrez BTC TestStack dans le contexte d’EN 50716.
Évaluez votre base de code dans le contexte de votre norme avec nos ingénieurs.