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.


    Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    HAL/SM language specification


    Additional title:

    HAL/SM-Sprachspezifikation


    Contributors:
    Williams, G.P.W. (author) / Ross, C. (author)

    Published in:

    NASA-Reports ; Nov. ; 1-253


    Publication date :

    1975


    Size :

    253 Seiten


    Type of media :

    Report


    Type of material :

    Print


    Language :

    English




    Software Specification Language

    Buckles, B. P. / Ryan, J. P. / Austin, S. L. | NTRS | 1983


    Cockpit natural language an application specification

    Lizza, G. / Goulet, C.J. | Tema Archive | 1986



    Trajectory Specification Language for Air Traffic Control

    Russell A. Paielli | DOAJ | 2018

    Free access