Safety issues in nonstop update of running programs for mobile robots

Nonstop update (NSU) is a service robot architecture to upgrade running robot controllers without suspending the services of robot systems. Its target application is mobile robots operating in remote or hazardous environments where suspension of ongoing missions is unacceptable or human intervention for changing or debugging programs is not easy. The present paper introduces NSU from a point of view of both safety and performance. The present paper defines the safety in NSU as a property that controller programs should not suspend or run away because of update-related sources. Safety issues such as deadlocks, module dependency, discontinuity of behavior between before and after update, and delays due to update overhead time are addressed. Safety and performance of NSU is examined and demonstrated by using three practical mobile systems: a mobile manipulator for a power assist system, a hexapod legged mobile robot, and a biped walking robot with wheeled legs.

[1]  Robert Gray,et al.  Dynamic C++ Classes - A Lightweight Mechanism to Update Code in a Running Program , 1998, USENIX Annual Technical Conference.

[2]  Shin'ichi Yuta,et al.  Long term activity of the autonomous robot-proposal of a bench-mark problem for the autonomy , 1998, Proceedings. 1998 IEEE/RSJ International Conference on Intelligent Robots and Systems. Innovations in Theory, Practice and Applications (Cat. No.98CH36190).

[3]  Bonnie S. Heck,et al.  Transition management for reconfigurable hybrid control systems , 2003 .

[4]  Jeffrey K. Hollingsworth,et al.  An API for Runtime Code Patching , 2000, Int. J. High Perform. Comput. Appl..

[5]  Shuuji Kajita,et al.  Flexible locomotion control of a self-contained biped leg-wheeled system , 2002, IEEE/RSJ International Conference on Intelligent Robots and Systems.

[6]  David Wettergreen,et al.  Dante II: Technical Description, Results, and Lessons Learned , 1999, Int. J. Robotics Res..

[7]  Kazuo Tanie,et al.  Human-Robot Cooperative Manipulation Using a Virtual Nonholonomic Constraint , 2002, Int. J. Robotics Res..

[8]  Eiichi Horiuchi.  Nonstop update of mission critical robotic services , 2003, Proceedings 2003 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2003) (Cat. No.03CH37453).

[9]  Alexander Zelinsky,et al.  Mobile robotics in the long term-exploring the fourth dimension , 2001, Proceedings 2001 IEEE/RSJ International Conference on Intelligent Robots and Systems. Expanding the Societal Role of Robotics in the the Next Millennium (Cat. No.01CH37180).

[10]  Masayuki Inaba,et al.  Developmental software environment that is applicable to small-size humanoids and life-size humanoids , 2001, Proceedings 2001 ICRA. IEEE International Conference on Robotics and Automation (Cat. No.01CH37164).

[11]  Tatsuo Arai,et al.  Control of walk and manipulation by a hexapod with integrated limb mechanism: MELMANTIS-1 , 2002, Proceedings 2002 IEEE International Conference on Robotics and Automation (Cat. No.02CH37292).

[12]  Alessandro Orso,et al.  A technique for dynamic updating of Java software , 2002, International Conference on Software Maintenance, 2002. Proceedings..

[13]  Eiichi Horiuchi.  Nonstop update of running robot controllers , 2004, 2004 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) (IEEE Cat. No.04CH37566).

[14]  Peyman Oreizy,et al.  Architecture-based runtime software evolution , 1998, Proceedings of the 20th International Conference on Software Engineering.

[15]  Illah R. Nourbakhsh,et al.  An Affective Mobile Robot Educator with a Full-Time Job , 1999, Artif. Intell..

[16]  Arjan van der Schaft,et al.  An Introduction to Hybrid Dynamical Systems, Springer Lecture Notes in Control and Information Sciences 251 , 1999 .

[17]  Matthew C. Turner,et al.  Linear quadratic bumpless transfer , 2000, Autom..

[18]  Jami Montgomery.  A Model for Updating Real-Time Applications , 2004, Real-Time Systems.

[19]  Tony White,et al.  Dynamic evolution of network management software by software hot-swapping , 2001, 2001 IEEE/IFIP International Symposium on Integrated Network Management Proceedings. Integrated Network Management VII. Integrated Management Strategies for the New Millennium (Cat. No.01EX470).

[20]  Scott Nettles,et al.  Dynamic software updating , 2001, PLDI '01.