Németország – Kutatási és fejlesztési szolgáltatások és kapcsolódó tanácsadói szolgáltatások – Software Development and Verification (GNC Software Unterstützung)

Gegenstand dieser Tätigkeit ist die Bereitstellung von Unterstützungsleistungen und Beratung im Bereich der Entwicklung, Verifikationsplanung und Verifikationsdurchführung für eingebettete Software im Rahmen der Entwicklung des GNC Systems mit besonderem Schwerpunkt auf – Entwicklung und Dokumentation der Flugsoftware-Spezifikationen, – Implementierung der Flugsoftware-Spezifikationen – Entwicklung und Dokumentation der anzuwendenden Verifizierungsspezifikationen und -verfahren angewandten Verfahren, – Implementierung und Durchführung der Verifikationsaktivitäten, and – Auswertung der Verifikationsergebnisse.