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.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    HAL/SM language specification


    Weitere Titelangaben:

    HAL/SM-Sprachspezifikation


    Beteiligte:
    Williams, G.P.W. (Autor:in) / Ross, C. (Autor:in)

    Erschienen in:

    NASA-Reports ; Nov. ; 1-253


    Erscheinungsdatum :

    1975


    Format / Umfang :

    253 Seiten


    Medientyp :

    Report


    Format :

    Print


    Sprache :

    Englisch




    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 Archiv | 1986




    Trajectory Specification Language for Air Traffic Control

    Russell A. Paielli | DOAJ | 2018

    Freier Zugriff