NTRS - NASA Technical Reports Server

As of October 27, 2023, NASA STI Services will no longer have an embargo for accepted manuscripts. For more information visit NTRS News.

Back to Results
The use of automatic programming techniques for fault tolerant computing systemsIt is conjectured that the production of software for ultra-reliable computing systems such as required by Space Station, aircraft, nuclear power plants and the like will require a high degree of automation as well as fault tolerance. In this paper, the relationship between automatic programming techniques and fault tolerant computing systems is explored. Initial efforts in the automatic synthesis of code from assertions to be used for error detection as well as the automatic generation of assertions and test cases from abstract data type specifications is outlined. Speculation on the ability to generate truly diverse designs capable of recovery from errors by exploring alternate paths in the program synthesis tree is discussed. Some initial thoughts on the use of knowledge based systems for the global detection of abnormal behavior using expectations and the goal-directed reconfiguration of resources to meet critical mission objectives are given. One of the sources of information for these systems would be the knowledge captured during the automatic programming process.
Document ID
Document Type
Conference Paper
Wild, C.
(Old Dominion University Norfolk, VA, United States)
Date Acquired
August 12, 2013
Publication Date
January 1, 1985
Subject Category
Computer Programming And Software
Report/Patent Number
AIAA PAPER 85-6001
Accession Number
Funding Number(s)
Distribution Limits

Available Downloads

There are no available downloads for this record.
No Preview Available