Autonomy and safety are two major compelling requirements for space applications. From one side, real-life experiments with space missions have recently shown that planning techniques can provide in practice the desired level of autonomy. From the other side, they have also shown the need for planning techniques that guarantee a high level of safety. In this paper we describe a prototype system based on the idea of `Planning as Model-Checking`. The system allows both for the validation and for the automatic generation of `safe plans`, i.e. plans that are guarantee to satisfy user-defined (safety) requirements. This work has been done within SACSO (SAfety Critical SOftware for planning in space robotics), an on-going three years project funded by the Italian Space Agency (ASI)
Planning and Verification techniques for the High Level Programming and Monitoring of Autonomous Robotic Devices
Carlucci Aiello, Luigia;Pistore, Marco;Traverso, Paolo
2001-01-01
Abstract
Autonomy and safety are two major compelling requirements for space applications. From one side, real-life experiments with space missions have recently shown that planning techniques can provide in practice the desired level of autonomy. From the other side, they have also shown the need for planning techniques that guarantee a high level of safety. In this paper we describe a prototype system based on the idea of `Planning as Model-Checking`. The system allows both for the validation and for the automatic generation of `safe plans`, i.e. plans that are guarantee to satisfy user-defined (safety) requirements. This work has been done within SACSO (SAfety Critical SOftware for planning in space robotics), an on-going three years project funded by the Italian Space Agency (ASI)I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
