Individual features of HAL/S with respect to these criteria are examined and justification for the omission of various features from the subset is provided. The criteria by which features were evaluated for inclusion into the verifiable subset are described. A diversity of features for scientific computing, concurrent and real-time programming, and error handling are discussed. HAL/S is a general purpose high level language designed to accommodate the software needs of the NASA Space Shuttle project. D.Īn attempt to evaluate the applicability of program verification techniques to the existing programming language, HAL/S is discussed.
Changes have been incorporated to simplify syntax, curb excessive generality, or facilitate flight code emission.īrowne, J. As the name indicates, HAL/S is a dialect of the original HAL language previously developed. To achieve this, HAL/s incorporates a wide range of features, including applications-oriented data types and organizations, real time control mechanisms, and constructs for systems programming tasks. HAL/S is intended to satisfy virtually all of the flight software requirements of the space shuttle. This programming language was developed for the flight software of the NASA space shuttle program. Features of HAL programming system that have specific system/360 dependencies are presented. Topics from the operating system communication to interpretation of debugging aids are discussed.
This is a reference document to be used in the process of getting HAL/S programs compiled and debugged on the IBM 360 computer. Salient features of HAL/S include output orientation, automatic checking (with strictly enforced compiler rules), the availability of linear algebra, real-time control, a statement-level simulator, and compiler transferability (for applying HAL/S to additional object and host computers). Program reliability is enhanced through language clarity and readability, modularity through program structure, and protection of code and data. HAL/S is a higher order language and system, now operational, adopted by NASA for programming Space Shuttle on-board software. HAL/S - The programming language for Shuttle To achieve this, HAL/S incorporates a wide range of features, including applications oriented data types and organizations, real time control mechanisms, and constructs for systems programming tasks.
The language is intended to satisfy virtually all of the flight software requirements of NASA programs. The formal HAL/S language specification is documented with particular referral to the essentials of HAL/S syntax and semantics.
0 kommentar(er)
