Adaptive, safe mobile robot programming in the Intelligent Space

This paper describes how the safe mobile code technology can be integrated into the intelligent space environment. In the intelligent space, several distributed intelligent network devices communicate and share their information about a human environment. In this environment mobile robots can be controlled with mobile code technology. The mobile code is a program-component obtained from a remote system, transferred across a network and dynamically downloaded and executed on the robots. This code is created, verified, stored and transmitted to the robot using the certified proved-property-carrying code architecture, where properties and their proofs also attached to the code. The receiver can verify the proofs and it can decide whether to use or to refuse the received mobile component. Information about the robot´s environment is also sent to the robot from the intelligent space. Robots contain explicit and formally expressed security requirements. Explicit and formal properties of the mobile code are attached to the mobile code. Then a formal verification system can verify the mobile code properties correspondence against the robots requirements. The robot refuses to execute those mobile code tasks violating it´s requirements.