embedded Design: AdaCore beteiligt sich an den europäischen Forschungsprojekten Opencoss und pSafecer. Sie stellen die Zertifikation von Software in den Vordergrund. Wie beteiligen Sie sich an diesen Projekten?
Kanig: Vor dem Einsatz von Software oder Hardware in bestimmten kritischen Bereichen müssen diese zertifiziert werden. Die genaue Form der verlangten Zertifikation hängt stark vom Einsatzbereich ab. In der Regel muss aber gezeigt werden, dass die Software selbst sowie der Entwicklungsprozess bestimmten Anforderungen genügen. Heute wird die Software oft in einem monolithischen Block zertifiziert. Wird nach der Zertifikation noch eine Änderung vorgenommen, muss die gesamte Software erneut zertifiziert werden. Da dieser Prozess aufwendig und teuer ist, suchen Unternehmen und Institute in diesen Forschungsprojekten nach besseren Lösungen. Beide Projekte zielen darauf ab, eine Komponenten-basierte Entwicklung und Zertifikation zu erlauben. AdaCore entwickelt dabei ein Zertifikationsverwaltungssystem, um die Zertifikation per Komponente sowie die inkrementelle Zertifikation zu ermöglichen: Minimale Änderungen sollten dabei nur minimalen Zertifikationsaufwand bedeuten. Dieses Verwaltungssystem heißt Qualifying Machine und automatisiert Prozesse, die heute noch manuell gemacht werden.
