IEC 61508 Funktionale Sicherheit für Industriesoftware mit CppDepend

IEC 61508 ist der übergreifende Standard für funktionale Sicherheit elektrischer, elektronischer und programmierbarer elektronischer sicherheitsrelevanter Systeme. Er untermauert Sektorstandards in Energie, Prozessindustrie, Bahn und Maschinenbau und definiert Safety Integrity Levels (SIL 1–4). Für Software empfiehlt IEC 61508-3 statische Analyse, Coding-Standards und defensive Programmierung — mit steigender Strenge je nach SIL.

IEC 61508-3 Software-Anforderungen

• Coding-Standards und -Teilmengen: Verwendung sichererer Sprachteilmengen (z. B. MISRA C) mit nachgewiesener Durchsetzung.
• Statische Analyse: Erkennung von Defekten, unerreichbarem Code und Datenflussanomalien als Teil der Verifikation.
• Modularität und begrenzte Komplexität: begrenzte Modulgröße und Komplexität, angemessen zum SIL.
• Änderungsauswirkungsanalyse: objektive Bewertung von Änderungen über den Sicherheitslebenszyklus.

Wie CppDepend IEC-61508-Projekte unterstützt

• Integrierte MISRA/CERT-Regelsätze für die Coding-Standard-Säule, plus benutzerdefinierte CQLinq-Regeln für projektspezifische Constraints.
• Komplexitätsbudgets: setzen Sie Komplexitätsschwellenwerte pro Funktion und Modul durch, abgestimmt auf Ihre SIL-Ziele.
• Architekturvalidierung: weisen Sie die Trennung zwischen sicherheitsrelevanten und nicht sicherheitsrelevanten Softwarekomponenten nach.
• Auswirkungsanalyse: Baseline-Diffs zeigen exakt, was sich zwischen zwei Verifikationszyklen geändert hat.
• Quality Gates in CI: blockieren Sie Regressionen automatisch bei jedem Build der sicherheitsrelevanten Codebasis.

Verwandte Branchen & Fallstudien

• Fallstudie: Zuverlässigkeit in kritischen Energiesystemen
• Fallstudie: Sicherheit in Embedded-Firmware

Verwandte Coding-Standards

MISRA C · ISO 26262 · IEC 62304 · DO-178C