Software für Hawk-Trainer

Grenn Hills Software kündigt an, dass sich BAE Systems für Green Hills Ada-konformen Kernel Gmart Spark und die Entwicklungsumgebung AdaMulti für den Einsatz im neuen Hawk-Kampfjet-Trainer entschieden hat. Der Gmart-­Kernel für PowerPC kommt in den ­Hawk-Kampfjetsystemen der nächsten Generation zum Einsatz, die aus zwei Rechnern mit einer neuen offenen Architektur bestehen. Die zweite Rechnereinheit erlaubt den unabhängigen Betrieb der beiden Kampfjet-Cockpits. Jedes Cockpit ist für verschiedene Aufgaben ausgelegt, um Trainingsmaßnahmen durchführen zu können. Der Ausbilder im hinteren Cockpit kann den Flugschüler im vorderen Cockpit beobachten oder das System nach eigenen Anforderungen konfigurieren. Der zweite Rechner bietet bei jeglichen Ausfällen außerdem umfassende Backup-Möglichkeiten. Das System bereitet zudem die Anzeige für alle sechs Cockpit-Displays und ein Head-up-Display auf.