A progress report on a NASA research program for embedded computer systems softwareThe paper presents the results of the second stage of the Multipurpose User-oriented Software Technology (MUST) program. Four primary areas of activities are discussed: programming environment, HAL/S higher-order programming language support, the Integrated Verification and Testing System (IVTS), and distributed system language research. The software development environment is provided by the interactive software invocation system. The higher-order programming language (HOL) support chosen for consideration is HAL/S mainly because at the time it was one of the few HOLs with flight computer experience and it is the language used on the Shuttle program. The overall purpose of IVTS is to provide a 'user-friendly' software testing system which is highly modular, user controlled, and cooperative in nature.
Document ID
19790070395
Acquisition Source
Legacy CDMS
Document Type
Conference Proceedings
Authors
Foudriat, E. C. (NASA Langley Research Center Hampton, VA, United States)
Senn, E. H. (NASA Langley Research Center Hampton, VA, United States)
Will, R. W. (NASA Langley Research Center Hampton, VA, United States)
Straeter, T. A. (NASA Langley Research Center Hampton, Va., United States)