Sehen Sie, welche API-Testlösung im GigaOm Radar Report am besten abgeschnitten hat. Holen Sie sich Ihren kostenlosen Analystenbericht >>
IEC 61508
IEC 61508-Konformität und Tools
Führen Sie die Softwareüberprüfung und -validierung für IEC 61508 mit Parasoft C/C++-Testlösungen durch. Reduzieren Sie die Kosten für die Einhaltung der IEC 61508. Automatisieren Sie die vom Standard geforderten Testmethoden.
IEC 61508
Was ist IEC 61508?
IEC 61508 ist ein internationaler Standard zur funktionalen Sicherheit elektrischer, elektronischer und programmierbarer elektronischer (E/E/PE) Systeme. Er bietet einen Rahmen zur Gewährleistung der Sicherheit und Zuverlässigkeit von Systemen während des gesamten Entwicklungslebenszyklus.
Erfüllen Sie IEC 61508
Stellen Sie sicher, dass Ihre sicherheitskritische Software die strengen Sicherheitsintegritätsanforderungen erfüllt, indem Sie die Verifizierungsprozesse nach IEC 61508 beherrschen, kritische Fehler vermeiden und Sicherstellung der Compliance-Anforderungen.
Leitfaden zur Erreichung funktionaler Sicherheit in der industriellen Automatisierung
Erfahren Sie, wie Sie automatisierte Tests nutzen können, um die Anforderungen des Softwareentwicklungsprozesses für bestimmte SIL-Stufen gemäß der Norm IEC 61508 ganz oder teilweise zu erfüllen.
Vorteile, die Parasoft für IEC 61508 mit sich bringt
Erreichen Sie Compliance für Industrielle Automatisierungssysteme durch Automatisierung von Verifizierungs- und Validierungsprozessen wie Codeüberprüfungen, Anforderungsrückverfolgbarkeit, statische Analyse, Unittests und Codeabdeckung. Dieser Ansatz reduziert Entwicklungskosten, gewährleistet Sicherheit und beschleunigt die Zertifizierungszeitpläne.
Statische Analyse – IEC 61508
Untersuchen Sie Ihren Quellcode automatisch mit unserer leistungsstarken Code-Analyse-Engine, um potenzielle Fehler, Sicherheitslücken und Verstöße gegen Code-Standards frühzeitig zu erkennen. Dies gewährleistet die Einhaltung von Kodierungsstandards wie MISRA, CERT und mehr.
Gewährleistung der Einhaltung funktionaler Sicherheitsstandards | Teams erhalten von Parasoft Compliance-Unterstützung durch eine Vielzahl von Testmethoden wie Anforderungsrückverfolgbarkeit und Compliance-Reporting. Diese Methoden gewährleisten sichere und zuverlässige C- und C++-Anwendungen. |
Sicherheitstests mit statischer Analyse (SAST) | Sorgen Sie für robuste Softwaresicherheit für sicherheitskritische Systeme. Integrieren Sie Folgendes in Ihre statischen Analyseprozesse:
|
Kontrollflussanalyse | Identifizieren Sie potenzielle Ausführungspfade durch ein Programm und verfolgen Sie die Steuerungsbewegung. Dadurch können Sie toten Code oder Logik sowie flussbezogene Probleme erkennen, die für die Einhaltung der Compliance von entscheidender Bedeutung sind. |
Datenflussanalyse | Identifizieren Sie Schwachstellen wie nicht initialisierte Variablen und Injektionsfehler. Finden Sie außerdem unsichere Datenverarbeitung in elektronischen Systemen mit Sensoren, Steuerlogik, Aktoren und Mikroprozessoren, die hohe Sicherheitsintegritätsstufen (SIL) erfordern. |
Rundgänge und Inspektionen | Verbessern Sie die statische Analyse mit Walkthroughs oder unserem Code Review-Modul. Automatisieren Sie Vorbereitung, Benachrichtigung und Nachverfolgung. Dadurch wird sichergestellt, dass effiziente Überprüfungen den Anforderungen des Standards an unabhängige Bewertung und Rückverfolgbarkeit entsprechen. |
Intelligenter testen mit KI und ML | Nutzen Sie künstliche Intelligenz und maschinelles Lernen, um statische Analyse-Workflows zu verbessern. Teams können die Priorisierung kritischer Probleme automatisieren. GenAI erklärt und schlägt Korrekturen für Verstöße gegen statische Analysen vor, um die Compliance-Bemühungen zu optimieren. |
Dynamische Analyse – IEC 61508
Automatisieren Sie die Testausführung, um Probleme während der Laufzeit zu erkennen. Dies ist wichtig, um Validierungsanforderungen zu erfüllen. Unser Softwaretest-Framework für C und C++ unterstützt Unittests, Integrationstests, Systemtests und mehr. Teams können auch beliebte Frameworks wie GoogleTest nutzen.
Unit Tests | Isolieren Sie Einheiten mit automatisierten Stubbing-Frameworks und Mocks, um das Verhalten über verschiedene Eingaben hinweg zu validieren. Dadurch wird die Einhaltung der Sicherheitsintegritätsstufen nach IEC 61508 gewährleistet. |
Automatisierte Testfallgenerierung | Generieren Sie Testfälle automatisch, um Randfälle und Fehlerzustände abzudecken und so den manuellen Aufwand zu reduzieren. Außerdem erhöht es die Testabdeckung, um sicherzustellen, dass jede Codezeile überprüft wird. |
Strukturelle Codeabdeckung | Erfüllen Sie die Anforderungen an eine 100%ige Codeabdeckung mit Parasofts Unterstützung für Anweisungs-, Verzweigungs- und MC/DC-Codeabdeckung. Stellen Sie sicher, dass Sie gründliche Tests durchführen, um ungetesteten und toten Code zu identifizieren. |
Rückverfolgbarkeit der Anforderungen
Automatisieren Sie die bidirektionale Rückverfolgbarkeit zwischen Anforderungen, Testfällen, Testergebnissen, dem Quellcode und Codeüberprüfungen, um Ziele zu erreichen und Compliance-Anforderungen zu erfüllen. Behalten Sie die Ausrichtung gemäß IEC 61508 auf die Lebenszyklusdokumentation und die Rückverfolgbarkeitsmatrix für Anforderungen bei.
Compliance-Berichterstattung
Verfolgen Sie den Fortschritt bei der Einhaltung von IEC 61508 automatisch mit dynamischen Dashboards. Erstellen Sie Berichte, um die Einhaltung nachzuweisen und Audits durchzuführen. Teams erhalten auch Einblick in die Testergebnisse, selbst bei großen oder älteren Codebasen.
Integrieren Sie statische und dynamische Analysen in Ihren CI/CD-Workflow
Die statische Analyse, Unit-Tests, Regressionstests, Code-Abdeckung und Anforderungsrückverfolgbarkeit von Parasoft lassen sich nahtlos in CI/CD-Pipelines integrieren. Teams können die meisten dieser Funktionen auch in andere Test-Frameworks wie Boost.Test integrieren, um zuverlässige, sicherheitskonforme Software sicherzustellen, die mit IEC 61508 übereinstimmt.
Werkzeugqualifikation
Unsere C/C++-Testlösungen wurden vom TÜV SÜD nach IEC 61508 für alle SIL-Stufen zertifiziert. Das Konformitätszertifikat erfüllt die Anforderungen der IEC 61508, sodass keine weiteren Maßnahmen erforderlich sind. Auf Wunsch bieten wir ein Tool-Qualifizierungskit an, das den Prozess zur Durchführung der Tool-Qualifizierung innerhalb Ihres Entwicklungsökosystems automatisiert.
Lösungen zur Erfüllung der Ziele der IEC 61508
C / C ++ - Test
C/C++test ist eine umfassende automatisierte Softwaretestlösung für sicherheitskritische Anwendungen und lässt sich nahtlos in CI/CD-Pipelines und IDEs integrieren. Stellen Sie mit statischer Analyse, dynamischer Analyse, Anforderungsverfolgbarkeit, Codeabdeckung und Berichterstellung sicher, dass Ihre Software die in IEC 61508 definierten Verifizierungsanforderungen erfüllt.
Mehr lesen
C/C++-Test-CT
C/C++test CT automatisiert die Codeabdeckung und Anforderungsrückverfolgbarkeit für Systeme, die IEC 61508-Konformität erfordern. Es lässt sich in Testframeworks wie GoogleTest, CppUTest, UnitTest++ oder andere und CI/CD-Pipelines integrieren, um V&V-Aktivitäten zu optimieren.
Mehr lesen
DTP
Parasoft DTP aggregiert Testergebnisse und die Rückverfolgbarkeit von Anforderungen, um die Einhaltung von IEC 61508 sicherzustellen. Das dynamische Dashboard bietet Einblick in Lücken und Testfortschritte und unterstützt iterative Sicherheitsbewertungen.
Mehr lesen
++ versichern
Erkennen Sie Speicherprobleme, Laufzeitfehler und Sicherheitslücken wie Pufferüberläufe und Speicherlecks mit Insure++. Es visualisiert Speicherzuweisungen und -freigaben für sicherheitskritische IEC 61508-Software.
Mehr lesenWarum Parasoft?
Profitieren Sie durch unsere umfassenden Lösungen von einzigartigen Compliance-Vorteilen. Durch die Automatisierung kritischer Prozesse wie statischer und dynamischer Analyse, Anforderungsrückverfolgbarkeit und struktureller Codeabdeckung gewährleistet Parasoft eine effiziente und zuverlässige Überprüfung sicherheitskritischer Medizingerätesoftware. Unsere Lösungen lassen sich nahtlos in vorhandene Entwicklungsumgebungen integrieren. Teams optimieren Arbeitsabläufe und beschleunigen Compliance-Bemühungen.
Dedizierte Integrationen
Vereinfachen Sie Arbeitsabläufe für komplexe sicherheitskritische Systeme, indem Sie Parasoft-Lösungen mit eingebetteten IDEs und Debuggern integrieren. Zu den unterstützten Umgebungen gehören Eclipse, VS Code, Green Hills MULTI, Wind River Workbench und mehr.
System-zu-System-Tests für funktionale Sicherheit
Verwenden Sie für Tests auf Systemebene Parasoft SOAtest und Virtualize. Automatisieren Sie funktionale API-Tests und stabilisieren Sie Abhängigkeiten, um die Aktivitäten zur Einhaltung der IEC 61508-Vorgaben zu beschleunigen.
Zeit- und Kostenersparnis
Reduzieren Sie den Zeit- und Kostenaufwand für die Einhaltung der IEC 61508. Automatisieren Sie arbeitsintensive Aufgaben mit unseren Lösungen, die gezielte Erkenntnisse liefern.
Zielgerichtetes Testen von Hardware und Software
Stellen Sie eine genaue und zuverlässige Softwareleistung sicher, wenn sie in die tatsächliche Hardware integriert ist. Verwenden Sie unsere C/C++-Testlösungen, um die Software auf der tatsächlichen Zielhardware zu testen. Dies ist ein Muss, um hardwarespezifische Probleme zu erkennen, Annahmen zu validieren und Anforderungen für reale Bedingungen zu erfüllen.
Häufig gestellte Fragen
Verbessern Sie Ihre Softwaretests mit Parasoft-Lösungen.