Verifizierung von Software gemäß IEC 61508-3:2010

IEC 61508 Teil 3: Verifikationstechniken nach SIL und Bereiche, in denen Automatisierung Aufwand spart.

IEC 61508 ist der Standard für die funktionale Sicherheit für elektrische, elektronische und programmierbare elektronische Systeme, wobei Teil 3 spezifisch auf Software eingeht. Teams, die in den Bereichen industrielle Automatisierung, Prozesssteuerung, Robotik und Schwermaschinen tätig sind, entwickeln nach IEC 61508 oder nach darauf basierenden Branchenstandards. Dieses Whitepaper ordnet die in Teil 3 beschriebenen Verifikations- und Validationsmaßnahmen den Techniken in den Anhängen A und B zu, zeigt auf, welche davon für die einzelnen SIL-Stufen gelten, und erläutert, in welchen Fällen die Testautomatisierung den Aufwand für die Erstellung der Nachweise reduziert.

Der Abdeckungsbalken steigt mit jedem SIL an

In Teil 3 wird auf jeder Stufe – von den Einstiegspunkten bei SIL 1 bis hin zu MC/DC bei SIL 4 – ein Abdeckungstyp in die Liste der besonders empfohlenen Methoden aufgenommen. Der Beitrag erläutert jeden Typ, verwendet eine einzelne Beispielbedingung, um zu zeigen, welche Anforderungen an Anweisungen, Verzweigungen und die MC/DC-Abdeckung gestellt werden, und zeigt, wie eine aus dem Code generierte Wahrheitstabelle die von MC/DC geforderten Testpaare identifiziert.

Weniger Aufbau. Mehr Tests.

Der Beitrag zeigt auf, wo die Testautomatisierung bei Unit-Tests Zeit spart: beim Einrichten jedes einzelnen Tests, beim Ausführen auf Ihrer Hardware und beim erneuten Ausführen aller Tests, wenn sich der Code ändert.

Stellen Sie den Kabelbaum her

Das Tool generiert den Testtreiber und die Stubs für Code, der noch nicht vorhanden ist, sodass Sie jede Einheit einzeln testen können, ohne den Test-Harness-Code manuell schreiben zu müssen.

Führen Sie den Code dort aus, wo er läuft

Ausführen von Tests auf einem Host, einem Simulator oder der Zielplatine mithilfe eines Runtime Support Package.

Verfolgen und erneut ausführen

Ein Requirements Gateway verknüpft Anforderungen mit Testfällen, und die gesamte Regressionssuite wird bei Codeänderungen erneut ausgeführt.

VectorCAST ist vom TÜV SÜD gemäß IEC 61508 zertifiziert

In Teil 3 wird die Frage gestellt, wie Sie Vertrauen in Ihre Tools aufbauen – sei es durch eine formelle Zertifizierung oder durch zunehmendes Vertrauen aufgrund der Verwendung. Ein zertifiziertes Tool wird mit der Dokumentation für Ihren Compliance-Fall geliefert:

Zertifikat von TÜV SÜD
Betriebsanforderungen für das Tool
Daten zur Tool-Qualifizierung
Konformitätsanalyse gemäß IEC 61508

Laden Sie das Whitepaper herunter

Erhalten Sie die vollständigen SIL-Bewertungen nach SIL-Stufen

Das Dokument richtet sich an Embedded-Entwickler, Testingenieure und Verantwortliche für funktionale Sicherheit und behandelt alle 11 Techniken der Software-Verifikation aus Teil 3, einschließlich dynamischer Analyse, Black-Box-Tests, Rückverfolgbarkeit und Auswirkungsanalyse.