Software-Entwicklungs- und Verifikationsunterstützung für das GNC-System am Standort Bremen durch das DLR.

Das Deutsche Zentrum für Luft- und Raumfahrt e.V. (DLR) schreibt Unterstützungsleistungen und Beratung für die Entwicklung und Verifikation von eingebetteter Software für das GNC-System aus. Der Leistungsumfang umfasst die Entwicklung und Dokumentation von Flugsoftware-Spezifikationen, deren Implementierung, die Erstellung von Verifikationsspezifikationen und -verfahren, die Durchführung der Verifikationsaktivitäten sowie die Auswertung der Ergebnisse. Die Tätigkeit erfordert Vorort-Support in Bremen, da Tests an spezifischer Hardware durchgeführt werden müssen.

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.