IEC 61508 Einhaltung von Parasoft

Die IEC 61508 gilt als internationale Grund- oder Dachnorm für funktionale Sicherheit. Die IEC 61508 kann für alle sicherheitsrelevanten elektrischen / elektronischen Produkte angewendet werden. Branchen sollen nach Bedarf ihre eigenen spezifischen Standards, Dokumente und Richtlinien bereitstellen (zum Beispiel) ISO 26262  in der Automobilindustrie). Die IEC 61508 umfasst den gesamten Sicherheitslebenszyklus sicherheitskritischer Systeme. Es enthält 4 normative Teile (1-4) sowie 3 informative oder „Richtlinienteile“ (5-7). Die Zertifizierung nach IEC 61508 ist optional - die Norm verlangt dies nicht speziell.

Die technische Norm IEC 61508 führt das Konzept des Safety Integrity Level (SIL) ein. SIL kann eine der vier Stufen (SIL1-SIL4) annehmen, die dem Bereich der Zielwahrscheinlichkeit einer bestimmten Sicherheitsfunktion für gefährliche Ausfälle entsprechen. Jeder Sicherheitsfunktion in einem sicherheitsrelevanten System muss eine angemessene Sicherheitsintegritätsstufe zugewiesen werden. Ein sicherheitsrelevantes E / E / PE-System implementiert normalerweise mehr als eine Sicherheitsfunktion. Wenn sich die Sicherheitsintegritätsanforderungen für diese Sicherheitsfunktionen unterscheiden, gelten die Anforderungen für die höchste relevante Sicherheitsintegritätsstufe für das gesamte sicherheitsrelevante E / E / PE-System, sofern keine ausreichende Unabhängigkeit von der Implementierung zwischen ihnen besteht.

Durchsetzung der IEC 61508-Konformität mit Quellcode-Analyse, Unit-Test, Rückverfolgbarkeit und mehr

Parasoft-Benutzer können nutzen Parasoft C / C ++ test und C/C++test CT, um die Kosten für die Erreichung der IEC 61508-Konformität zu senken, indem mehrere von der Norm geforderte Testmethoden automatisiert werden, um Zeit und Aufwand zu sparen. Parasoft C/C++test hilft Entwicklungsteams für industrielle Automatisierungssoftware dabei, die in der Norm IEC 61508 definierten Anforderungen an den Softwareentwicklungs- und Verifizierungsprozess zu erfüllen. Wenn die Ergebnisse der breiten Palette von Test- und Codeanalysetypen automatisiert werden Parasoft C / C ++ test und C/C++test CT verarbeitet werden, werden intelligente Analysen erstellt, die den Aufwand für die Softwareverifizierung deutlich reduzieren.

Wie Parasoft Services zur Erreichung der IEC 61508-Konformität beitragen

Parasoft C / C ++ Test ist eine integrierte Entwicklungstestlösung zur Automatisierung einer Vielzahl von Best Practices, die nachweislich die Produktivität und Softwarequalität des Softwareentwicklungsteams verbessern, darunter:

• Statische Analyse: Überwachen Sie die Einhaltung der Codierungsstandards und verhindern Sie frühzeitig Fehler im SDLC, einschließlich der Beseitigung der Softwarekonstrukte, die Sicherheitsbedrohungen darstellen
• Unit-Test: Erstellen und Ausführen von Tests auf dem Host oder Ziel
• Analyse der Abdeckungsmetriken: Identifizieren Sie Lückentests, Anforderungen und Codeabdeckung
• Laufzeitfehlererkennung: Erkennen Sie Speicherzugriffsfehler, Lecks, Beschädigungen und mehr

Diese Technologien bieten Teams eine praktische Möglichkeit, Fehler zu verhindern, aufzudecken und zu korrigieren, um sicherzustellen, dass ihr C- und C++-Code wie erwartet funktioniert und den Anforderungen entspricht. Um eine schnelle Behebung zu ermöglichen, wird jedes erkannte Problem anhand konfigurierbarer Schweregradzuweisungen priorisiert, automatisch dem Entwickler zugewiesen, der den entsprechenden Code geschrieben hat, und an seine IDE mit direkten Links zum problematischen Code und einer Beschreibung zur Behebung des Problems verteilt. Für die eingebettete und plattformübergreifende Entwicklung kann Parasoft C/C++test sowohl in hostbasierten als auch zielbasierten Codeanalysen und Testabläufen verwendet werden.