Re-engineering software architecture of home service robots: a case study

ABSTRACT

With the advances of robotics, computer science, and other related areas, home service robots attract much attention from both academia and industry. Home service robots present interesting technical challenges to the community in that they have a wide range of potential applications, such as home security, patient caring, cleaning, etc., and that the services provided by the robots in each application area are being defined as markets are formed and, therefore, they change constantly.Without architectural considerations to address these challenges, robot manufacturers often focus on developing technical components (e.g., vision recognizer, speech processor, and actuator) and then attempt to develop service robots by integrating these components. When prototypes are developed for a new application, or when services are added, modified, or removed from existing robots, unexpected, undesirable, and often dangerous side-effects, which are known as feature interaction problem, happen frequently. Reengineering of such robots can make a serious impact in delivery time and development cost.In this paper, we present our experience of re-engineering a prototype of a home service robot developed by Samsung Advanced Institute of Technology. First, we designed a modular and hierarchical software architecture that makes interaction among the components visible. With the visibility of interactions, we could assign functional responsibilities to each component clearly. Then, we re-engineered existing codes to conform to the new architecture using a reactive language Esterel. As a result, we could detect and solve feature interaction problems and alleviate the dificulty of adding or updating components.

REFERENCES

• 1: Honda asimo home page. http://asimo.honda.com/.
• 2: Sony aibo home page. http://www.sony.net/Products/aibo/.
• 3: A. Bouali. Xeve: an esterel verification environment. Technical report, INRIA, Dec. 2000.
• 4: R. C. Arkin and T. R. Balch. Aura: Principles and practice in review. Journal of Experimental and Theoretical Artificial Intelligence(JETAI), Volume 9(Number 2/3):175188, April 1997.
• 5: Len Bass , Paul Clements , Rick Kazman, Software architecture in practice, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1998
• 6: Gérard Berry, The foundations of Esterel, Proof, language, and interaction: essays in honour of Robin Milner, MIT Press, Cambridge, MA, 2000
• 7: J. Borrelly, E. Coste-Maniére, B. Espiau, K. Kapellos, R. Pissard-Gibollet, D. Simon, and N. Turro. The orccad architecture. International Journal of Robotics Research, 17(4):338359, 1998.
• 8: R. Brooks. A robust layered control system for a mobile robot. IEEE Journal of Robotics and Automation, 2(1):1423, 1986.
• 9: Frank Buschmann , Regine Meunier , Hans Rohnert , Peter Sommerlad , Michael Stal, Pattern-oriented software architecture: a system of patterns, John Wiley & Sons, Inc., New York, NY, 1996
• 10: E. J. Cameron and H. Velthuijsen. Feature interactions in telecommunications systems. IEEE Communications Magazine, 31(8):4651, Aug 1993.
• 11: E. Coste-Maniére and R. Simmons. Architecture, the backbone of robotic systems. IEEE International Conference on Robotics and Automation, 2000.
• 12: E. Coste-Maniére and N. Turro. The maestro language and its environment : Specification, validation and control of robotic missions. Proceedings of the 10th IEEE/RSJ International Conference on Intelligent Robots and Systems, 1997.
• 13: A. C. Domínguez-Brito, D. Hernÿndez-Sosa, J. Isern-Gonzÿlez, and J. Cabrera-Gÿmez. Integrating robotics software. IEEE International Conference on Robotics and Automation, 2004.
• 14: B. Espiau, K. Kapellos, and M. Jourdan. Formal verification in robotics: Why and how? International Symposium on Robotics Research, Oct 1995.
• 15: Richard N. Taylor , Nenad Medvidovic , Kenneth M. Anderson , E. James Whitehead, Jr. , Jason E. Robbins , Kari A. Nies , Peyman Oreizy , Deborah L. Dubrow, A Component- and Message-Based Architectural Style for GUI Software, IEEE Transactions on Software Engineering, v.22 n.6, p.390-406, June 1996 [doi>10.1109/32.508313]
• 16: K. Kang, M. Kim, J. Lee, B. Kim, Y. Hong, H. Lee, and S. Bang. 3d virtual prototyping of home service robots using asadal/obj. International Conference on Robotics and Automation, 2005.
• 17: M. Kim, K. Kang, Y. Hong, H. Lee, and S. Bang. Formal verification of the robot movements. International Conference on Robotics and Automation, 2005.
• 18: Moonzoo Kim , Mahesh Viswanathan , Sampath Kannan , Insup Lee , Oleg Sokolsky, Java-MaC: A Run-Time Assurance Approach for Java Programs, Formal Methods in System Design, v.24 n.2, p.129-155, March 2004 [doi>10.1023/B:FORM.0000017719.43755.7c]
• 19: David Kortenkamp , Alan C. Schultz, Integrating Robotics Research, Autonomous Robots, v.6 n.3, p.243-245, June 1999 [doi>10.1023/A:1008984727548]
• 20: Ji Y. Lee , Hye J. Kim , Kyo C. Kang, A real world object modeling method for creating simulation environment of real-time systems, Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, p.93-104, October 2000, Minneapolis, Minnesota, United States
• 21: R. Pack, D. M. Wilkes, and K. Kawamura. A software architecture for integrated service robot development. IEEE International Conference on Systems, Man and Cybernetics, 1997.
• 22: L. E. Pinzon , H.-M. Hanisch , M. A. Jafari , T. Boucher, A Comparative Study of Synthesis Methods for Discrete Event Controllers, Formal Methods in System Design, v.15 n.2, p.123-167, Sept. 1999 [doi>10.1023/A:1008740917111]
• 23: Mary Shaw , David Garlan, Software architecture: perspectives on an emerging discipline, Prentice-Hall, Inc., Upper Saddle River, NJ, 1996
• 24: P. Zave. Architectural solutions to feature-interaction problems in telecommunications. Feature Interactions in Telecommunication and Software Systems V, Sep 1998.

INDEX TERMS

Primary Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
        D.2.11 Software Architectures
            Subjects: Domain-specific architectures

General Terms:
Design, Reliability

Keywords:
reactive systems, robot programming, software re-engineering