Supercompilers for parallel and vector computers
Supercompilers for parallel and vector computers
Chameleon: A Software Infrastructure for Adaptive Fault Tolerance
IEEE Transactions on Parallel and Distributed Systems
The Byzantine Generals Problem
ACM Transactions on Programming Languages and Systems (TOPLAS)
Principles of Program Analysis
Principles of Program Analysis
Design and Validation of Portable Communication Infrastructure for Fault-Tolerant Cluster Middleware
CLUSTER '02 Proceedings of the IEEE International Conference on Cluster Computing
Fault-tolerant computing for radiation environments
Fault-tolerant computing for radiation environments
Basic Concepts and Taxonomy of Dependable and Secure Computing
IEEE Transactions on Dependable and Secure Computing
Design for Verification with Dynamic Assertions
SEW '05 Proceedings of the 29th Annual IEEE/NASA on Software Engineering Workshop
Data-Flow Analysis for MPI Programs
ICPP '06 Proceedings of the 2006 International Conference on Parallel Processing
Journal of Field Robotics - Special Issue on Space Robotics, Part III
Toward Application-Aware Security and Reliability
IEEE Security and Privacy
Verified Software: Theories, Tools, Experiments
Adaptive Fault Tolerance for Scalable Cluster Computing in Space
International Journal of High Performance Computing Applications
Hi-index | 0.00 |
This paper describes an approach to providing software fault tolerance for future deep-space robotic NASA missions, which will require a high degree of autonomy supported by an enhanced on-board computational capability. Such systems have become possible as a result of the emerging many-core technology, which is expected to offer 1024-core chips by 2015. We discuss the challenges and opportunities of this new technology, focusing on introspection-based adaptive fault tolerance that takes into account the specific requirements of applications, guided by a fault model. Introspection supports runtime monitoring of the program execution with the goal of identifying, locating, and analyzing errors. Fault tolerance assertions for the introspection system can be provided by the user, domain-specific knowledge, or via the results of static or dynamic program analysis. This work is part of an on-going project at the Jet Propulsion Laboratory in Pasadena, California.