SIL2 Zertifizierung

Das Produkt, für das die Modul-/Einheitstests mit TESSY durchgeführt wurden, ist ein aktives Explosionsbarrieresystem für gashaltige Untertagebergwerke. Hierbei handelt es sich um ein Sicherheitssystem zur Verwendung in einem aktiven Bergwerk, das hauptsächlich aus einem großen Wasserreservoir besteht. Im Falle einer Gasexplosion im Untergrund wird dieses System explodieren und einen Wasserschild aus dem örtlichen Reservoir bilden. Das Wasser soll die Menschen und das Material im Bergwerk vor den Auswirkungen des Feuers und der Explosion schützen. Offensichtlich kann ein solches System wie ein Airbag nur einmal gezündet werden. Daher ist es sehr wichtig, dass es nicht vorzeitig zu einem „Fehlalarm“ kommt. Andererseits darf das System im Bedarfsfall nicht ausfallen.

Aufgrund der sicherheitstechnischen Funktionalität musste das System nach IEC 61508, Safety Integrity Level 2 zertifiziert werden.

Aufgrund des Sicherheitsintegritätslevels ist ein Modultest der Software obligatorisch. Becker Mining Systems wählte TESSY als Werkzeug für den Modultest. Das getestete System ist ein Multiprozessorsystem, das aus drei Mikrocontrollern besteht: zwei MSP430 von Texas Instruments und ein M16C von Renesas. Die Software für die drei Mikrocontroller wurde in C geschrieben und umfasste etwa 270 Funktionen. Davon wurden ca. 80 von Becker Mining Systems und ca. 80 von Hitex als Testdienstleister für Becker Mining Systems getestet. (Der Rest wurde im Rahmen der Hardwaretests getestet).

Um die notwendigen Testfälle für jede Funktion zu bestimmen, wurde die Klassifikationsbaummethode verwendet. Dies ermöglicht eine einfache Überprüfung der Testideen. Oft konnten Testdaten im Klassifikationsbaum angegeben werden. Für eine Funktion wurden typischerweise 15 Testfälle benötigt, einige Funktionen erforderten jedoch bis zu 100 Testfälle. Für jede Funktion wurde die Zweigabdeckung (auch Entscheidungsabdeckung genannt) bestimmt. Wenn eine 100%ige Abdeckung nicht erreicht wurde, wurde die Ursache sorgfältig untersucht und dokumentiert. Für jede Funktion wurde eine ausführliche Testdokumentation erstellt.

TESSY hat sich als unverzichtbar für die Automatisierung der Modultests erwiesen. Ohne die Hilfe von TESSY hätten die Tests sicherlich nicht rechtzeitig abgeschlossen werden können und einige Fehler wären wahrscheinlich unentdeckt geblieben. Kurz nach Abschluss der Tests mit TESSY erhielt das aktive Explosionsschutzsystem für gashaltige Grubenbaue unter Tage von der Dekra Exam GmbH die Zertifizierung nach IEC 61508. Becker Mining Systems dankt Hitex für die Einhaltung des engen Zeitplans dieses Testprojektes.