Welche Raumfahrtanwendungen, Projekte und Agenturen verwenden die Programmiersprache Ada?

Welche anderen Weltraumanwendungen, Projekte und Agenturen verwenden die Programmiersprache Ada?

In den USA altes Zeug wie die Delta-Raketen, die Atlas-Raketen und das TDRSS-Bodenterminal (das aber auf C, C++, C# und Java umgestellt wird). Es mag neue Entwicklungen geben, aber es handelt sich hauptsächlich um Dinge, von denen Sie (und ich) nichts wissen können, weil sie geheim sind. Neuentwicklungen erfolgen hauptsächlich in Mainline-Sprachen wie C, C++, C# und Java sowie in spezialisierten Tools wie Matlab Simulink.

Ein Grund für die Abkehr von Ada war, dass das Ada-Mandat zu früh veröffentlicht wurde. Einige Projekte, die aufgrund fehlender Tools scheiterten, wechselten zu C. Die Manager dieser Projekte erinnern sich an diese Ada-Erfahrung. Die Erinnerungen sind nicht schön.

Ein weiterer Grund war die Demografie. Ada-Programmierer zu finden, ob gut oder schlecht, war schon immer etwas schwierig. Es ist viel einfacher, C- oder C++-Programmierer zu finden, und dies gibt Managern die Möglichkeit, nach Qualität zu wählen.

Ein weiterer Grund ist, dass viele der Entwickler von Tools, die ursprünglich auf Ada abzielten (z. B. Rational), feststellten, dass ihre Tools recht gut mit anderen Sprachen funktionierten. Aufgrund der demografischen Entwicklung wurden zunächst Verbesserungen und neue Funktionen an den Mainline-Sprachversionen vorgenommen, bevor sie auf Ada ausgeweitet wurden. Dies gab noch mehr Anstoß, von Ada zu wechseln.

Ada scheint in Europa weiter verbreitet zu sein als in den USA. Ein Grund dafür ist, dass der Chefarchitekt von Ada Dr. Jean Ichbiah von CII-Honeywell-Bull in Frankreich war. Das Ada-Mandat wurde sowohl in Europa als auch in den USA angewandt, aber das Timing war dort etwas besser. Die Tools waren ausgereift und viele der Tools wurden in Europa von dem von Dr. Ichbiah gegründeten Unternehmen entwickelt. Ein aktuelles Beispiel ist die Flugsoftware für den Satelliten GOCE.

Ein weniger gutes Beispiel ist die Flugsoftware für den Jungfernflug der Ariane-5-Rakete. Dies ist vielleicht der berüchtigtste aller Softwarefehler. Ada hat eine Reihe von Sicherheitsfunktionen in die Sprache integriert. (Vergleichen Sie mit C, wo der Standard zwölf Seiten hat, die die in die Sprache eingebauten undefinierten Verhaltensweisen zusammenfassen. Vergleichen Sie mit C++, wo die undefinierten Verhaltensweisen so zahlreich sind, dass sie sie nicht einmal auflisten.) Diese Ada-Sicherheitsfunktionen können von Bedeutung sein Leistungskosten, und aus diesem Grund bietet Ada auch die Möglichkeit, diese Sicherheitsfunktionen selektiv zu deaktivieren.

Im Fall von Ariane-5-Flug 501 verwendeten die Software-Ingenieure Ariane-4-Flugsoftware wieder, bei der Sicherheitsfunktionen in Bezug auf Überlauf in einigen der GNC-Software deaktiviert waren. Die Ariane 5 hatte erheblich mehr Schub als die Ariane 4. Diese erhöhte Beschleunigung führte dazu, dass die Daten des Beschleunigungsmessers bei der Umwandlung in eine ganze Zahl überliefen. Dies wiederum führte zu Hardware-Ausnahmen, die wiederum die GNC-Software zum Stillstand brachten, was wiederum die Zerstörung des Fahrzeugs zur Folge hatte.