Nachweis der Funktionsfähigkeit von Software durch statistische Schlussweisen -- Möglichkeiten, Bedingungen, Grenzen
Informatik-Spektrum, 39 (5):
384--392 (October 2016)DOI: 10.1007/s00287-016-0972-7
Abstract
Derzeit befinden sich die Norm IEC 61508 und deren Teil 7 in Überarbeitung; sie sollen an das, was sich seit ihrer letzten Fassung von 2010 verändert hat, angepasst werden. Zu berücksichtigen sind Veränderungen in der Informatik im Allgemeinen, auf dem Gebiet der Software im Besonderen und vor allem hinsichtlich deren Einsatzes in sicherheitskritischen Systemen. Hierbei kam der Wunsch auf, der Betriebserfahrung, die mit Software in der Vergangenheit gemacht worden war, eine klarer umrissene Rolle zuzuweisen, als sie sie in der jetzigen Fassung der Norm hat. Damit einher geht der Wunsch, diese Betriebserfahrung zu quantisieren, sodass sich feststellen lässt,welches Vertrauen man in sie setzen darf bzw. welche Sicherheitsstufe (Safety Integrity Level, SIL) der Software in der jeweils neuen Anwendung zuzuweisen ist. Eng damit verbunden ist die Frage nach der Aussagekraft statistischer Tests der Software sowie des Zusammenhangs zwischen verschiedenen Betrachtungsweisen ihres Betriebs. Hierzu entstand eine lebhafte Diskussion unter einigen Fachleuten, die zu keiner Übereinkunft führte. Angesichts der wirtschaftlichen Bedeutung des Fragenkreises kam der Gedanke auf, eine breitere fachkundige Öffentlichkeit einzubeziehen.