NASA Logo

NTRS

NTRS - NASA Technical Reports Server

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
19860026700
Document Type
Conference Paper
Authors
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
Funding Number(s)
CONTRACT_GRANT: NAG1-439
Distribution Limits
Public
Copyright
Other
No Preview Available