Methodologies and Tools for Developing Robust FTSC Software.
Abstract
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.
Document Details
- Document Type
- Technical Report
- Publication Date
- Aug 31, 1978
- Accession Number
- ADA064489
Entities
People
- K. H. Kim
Organizations
- University of Southern California