Building a safe and secure embedded world

TESSY V3.2.7 re-qualifiziert

TESSY erneut für sicherheitskritische Software-Entwicklung nach IEC 61508:2010 und ISO 26262:2011 qualifiziert.

TESSY, das Werkzeug zum automatisierten Modul-, Unit- und Integrationstest von eingebetteter Software, ist erneut für die sicherheitskritische Software-Entwicklung nach IEC 61508:2010 und ISO 26262:2011 qualifiziert worden. Die Qualifizierung wurde durch den TÜV SÜD vorgenommen.

Bezüglich IEC 61508 erfüllt TESSY als Verifikations-Werkzeug die Anforderungen, die an unterstützende Werkzeuge nach IEC 61508-3:2010 gestellt werden. Dabei wurde TESSY der Klasse T2 nach IEC 61508 zugeordnet.
Bezüglich ISO 26262 erfüllt TESSY die Anforderungen der Werkzeugqualifizierung nach ISO 26262-8 für alle Automotive Safety Integrity Level (ASIL). Dabei wurde für den Tool Impact (TI) der Wert 2 ermittelt und der Tool Error Detection Level (TD) wurde mit dem Wert 3 angenommen, was einen Tool Confidence Level (TCL) mit dem Wert 3 ergibt.

Die TESSY Versionen V3.0 und V3.1 waren bereits qualifiziert. Eine Qualifizierung der neuen Hauptversion erschien dem Hersteller von TESSY wegen der erweiterten Funktionalität notwendig. Ein neues Zertifikat wurde nicht ausgestellt; das Zertifikat vom 17.6.2014 bleibt weiterhin gültig.

Durch die Qualifizierung ist der Werkzeugqualifizierungsprozess für den Anwender von TESSY zwar stark erleichtert, jedoch nicht trivial geworden. Die Werkzeugqualifizierung ist und bleibt in der Verantwortung des Anwenders und muss vom ihm gegebenenfalls (z.B. abhängig vom (A)SIL) durch zusätzliche Maßnahmen, beispielsweise Tests, ergänzt werden. Um den Anwender bei der zusätzlichen Qualifizierung zu unterstützen, gibt es für TESSY zusätzlich zum Zertifikat auch optional ein sogenanntes Tool Qualification Package (TQP). In diesem Paket sind Dokumente und Testfälle enthalten: Die Dokumente beschreiben beispielsweise die Aufgaben im Testprozess, die TESSY durchführt und bewertet diese Aufgaben im Hinblick auf die Verwendung in sicherheitskritischen Projekten; die Testfälle sind speziell zur Prüfung der für sicherheitskritische Projekte relevanten Aufgaben gestaltet. Würde TESSY beispielsweise die Codeüberdeckung eines Testobjekts fälschlicherweise zu 100% ermitteln, so würde dieser Fehler im restlichen Testprozess kaum entdeckt werden. Deshalb ist es wichtig, diese von TESSY durchgeführten Messungen speziellen Tests zu unterziehen, um Vertrauen in die ermittelten Ergebnisse zu schaffen.

In TESSY V3.2.7 wurde erstmals die Unterstützung für Eclipse-basierte Debugger integriert, wie sie z.B. in Codewarrior V10.x von Freescale für verschiedene Mikrocontroller enthalten ist.

Weitere Informationen und einen Link zum Download der Evaluierungssoftware finden Sie hier.

SuchformularKontaktOnlineshop