Planning with Diversified Models for Fault-Tolerant Robots

摘要

Planners are central to the notion of complex autonomous systems. They provide the flexibility that autonomous sys-tems need to be able to operate unattended in an unknown and dynamically-changing environment. However, they are notoriously hard to validate. This paper reports an investiga-tion of how redundant, diversified models can be used as a complement to testing, in order to tolerate residual develop-ment faults. A fault-tolerant temporal planner has been de-signed and implemented using diversity, and its effectiveness demonstrated experimentally through fault injection. The pa-per describes the implementation of the fault-tolerant planner and discusses the results obtained. The results indicate that diversification provides a noticeable improvement in plan-ning dependability (measured, for instance, by the robustness of the plans it produces) with a negligible performance over-head. However, further improvements in dependability will require implementation of an on-line checking mechanism for assessing plan validity before execution.