Cookie Warning

This site uses cookies to help improve your experience

Please follow the link to find out more about cookies. Learn more

I understand
 

Industrial & Energy | IEC 61508

Industriesteuerungen | IEC 61508

Unglücke wie die Piper Alpha Ölplattform und die nachfolgende Verschmutzung des Golfs von Mexiko durch Erdöl haben die Aufmerksamkeit auf die Sicherheit industrieller Anwendungen im Bergbau, in der Öl- und Gasindustrie, sowie der Schwer- und der Prozessindustrie gelenkt. Viele Anwendungen im Markt für Industriesteuerungen verlangen den IEC 61508 Standardnachweis, der die funktionale Sicherheit programmierbarer elektronischer Systeme festlegt. Der Nachweis von IEC 61508 mit traditionellen manuellen Methoden ist jedoch zeitaufwendig, teuer und fehleranfällig. Daher setzen Firmen zunehmend zertifizierte Softwarewerkzeuge ein, die ihnen beim Nachweis von IEC 61508 helfen, ihren Entwicklungsprozess zusätzlich geradliniger machen und automatisieren um so die Risiken zu minimieren und die Entwicklung, die Verifizierung und die Installation voran zu treiben.

LDRA hat eine unerreichte Historie was sicherheitskritische Anwendungen im Markt für Industriesteuerungen betrifft

LDRA bringt seine beneidenswerte Historie von erfolgreichen Einsätzen bei Projekten in der Luftfahrtindustrie in den Markt für Industriesteuerungen ein. TÜV SÜD hat die Verwendung der LDRA Werkzeugreihe für sicherheitskritische Entwicklungen im Markt für industrielle Sicherheit unter IEC 61508-3:2010 zertifiziert und dabei auch den LDRA eigenen formalen Entwicklungs- und Verifizierungsprozess und die Funktionen, die die LDRA Werkzeugreihe bietet, berücksichtigt.

Unsere Softwarequalitäts- und Testwerkzeuge sind für den Nachweis der strengsten Standards für sicherheitskritische Softwareentwicklungen geeignet. Von der Anforderungs- und Sicherheitszielsetzungsverfolgbarkeit über die Entwurfs- Entwicklungs- und Verifizierungsphase kann die LDRA Werkzeugreihe Ihrem Team dabei helfen sicherere Softwaresysteme schneller und kostengünstiger zu entwickeln.

LDRA hat für Entwickler von sicherheitskritischen Systemen signifikante Vorteile:

  • • Anforderungsverfolgung. TBmanager ist die einzige Anforderungsverfolgungslösung, die das Verfolgen von Anforderungen, der Entwicklungs- und Verifizierungsartefakte und -aktivitäten durch den gesamten Softwareentwicklungslebenszyklus hindurch gestattet. Die Verfolgung in beide Richtungen erlaubt die vollständige Überdeckungs- und Einflussanalyse durch alle Phasen der Entwicklung hindurch, angefangen von den Anforderungen bis zur Entwicklung und Verifizierung, sowie der Nachweisproduktion und der Dokumentierung in einer umfassenden Anforderungsverfolgungsmatrix.
  • • Codierstandardnachweis. Die TBvision Funktionen zur statischen Analyse erleichtern die Erzwingung von Codierstandards in Ihrer gesamten Organisation und verbessert die allgemeine Konsistenz und die Qualität des Codes. TBvision hilft Ihrem Team dabei die Codierstandards zu erzwingen, die sich für Sie als richtig erweisen, angefangen von Ihren firmeninternen Erfahrungen und Richtlinien bis zu anerkannten Industriestandards, oder eine Kombination beider. Beispiele unterstützter Standards umfassen MISRA C, MISRA C++, CERT C, CERT C++, CERT Java, Netrino C und JSF++ AV.
  • • Strukturierte Überdeckungsanalyse. Die LDRA Werkzeugreihe verhilft Ihrem Team zum Nachweis, dass der entwickelte Code auch die strengsten Überdeckungsanalyseanforderungen, einschließlich der Anweisungs-, Verzweigungs-, Prozedur-/Funktionsaufruf-, MC/DC (wie speziell für ASIL Ebene D) und der dynamischen Datenflussüberdeckung ab.
  • • Objektcodeverifizierung. Das LDRA TBobjectBox-Modul ist der einzige direkte Weg um Codeüberdeckung auf Quellcodeebene mit demjenigen auf Objektcodeebene zu verknüpfen um eine vollständige Objektcodeverifizierung (Object Code Verification (OCV)) zu erreichen.
  • • Programmeinheits-, Integrations- und Systemtest. TBrun hilft den Entwicklern Verzögerungen und Kostensteigerungen zu vermeiden, die durch die Entdeckung von Defekten in der Softwareentwicklung sehr spät in der Entwicklungs- oder Systemtestphase entdeckt werden. Noch wichtiger ist, dass TBrun eine riesige Anzahl von langwierigen, fehleranfälligen manuellen Testtechniken eliminiert durch die Anwendung rigoroser Analysen des Quellcodes und die Automatisierung der Erzeugung und Ausführung von Testfällen am untersuchten Code. TBrun verbessert daher leicht und einfach den erzeugten Quellcode und stellt die Verifizierung der getesteten Anwendung sicher.
  • • Werkzeugqualifizierung. LDRA unterstützt den Qualifizierungsprozess für die Qualifizierung seiner Werkzeugreihe für die strukturierte Überdeckungsanalyse (SCA), die Programmierregelüberprüfung (PRC) und für die Daten- und Kontrollflusskopplung (DCCC). Das LDRA Werkzeugqualifizierungsunterstützungspaket enthält die Testfälle für die SCA, PRC und DCCC Nachweise der Werkzeugreihe. Zusätzlich wird Dokumentation für die Entwicklung und Verifizierung des Produktes zur Verfügung gestellt, einschließlich Plänen, Prozeduren und erwarteter Ergebnisse.

Attachments:
Access this URL (http://www.ldra.com/en/which-tools?layout=step1)which-tools[ ]

What people say

The development time was reduced by about 25% and the testing time by about 75%, as well as the quality of testing and coding increasing.

LBS West

Contact Us

What people say

The truth of the matter is that the LDRA tool suite brings a lot more to the table than other MISRA compliant solutions, the LDRA tool suite is by far the best implementation we have found.

HCC Embedded