Automotive und Transport

Sicherheitskritische Software für Anwendungen in der Automotive-Industrie müssen mit höchster Sorgfalt und Qualität entwickelt werden. Der Anteil an Software in Automobilen nimmt jährlich zu. Wegen des Risikos von Verletzungen oder Todesfällen sind die Anforderungen an die Softwareentwicklung im Automotivebereich enorm hoch. Auch ohne katastrophales Ereignis möchte kein Entwickler oder Projektmanager am Ursprung eines teuren Fahrzeugrückrufs stehen, der durch Softwarefehler verursacht wurde.
Die Normen ISO 26262 und IEC 61508 haben strikte Anforderungen hinsichtlich der Qualität der Softwareentwicklung und des Softwaretests in der Automobil- und Transportindustrie.
Gemäß des Automotive Safety Integrity Levels (für ISO 26262) und des Safety Integrity Level (für IEC 61508) werden spezielle Testabdeckungsstufen bis hin zur Modified Condition Decision Coverage (MC/DC) gefordert.
Statische Code Analyse hilft dabei, das Design, die Implementierung und das Testen in den verschiedenen Entwicklungsstufen zu verbessern und zu vereinfachen.
Der MISRA (Motor Industry Software Reliability Association) Standard hilft, "Best Practices" bei der Entwicklung von sicherheitskritischer Software in Straßenfahrzeugen zu nutzen.

Erfüllen Sie die Code-Coverage-Anforderungen der ISO 26262 und IEC 61508 mit Testwell CTC++ Code Coverage Analyzer

Um die Vollständigkeit von Testfällen bewerten zu können, fordert die ISO 26262 strukturelle Code Coverage. Abhängig vom Automotive Safety Integrity Level (ASIL) fordert die Norm 26262-6 im Kapitel 8.4.5 Statement Coverage, Branch Coverage und/oder MC/DC (Modified Condition/Decision Coverage).

Testabdeckungsstufe	ASIL A	ASIL B	ASIL C	ASIL D
Statement Coverage	+ +	+ +	+	+
Branch Coverage	+	+ +	+ +	+ +
MC/DC (Modified Condition/Decision Coverage)	+	+	+	+ +

+ + steht für dringend empfohlen "highly recommended", + steht für empfohlen ("recommended")

Wenn die erreichte strukturelle Testabdeckung als zu niedrig angesehen wird, müssen gemäß Punkt 9.4.5 der Norm ISO 26262-6 weitere Testfälle erstellt werden bzw. Gründe für die niedrige Test Coverage geliefert werden.

Testwell CTC++ Code Coverage Analyzer deckt alle durch die Norm geforderten Coveragestufen ab.
Im Kapitel 9.4.6 fordert die Norm ISO 26262, dass die Umgebung für die Unit-Tests möglichst genau mit der Target-Umgebung übereinstimmen soll..
Testwell CTC++ ist das ideale Werkzeug um diese Anforderung zu erfüllen, da es die Test-Coverge in allen (selbst kleinsten) eingebetteten Zielsystemen analysieren kann.
Testwell CTC++ ist vom TÜV Süd zertifiziert. Mit dem Safety-Package kann es in der sicherheitsrelevanten Softwareentwicklung nach IEC 61508, EN 50128 und ISO 26262 ohne weitere Tool-Qualifizierungsmaßnahmen eingesetzt werden.
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 funktionieren müssen.
CodeSonar leistet einen signifikanten Beitrag zum Erreichen höchster Code-Qualität. Anspruchsvolle Analysen liefern zahlreiche Hilfen für die Verifizierung.
Mit seiner fortschrittlichen statischen Analyse ist CodeSonar eines der effektivsten Tools um die kostenintensivsten und am schwierigsten zu findenden Fehler bereits früh während der Software-Entwicklung zu finden.
CodeSonar findet automatisch Bugs in Software, die in C, C++ oder Java geschrieben wurde. Dank der interprozeduralen 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.
Für die Entwicklung von "High-Quality-Code" für sicherheitskritische Systeme nutzt die Automotive-Industrie Programmierrichtlinien wie die MISRA Guidelines für C und C++. CodeSonar untertützt Sie mit Checks für MISRA und zahlreichen anderen Programmierstandards bei der Einhaltung dieser Richtlinien.
BMW, Continental, Daimler und viele weitere Firmen aus der Automobil- und Transportbranche vertrauen auf CodeSonar für die Statische Codeanalyse in ISO 26262-Projekten.
Lesen Sie für weitere Informationen unser Whitepaper:   Simplifying ISO 26262 Compliance with CodeSecure

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 von 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.

Eine Forderung der ISO 26262 ist die Durchsetzung einer niedrigen Code-Komplexität für alle Automotive Safety Integrity Levels (siehe 5.4.7 der ISO 26262-6).
Testwell CMT++ analysiert die wichtigsten Metriken wie Zeilenmetriken (LOC), Halstead-Metriken, die McCabe Cyclomatic Number v(G), den Wartbarkeitsindex (Maintainability Index) und Max ND / Maximum Nesting Depth. Das Tool ist sehr einfach zu nutzen, extrem schnell und analysiert auch sehr große 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 sicherheitskritischen Softwareentwicklung in den Branchen Automotive und Transport.
Zu unseren zufriedenen Kunden zählen unter anderem:





Lesen Sie hier was unsere Kunden aus Automotive und Transport über unsere Tools sagen: