Nachweis für die Verifikation von Eisenbahn-Software gemäß EN 50716
Die Norm EN 50716 empfiehlt spezifische Verifikationsverfahren für Eisenbahnsoftware auf jeder Integritätsstufe, von „Basic Integrity“ bis SIL 4. Dieses Whitepaper zeigt, wie VectorCAST die erforderlichen Nachweise hinsichtlich Testdurchführung, Testabdeckung und Rückverfolgbarkeit für diese Verfahren liefert.
VectorCAST bietet Support in jeder Phase der Bewertung Ihrer Eisenbahn-Software
Ein Tool für SIL 3 und SIL 4
Für die Sicherheitsstufen SIL 3 und SIL 4 schreibt die Norm EN 50716 dynamische Analysen und Tests, Rückverfolgbarkeit, Codeabdeckung sowie Funktions- und Black-Box-Tests vor. VectorCAST deckt alle vier Anforderungen ab, ohne dass ein zweites Verifikationstool erforderlich ist.
Abdeckung für jede SIL
Anweisungen, Verzweigungen und MC/DC-Abdeckung aus jedem von Ihnen durchgeführten Test, zusammengefasst über Unit-, Integrations- und Systemtests hinweg, mit automatisch generierten MC/DC-Wahrheitstabellen.
Jede Anforderung wurde zurückverfolgt
Das Requirements Gateway verknüpft jede Anforderung mit den dazugehörigen Testfällen und übermittelt den Status „bestanden“ oder „nicht bestanden“ an Ihr Anforderungstool.
Evidenz, die stets aktuell bleibt
Die Norm EN 50716 schreibt bei jeder Änderung der Eisenbahn-Software eine Auswirkungsanalyse und eine erneute Verifikation vor. VectorCAST führt zunächst nur die betroffenen Tests erneut durch und anschließend die gesamte Regressionssuite im automatisierten Modus.
Vom Quellcode zu den gewünschten Ergebnissen
VectorCAST führt Sie vom Quellcode zu den Testergebnissen auf Ihrer Zielhardware, ohne dass Sie den Code für den Test-Harness manuell schreiben müssen. Dieselben Testfälle werden von der Komponententestphase über die Integration und Validation bis hin zur Wartung weiterverwendet.
Generieren Sie den Kabelbaum
Richten Sie VectorCAST auf Ihren Quellcode und Ihre Einbindepfade ein. Das Programm erstellt den Testtreiber und die Stubs, sodass Sie Komponenten testen können, noch bevor der Rest der Software verfügbar ist.
Führen Sie das Programm auf Ihrem Zielsystem aus
Führen Sie Tests auf einem Host, einem Simulator oder auf Ihrer Zielplatine an der Rennstrecke bzw. an Bord durch. Die Grenzwerte stammen aus den tatsächlichen Wertebereichen Ihres Zielsystems.
Wiederverwendung durch Validation
Übertragen Sie dieselben Testfälle in die Integrations-, Validation- und Regressionstests und überreichen Sie Ihrem Prüfer Berichte im HTML- oder Textformat.
Laden Sie das Whitepaper herunter
Verifikation gemäß EN 50716 mit VectorCAST
Verwenden Sie die Nachweise, die VectorCAST für jede Methode erstellt, um Ihre Verifikation von „Basic Integrity“ bis SIL 4 zu planen.
- Welche Verifikationstechniken schreibt die Norm EN 50716 für die einzelnen SIL-Stufen vor?
- Wie lässt sich die Abdeckung zwischen Unit- und System-Tests aufteilen?
- Wie lassen sich Testnachweise von der Komponententestung bis hin zur Wartung weiterführen?
Einhaltung der Standards zur funktionalen Sicherheit
VectorCAST
