IEC/EN 61508, IEC/EN 50657 / 50128, IEC/EN 60601, IEC/EN 61513, IEC/EN 61511 und DO-178C
Die IEC (International Electrotechnical Commission) ist ein internationales Gremium für Normen im Bereich der Elektrotechnik und Elektronik.
IEC/EN 61508 ist eine vom IEC herausgegebene internationale Norm für die Erstellung von elektrischen, elektronischen und programmierbaren elektronischen (E/E/PE) Systemen, die eine Sicherheitsfunktion ausführen.
Die Norm EN 61508 findet vor allem in der sicherheitskritischen Softwareentwicklung der Bereiche industrielle Prozesskontrolle, Automation und Automotive Verwendung.
Die aus IEC/EN 61508 entstandene nationale Sicherheitsnorm DIN EN 61508 unterscheidet vier verschiedene Sicherheits-Integritätslevel, (SIL-Level bzw. Safety Integrity Level) wobei die Sicherheits-Integritätslevel 4 und 3 (SIL 4 bzw. SIL 3) die höchsten Stufen der Sicherheitsintegrität und der Sicherheits-Integritätslevel 1 (SIL 1) die niedrigste Stufe ist. Für Systeme, die keinerlei Sicherheitsanforderungen genügen müssen hat sich die Bezeichnung Sicherheits-Integritätslevel 0 eingebürgert.
IEC 61508 ermöglicht die separate Zertifizierung von Software-Komponenten. Die Anforderungen der Norm IEC 61508 an die Dokumentation sind dabei ähnlich der Anforderunen der Norm DO-178/ED-12.
Der IEC 61508-Sicherheitsstandard ist ein übergeordneter Standard für Normen wie EN 50128 für sicherheitsrelevante Software der Eisenbahn, IEC 60601 für "Medizinische elektrische Geräte", IEC 61513 im Nuklearbereich und IEC 61511 im Bereich der Prozessindustrie.
IEC/EN 61508 fordert für Softwarekomponenten die Anwendung eines strengen und systematischen Softwareentwicklungsprozesses, der unter anderem den Nachweis der Test-Coverage (Code Coverage) fordert.
Testwell CTC++ Test Coverage Analyzer for C and C++" deckt alle Testüberdeckungsarten bis zur Modified Condition Decision Coverage (MC/DC) ab und kann für Zertifizierungen wie EN 61508, EN 50128, IEC 60601, IEC 61513, IEC 61511 und DO-178C eingesetzt werden.
Testwell CTC++ "Test Coverage Analyzer for C and C++" ist ein benutzerfreundliches und einfach einsetzbares Testabdeckungstool, das klare und einfach auswertbare Ergebnisse liefert.
Bei der Entwicklung von Embedded Software kann CTC++ aufgrund seines geringen Instrumentation-Overheads grundsätzlich für alle Targets (auch solche mit geringem Speicherplatz) eingesetzt werden.
Anpassungen für alle gängigen Zielsysteme werden mit dem Coverageanalyzer ausgeliefert. Der im Quellcode mitgelieferte Host-Target-Add-on erlaubt zudem eine schnelle Anpassung an neue Targets.
Testwell CTC++ ist in einer Vielzahl von sicherheitskritischen Projekten in der Luft- und Raumfahrt, im Schienenverkehr, der Automobilindustrie und der Medizintechnik im Einsatz (einige Referenzen).
Zertifizierung / Qualification-Kit
Für Testwell CTC++ 10.x steht ein Zertifikat der TÜV Süd Rail GmbH für die Nutzung in sicherheitskritischen Projekten (alle SIL- und ASIL-Levels) zur Verfügung.Verifysoft bietet ein Qualification-Kit für Testwell CTC++ (aktuell für Versionen 9.x und früher) an, welches die Sicherheitsnormen DO-178C, EN-50128, IEC 61508 und ISO 26262 abdeckt.