Safe robot control in the intelligent space using mobile code technology

László A. Jeni, Zoltán Istenes, Máté Tejfel, P. 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 CPPCC 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 publication9th International Symposium of Hungarian Researchers on Computational Intelligence and Informatics, CINTI 2008
Pages243-254
Number of pages12
Publication statusPublished - 2008
Event9th International Symposium of Hungarian Researchers on Computational Intelligence and Informatics, CINTI 2008 - Budapest, Hungary
Duration: Nov 6 2008Nov 8 2008

Other

Other9th International Symposium of Hungarian Researchers on Computational Intelligence and Informatics, CINTI 2008
CountryHungary
CityBudapest
Period11/6/0811/8/08

Fingerprint

Robots
Intelligent networks
Mobile robots

Keywords

  • Cppcc
  • Intelligent space
  • Mobile code
  • Mobile robots
  • Requirement verification

ASJC Scopus subject areas

  • Artificial Intelligence
  • Information Systems

Cite this

Jeni, L. A., Istenes, Z., Tejfel, M., Korondi, P., & Hashimoto, H. (2008). Safe robot control in the intelligent space using mobile code technology. In 9th International Symposium of Hungarian Researchers on Computational Intelligence and Informatics, CINTI 2008 (pp. 243-254)

Safe robot control in the intelligent space using mobile code technology. / Jeni, László A.; Istenes, Zoltán; Tejfel, Máté; Korondi, P.; Hashimoto, Hideki.

9th International Symposium of Hungarian Researchers on Computational Intelligence and Informatics, CINTI 2008. 2008. p. 243-254.

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

Jeni, LA, Istenes, Z, Tejfel, M, Korondi, P & Hashimoto, H 2008, Safe robot control in the intelligent space using mobile code technology. in 9th International Symposium of Hungarian Researchers on Computational Intelligence and Informatics, CINTI 2008. pp. 243-254, 9th International Symposium of Hungarian Researchers on Computational Intelligence and Informatics, CINTI 2008, Budapest, Hungary, 11/6/08.
Jeni LA, Istenes Z, Tejfel M, Korondi P, Hashimoto H. Safe robot control in the intelligent space using mobile code technology. In 9th International Symposium of Hungarian Researchers on Computational Intelligence and Informatics, CINTI 2008. 2008. p. 243-254
Jeni, László A. ; Istenes, Zoltán ; Tejfel, Máté ; Korondi, P. ; Hashimoto, Hideki. / Safe robot control in the intelligent space using mobile code technology. 9th International Symposium of Hungarian Researchers on Computational Intelligence and Informatics, CINTI 2008. 2008. pp. 243-254
@inproceedings{33d2b35ec0984d6fb520de35920320c6,
title = "Safe robot control in the intelligent space using mobile code technology",
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 CPPCC 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.",
keywords = "Cppcc, Intelligent space, Mobile code, Mobile robots, Requirement verification",
author = "Jeni, {L{\'a}szl{\'o} A.} and Zolt{\'a}n Istenes and M{\'a}t{\'e} Tejfel and P. Korondi and Hideki Hashimoto",
year = "2008",
language = "English",
pages = "243--254",
booktitle = "9th International Symposium of Hungarian Researchers on Computational Intelligence and Informatics, CINTI 2008",

}

TY - GEN

T1 - Safe robot control in the intelligent space using mobile code technology

AU - Jeni, László A.

AU - Istenes, Zoltán

AU - Tejfel, Máté

AU - Korondi, P.

AU - Hashimoto, Hideki

PY - 2008

Y1 - 2008

N2 - 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 CPPCC 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.

AB - 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 CPPCC 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.

KW - Cppcc

KW - Intelligent space

KW - Mobile code

KW - Mobile robots

KW - Requirement verification

UR - http://www.scopus.com/inward/record.url?scp=84883123525&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84883123525&partnerID=8YFLogxK

M3 - Conference contribution

SP - 243

EP - 254

BT - 9th International Symposium of Hungarian Researchers on Computational Intelligence and Informatics, CINTI 2008

ER -