Empfohlenes Webinar: MISRA C++ 2023: Alles, was Sie wissen müssen | Zum Video

Industrial Automation

Industrielle Automatisierungssoftwarelösungen

Softwareentwicklung und -tests für die industrielle Automatisierung

Funktionale Sicherheitsstandards wie IEC 61508 und seine Derivate verlangen von Organisationen den Nachweis, dass die Software- und Sicherheitsanforderungen erfüllt und vollständig getestet sind. Seit über 30 Jahren unterstützt Parasoft Unternehmen bei der Einhaltung solcher Standards durch erforderliche Best Practices wie Komponententests, Testabdeckung, Softwaremetriken, Rückverfolgbarkeit und statische Code-Analyse mit integrierter Unterstützung für MISRA-, CERT- und andere Codierungsstandards der Automatisierungsbranche.

Bewältigen Sie die heutigen Herausforderungen bei der modernen Softwareentwicklung

Erhöhte Sicherheitsrisiken verwalten

Industrielle Automatisierungssysteme (und die Software, die sie antreibt) sind zunehmend miteinander verbunden und verwenden keine privaten Netzwerke mehr, sondern verlassen sich immer mehr auf das öffentliche Internet, um Sensoren an kritische Infrastruktursteuerungs- und Back-End-Unternehmenssysteme anzuschließen. Das Internet verbessert zwar die Flexibilität der Systeme, hat jedoch eine Explosion neuer Bedrohungen und Komplexitäten ausgelöst. Bei Sicherheitslücken in der Steuerungssoftware besteht die Gefahr, dass die Tore für einen Terroranschlag geöffnet werden, wenn eine unvorhergesehene Situation in diesem Prozess genutzt wird. Der Parasoft C / C ++ - Test bietet die umfassendste Softwaretestlösung für Sicherheit auf dem Markt für Sicherheit, sodass Unternehmen Software mit weniger Risiken entwickeln und freigeben können.

Bewältigen Sie die wachsenden Komplexitäten moderner Entwicklung und Konnektivität

Für mehrschichtige IIoT-Lösungen (Industrial Internet of Things) sind unterschiedliche Technologien und Tools erforderlich, um die Software für jede Schicht zu implementieren und zu testen. Low-Level-Sensoren und -Aktuatoren werden höchstwahrscheinlich mit C und C ++ entwickelt, während obere Schichten mit Java oder C # implementiert werden. Die Konnektivität erhöht die Komplexität mit mehreren Komponenten, die unterschiedliche Protokolle verwenden, um Nachrichten an den Endbenutzer weiterzugeben. Parasoft bietet Testtools für jede Komplexitätsebene, die nahtlos in ausgefeilte Berichte und Analysen integriert sind, um Unternehmen bei der Bewältigung dieser wachsenden Komplexität zu unterstützen.

IEC 61508 und seine Derivate einhalten

Für das erforderliche Maß an funktionaler Sicherheit entscheiden sich viele Unternehmen für die Entwicklung ihrer industriellen Automatisierungssysteme gemäß der Norm IEC 61508, die disziplinierte und strenge Softwareentwicklungs- und Testprozesse erfordert. Automatisierte Softwaretest-Tools von Parasoft senken die Kosten für die Einhaltung der IEC 61508, indem sie die automatisierten Tools bereitstellen, die zur effizienten Einhaltung der Anforderungen erforderlich sind, sowie ein zentrales Berichtssystem, das den Dokumentationsaufwand weniger manuell macht.

Parasoft-Lösungen für die industrielle Automatisierung

Die integrierte Tooloft-Suite von Parasoft bietet 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 fördern, wird jedes erkannte Problem anhand konfigurierbarer Schweregradzuweisungen priorisiert, automatisch dem Entwickler zugewiesen, der den zugehörigen 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 können Sie den C / C ++ - Test sowohl für hostbasierte als auch für zielbasierte Codeanalysen und Testabläufe verwenden.

Mit dem Parasoft C / C ++ - Test können Softwareentwicklungsteams für die industrielle Automatisierung die Anforderungen des Softwareentwicklungs- und Verifizierungsprozesses erfüllen, die in der Norm IEC 61508 definiert sind. Bei der Verarbeitung der Ergebnisse der zahlreichen Test- und Codeanalysetypen, die durch C / C ++ - Tests automatisiert wurden, werden intelligente Analysen gemeldet, die den für die Softwareüberprüfung erforderlichen Aufwand erheblich reduzieren.

Profitieren Sie vom Parasoft-Ansatz

Reduzieren Sie die Kosten für die Entwicklung hochwertiger Software, ohne die Markteinführungszeit zu beeinträchtigen.

Profitieren Sie von einem einheitlichen Tool mit mehreren Testmethoden

Der Parasoft C / C ++ - Test erfüllt mehrere in IEC 61508 aufgeführte Softwaretestanforderungen. Die Vollständigkeit der Lösung führt zu einem geringeren Lern- und Einrichtungsaufwand. Entwickler müssen nicht mehrere Tools erlernen und können sich auf ihre Kernaktivitäten konzentrieren. Werkzeugintegratoren oder Architekten sparen Zeit, die sie sonst für die Implementierung von Schnittstellen zwischen Werkzeugen zum Datenaustausch und zur Erstellung einheitlicher Berichte benötigen.

Verwenden Sie eine Werkzeugarchitektur, die für sicherheitskritische Anwendungen geeignet ist

Der Parasoft C / C ++ - Test wurde unter Berücksichtigung sicherheitskritischer Anwendungen entwickelt. Bei der Durchführung von Komponententests oder der Überwachung des Laufzeitspeichers werden alle zum Erstellen der Testbinärdatei erforderlichen Komponenten, einschließlich der Testfälle für getesteten Code, Stimulation und Stubs, in Form des Quellcodes ausgedrückt und können versioniert und überprüft werden. Durch das Ausdrücken aller Testartefakte in Form des Quellcodes stellt der C / C ++ - Test sicher, dass der Speicherstatus vor dem Ausführen von Tests auf dieselbe Weise wie im Produktionssystem erstellt wird.

Steigern Sie die Effizienz mit einem speziellen Qualifizierungskit für IEC 61508

Der Parasoft C / C ++ - Test wird mit einem speziellen IEC 61508-Qualifizierungskit unterstützt, das den Standardanforderungen für den Werkzeugqualifizierungsprozess entspricht. Anstatt nur Qualifizierungsunterstützung in Form der Sammlung von Testfällen und Vorlagen für Skripte und Berichte bereitzustellen, die viele Anpassungen erfordern, führt das automatisierte Qualifizierungs-Support-Tool von Parasoft die Benutzer durch alle Schritte, die zur Qualifizierung des Tools erforderlich sind, und automatisiert die Mehrheit der mühsamen manuellen Arbeit, die erforderlich ist, um das Werkzeug zu qualifizieren. Dies umfasst die Ausführung der Testfälle aus der bereitgestellten umfassenden Testsuite sowie die Erstellung der Abschlussberichte, die zur Dokumentation des Qualifizierungsprozesses erforderlich sind.

Sterne

"Die Lösung von Parasoft lehrt uns alle, bessere Programmierer zu sein. Sie hilft uns, Fehler zu finden, von denen wir nicht einmal erkannt haben, dass sie Fehler sind. Die Lösung von Parasoft hat dem globalen Modellierungs- und Analyseteam Zeit und Ressourcen gespart, die wir sonst für das Finden und Beheben von Fehlern aufgewendet hätten Mängel. Stattdessen können wir diese Zeit damit verbringen, neue Features und Funktionen hinzuzufügen. "

-Trane