Formale Methoden unterstützen den Nachweis dort, wo langwierige manuelle Testkampagnen nicht den gesamten Verhaltensraum abdecken können.
Bahn
Zertifizierte Verifikation für Bahnsoftware.
Dasselbe Zertifikat, das ISO 26262 bis ASIL D unterstützt, deckt auch EN 50716 ab.
EN 50716Powered by BTC QCore
Zertifiziert für
ISO 26262IEC 61508-3ISO 25119IEC 62304EN 50716
Warum gerade jetzt
Branchenspezifische Anforderungen werden sichtbar.
1
Lange Lebenszyklen von Schienenfahrzeugen und Signaltechnik erfordern Regressionsnachweise über Jahrzehnte.
2
SIL-Klassifizierungen für Signal- und Fahrzeugsoftware erfordern kontinuierliche, auditfähige Verifikationsnachweise.
3
Die Toolqualifizierung ist in der Bahnentwicklung traditionell langwierig und aufwendig.
Normen und Compliance
EN 50716 im selben zertifizierten Prozess.
EN 50716 ist im TÜV SÜD-Zertifikat für BTC TestStack enthalten. EN 50126 und EN 50129 dürfen hier nur als CENELEC-Kontext genannt werden, nicht als zertifizierte Normen.
Nachweise können über den gesamten Lebenszyklus von Bahnsoftware hinweg verknüpft bleiben.
Wiederholbare Automatisierung unterstützt Entwicklungsprozesse im Bahnbereich bei der Umstellung auf kürzere Feedbackschleifen.
Nachweis
Zertifizierte Grundlage für durchgängige Nachweise.
Das Zertifikat schafft die Verbindung: EN 50716 ist Bestandteil desselben Zertifikats, das ASIL D im Automotive-Bereich unterstützt.
EN 50716 · Nachfolger von EN 50128
Unterstützte Umgebungen
Passend für die Engineering-Umgebungen, die in dieser Branche tatsächlich eingesetzt werden.
Feel the Quality
Erleben Sie BTC TestStack im Kontext von EN 50716.
Evaluieren Sie Ihre Codebasis im Kontext Ihrer Norm gemeinsam mit unserem Engineering-Team.