Autonomous embedded controllers are seen as a critical technology to enable new mission objectives and scale down operating costs for space applications. However, the validation of intelligent controls software poses a huge challenge, where traditional testing approaches fall short of providing the required level of confidence for such safety-critical applications. This is an overview of recent research in applying modern, analytical verification technologies and tools to the validation of autonomy software, in the context of space applications, at NASA Ames Research Center in California, with a particular focus on model-based approaches to autonomous control, and more specifically fault diagnosis systems. We have developed and experimented...
Future unmanned aircraft are expected to be autonomous, perform missions automatically, and act inte...
The size and complexity of control software in aerospace systems is rapidly increasing, and this de...
Model checking of spacecraft systems Model checking is a powerful analysis technique that has emerge...
Summary form only given. Embedded controllers are more and more pervasive and feature more and more ...
Autonomous software holds the promise of new operation possibilities, easier design and development ...
Highly robust embedded systems have been enabled through software executives that have the ability t...
require more sophisticated autonomous assets to be developed and deployed. Model based autonomous co...
To fulfill the needs of its deep space exploration program, NASA is actively supporting research and...
While autonomous systems offer great promise in terms of capability and flexibility, their reliabili...
Deep space missions are characterized by severely constrained communication links. To meet the needs...
Deep space missions are characterized by severely constrained communication links and often require...
Model checking is shown to be an effective tool in validating the behavior of a fault tolerant embed...
Purpose of Review: The deployment of hardware (e.g., robots, satellites, etc.) to space is a costly ...
The six-day Remote Agent Experiment (RAX) on the Deep Space 1 mission will be the first time that an...
To achieve its science objectives in deep space exploration, NASA has a need for science platform ve...
Future unmanned aircraft are expected to be autonomous, perform missions automatically, and act inte...
The size and complexity of control software in aerospace systems is rapidly increasing, and this de...
Model checking of spacecraft systems Model checking is a powerful analysis technique that has emerge...
Summary form only given. Embedded controllers are more and more pervasive and feature more and more ...
Autonomous software holds the promise of new operation possibilities, easier design and development ...
Highly robust embedded systems have been enabled through software executives that have the ability t...
require more sophisticated autonomous assets to be developed and deployed. Model based autonomous co...
To fulfill the needs of its deep space exploration program, NASA is actively supporting research and...
While autonomous systems offer great promise in terms of capability and flexibility, their reliabili...
Deep space missions are characterized by severely constrained communication links. To meet the needs...
Deep space missions are characterized by severely constrained communication links and often require...
Model checking is shown to be an effective tool in validating the behavior of a fault tolerant embed...
Purpose of Review: The deployment of hardware (e.g., robots, satellites, etc.) to space is a costly ...
The six-day Remote Agent Experiment (RAX) on the Deep Space 1 mission will be the first time that an...
To achieve its science objectives in deep space exploration, NASA has a need for science platform ve...
Future unmanned aircraft are expected to be autonomous, perform missions automatically, and act inte...
The size and complexity of control software in aerospace systems is rapidly increasing, and this de...
Model checking of spacecraft systems Model checking is a powerful analysis technique that has emerge...