Adaptive, safe mobile robot programming in the intelligent space

Laszlo A. Jeni, Zoltan Istenes, Mate Tejfel, Peter Korondi, Hideki Hashimoto

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

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.

Original languageEnglish
Title of host publicationProceedings - 2009 2nd Conference on Human System Interactions, HSI '09
Pages421-426
Number of pages6
DOIs
Publication statusPublished - Oct 20 2009
Event2009 2nd Conference on Human System Interactions, HSI '09 - Catania, Italy
Duration: May 21 2009May 23 2009

Publication series

NameProceedings - 2009 2nd Conference on Human System Interactions, HSI '09

Other

Other2009 2nd Conference on Human System Interactions, HSI '09
CountryItaly
CityCatania
Period5/21/095/23/09

    Fingerprint

Keywords

  • CPPCC
  • Distributed sensors
  • Intelligent space
  • Mobile code
  • Mobile robots
  • Requirement verification

ASJC Scopus subject areas

  • Artificial Intelligence
  • Computational Theory and Mathematics
  • Human-Computer Interaction
  • Software

Cite this

Jeni, L. A., Istenes, Z., Tejfel, M., Korondi, P., & Hashimoto, H. (2009). Adaptive, safe mobile robot programming in the intelligent space. In Proceedings - 2009 2nd Conference on Human System Interactions, HSI '09 (pp. 421-426). [5091017] (Proceedings - 2009 2nd Conference on Human System Interactions, HSI '09). https://doi.org/10.1109/HSI.2009.5091017