Es wird eine Programmiersprache fuer die Flug-Software des NASA Space Shuttle-Programms gezeigt. Damit sollen kuenftig alle Flugsoftwareanforderungen des Raumschiffes befriedigt werden. Damit soll folgendes geleistet werden. Es verbindet einen weiten Merkmalsbereich, einschliesslich Anwendungs-orientierter Datentypen und -organisation, Echtzeitkontrollmechanismen und Systemprogrammierungsaufgaben. Diese Hoch-Niveau-Sprache gestattet den Programmierern die Analyse und dem Ingenieur die Verbindung mit dem Computer in einer Form der natuerlichen mathematischen Erklaerung. Teile der englischen Sprache sind mit Standardnotizen verbunden. Damit soll ein Werkzeug erreicht werden, das die Programmierung ohne Hardwareexperten ermoeglicht. Blockdiagramme und Flussplaene werden dargestellt. Die Semantik der Sprachen wird diskutiert.
HAL/SM language specification
HAL/SM-Sprachspezifikation
NASA-Reports ; Nov. ; 1-253
1975
253 Seiten
Report
Englisch
Software Specification Language
NTRS | 1983
|Cockpit natural language an application specification
Tema Archiv | 1986
|Source Pre-Processor or Interface-Specification Language
NTRS | 1985
|