Methodologies and Tools for Developing Robust FTSC Software.
Final rept. 1 Jul 77-31 Aug 78,
UNIVERSITY OF SOUTHERN CALIFORNIA LOS ANGELES
Pagination or Media Count:
This is a report of the results that have been obtained from a research project aimed at learning methodologies and developing tools useful for obtaining reliable software of the Fault-Tolerant Spaceborne Computer FTSC. Results are divided in three areas. First, a study was performed on the methods of designing well-structured recovery programs which are invoked on detection of an error to recover an operational system configuration and a consistent computation state. This study involved the experimental development of an FTSC recovery program. This report discusses several program design and system recovery strategies that have been found useful in obtaining an easily understandable recovery program, together with the program developed. Second, a language processor was developed to facilitate experimenting with recovery block which is a language construct designed to support structured incorporation of program redundancy. It translates programs written in PASCAL augmented with recovery block into equivalent programs in ordinary PASCAL. The translation strategy used and the organization of the translator are described. Third, a new approach to error recovery in distributed systems of cooperating parallel processes was developed.
- Computer Programming and Software
- Computer Hardware