Energie
Im Energiesektor können die Kosten und Konsequenzen von Softwarefehlern extrem hoch sein.Software Bugs können finanzielle Verluste, Störungen oder Beeinträchtigung von Kraftwerken zur Folge haben. In sicherheitskritischen Anwendungen kann schlechte Software zu Verletzungen oder sogar zum Tod von Menschen führen.
Aus diesem Grund sind gute Softwarequalität und effiziente Softwaretests sehr wichtig.
Für die Entwicklung programmierbarer Geräte mit Sicherheitsfunktion kann der “allgemeine” Standard IEC 61508 genutzt werden.
Die Norm IEC 61226 (“Nuclear power plants - Instrumentation and control important to safety“) ist anwendbar bei Kernkraftwerken. Sie klassifiziert die Software in verschiedene Sicherheitslevel: A, B und C.
IEC 60880 bezieht sich auf die höchste Kategorie A. Die Level B und C werden mit dem Standard IEC 62138 behandelt.
Beide Normen (IEC 61508 und IEC 60880) erfordern die Verwendung von Programmierrichtlinien wie MISRA. Programmierrichtlinien können mit Statischer Code Analyse abgeprüft werden.
Unser Test Coverage Analyser Testwell CTC++ kann genutzt werden, um die Bedingungen von IEC 60880 (Kernkraft) in Hinblick auf die Analyse der Code Coverage erfüllen zu können.
Das Tool Qualification Kit for Testwell CTC++ hilft Ihnen, Ihre Produkte durch Qualifizierung von Testwell CTC++ zu zertifizieren.
Testwell CTC++ und das Qualification Kit sind konform zu der IEC 60880 und können für die höchsten Sicherheitsstufen in der Kernkraftindustrie genutzt werden.
Erfüllen Sie die Code-Coverage-Anforderungen der IEC 61508 und IEC 60880 mit Testwell CTC++ Test Coverage Analyser
Testwell CTC++ Test Coverage Analyser wird erfolgreich in IEC 61508 und IEC 60880 Projekten eingesetzt.Testwell CTC++ macht die Analyse der Testabdeckung zur einer einfachen Tätigkeit. Das Tool zeigt alle Code-Coverage-Stufen, die von den Normen verlangt werden. Die Ergebnisse von Testwell CTC++ werden im Text- oder XML-Formaten gespeichert und können bei Bedarf in einfach verständliche HTML- oder JSON-Berichte umgewandelt werden.
Testwell CTC++ zeigt Statement Coverage, Decision/Condition Coverage, Modified Condition Decision Structural Coverage (MC/DC) und sogar Multiple Condition Coverage.
Das Tool hat einen äusserst geringen Speicherbedarf und kann dadurch für alle - selbst kleinste - embedded Targets und Microcontroller genutzt werden. Es arbeitet mit allen Compilern und Cross-Compilern.
Testwell CTC++ wird in sicherheitskritischen Projekten intensiv genutzt. Das Tool Qualification Kit for Testwell CTC++ macht die Qualifizierung von Testwell CTC++ in Ihren Projekten einfach und hilft dabei, Ihre Produkte zu zertifizieren.
Erfahren Sie hier mehr über Testwell CTC++
Statische Code Analyse
CodeSonar ist ein Statisches Code Analyse Tool, welches speziell für Umgebungen konzipiert wurde, die absolut fehlerfrei sein müssen.CodeSonar kann einen signifikanten Beitrag zu IEC 61508 und IEC 60880 betreffenden Aktivitäten leisten.
Anspruchsvolle Analysen liefern zahlreiche Anhaltspunkte für die Verifizierung. Mit seiner fortschrittlichen statischen Analyse ist CodeSonar eines der effektivsten Tools um die kostenintensivsten und am schwierigsten zu findenden Mängel bereits früh im Entwicklungszyklus aufzudecken und zu eliminieren.
CodeSonar findet automatisch Bugs in C, C++ und Java geschriebener Software. Dank der interprozedualen Analyse ist das Werkzeug außergewöhnlich präzise und findet durchschnittlich doppelt so viele kritische Fehler wie Tools anderer Anbieter. Es hat in zahlreichen Vergleichen als bestes Werkzeug abgeschnitten. Darüber hinaus unterstützt CodeSonar viele Coding-Standards.
Imagix 4D ist ein Tool, das dabei hilft, Third Party oder Legacy Source Code in C, C++ und Java zu verstehen und zu dokumentieren. Das Tool kann dazu genutzt werden, komplexen Code zu verbessern. Imagix 4D automatisiert die Analyse des Kontrollflusses und der Abhängigkeiten. Desweiteren entdeckt das Tool Probleme in der Datennutzung und bei Nebenläufigkeiten von Tasks.
Mit Imagix 4D erhöhen Sie die Produktivität, verbessern die Qualität und reduzieren Risiken.
Testwell CMT++ analysiert die wichtigsten Metriken wie Lines-of-code Metrics (LOC), Halstead-Metriken, McCabe Cyclomatic Number v(G), Wartbarkeitsindex/Maintainability Index und Max ND / Maximale Schachtelungstiefe / Maximum Nesting Depth. Das Tool ist sehr einfach zu nutzen, extrem schnell und analysiert auch größte Codebasen.
Seminare
Entwickler und Manager von sicherheitskritischer Software benötigen bestes Fachwissen um exzellente Software liefern zu können.Verifysoft unterstützt Sie mit Seminaren und Workshops.
Hunderte von Unternehmen und Organisationen verbessern ihre Softwarequalität mit Testlösungen von Verifysoft
Verifysofts Testlösungen haben nachweisliche Erfolge in der sicherheits- und missionskritischen Softwareentwicklung für den Energiesektor.Zu unseren zufriedenen Kunden zählen unter anderem:
ABB
AREVA
CATL (China)
Contemporary Amperex
Kongsberg (Norway)
Siemens Wind Power
Westinghouse
Lesen Sie hier was unsere Kunden aus dem Energiesektor über unsere Tools sagen:
"Testwell CTC++ wird in unseren embedded Projekten auf embedded Targets eingesetzt. Es war einfach auf den Target zu integrieren. Das Tool hat ein gut geschriebenes Benutzerhandbuch und Verifysoft überzeugt mit einem guten Kundensupport."
Anna Andgart, Software-Entwicklerin
ABB AB, Control Technologies, Schweden
Anna Andgart, Software-Entwicklerin
ABB AB, Control Technologies, Schweden
Wir nutzen Testwell CTC++ sehr intensiv in unserer Entwicklung und dem Testen von sicherheitskritischer Software für Kernkraftwerke.
Das Tool wird dabei nicht nur auf Host Systemen sondern auch auf anderen Embedded Target Plattformen genutzt. Ziel ist es, mühelos Statement/Decision oder MC/DC Coverage zu messen, um die Testanforderungen der für Kernkraftwerke gültigen Norm IEC608080 sowie die auf europäischer Ebene verabschiedeten und in den "Licensing of safty critical software for nuclear reactors" festgelegten Regularien zu erfüllen.
Der Support von Verifysoft ist sehr hilfreich, schnell, direkt und zielgerichtet.
Thorsten Oertel, Senior Firmware Engineer
AREVA GmbH, Deutschland
Das Tool wird dabei nicht nur auf Host Systemen sondern auch auf anderen Embedded Target Plattformen genutzt. Ziel ist es, mühelos Statement/Decision oder MC/DC Coverage zu messen, um die Testanforderungen der für Kernkraftwerke gültigen Norm IEC608080 sowie die auf europäischer Ebene verabschiedeten und in den "Licensing of safty critical software for nuclear reactors" festgelegten Regularien zu erfüllen.
Der Support von Verifysoft ist sehr hilfreich, schnell, direkt und zielgerichtet.
Thorsten Oertel, Senior Firmware Engineer
AREVA GmbH, Deutschland