Model Continuity to Support Software Development for Distributed Robotic Systems: A Team Formation Example

Modeling, design and testing of the software underlying distributed robotic systems is a challenging task, especially when a large number of mobile robots and task coordination are involved. Model continuity, the ability to use the same model of a system throughout its design phases, provides an effective way to manage this development complexity and maintain consistency of the software. In this paper, we describe the design and implementation of a team-formation multi-robot system. This is used as an example to demonstrate how a modeling and simulation environment, based on the DEVS formalism, can support model continuity in the design of distributed robotic systems. This example shows how the intelligent control models of the robots are first designed and tested via simulation and, when verified mapped to physical robots with DEVS-on-a-chip “brains” for execution.

[1]  Lynne E. Parker,et al.  Cooperative leader following in a distributed multi-robot system , 2002, Proceedings 2002 IEEE International Conference on Robotics and Automation (Cat. No.02CH37292).

[2]  Bernard P. Zeigler,et al.  Design and implementation of distributed real-time DEVS/CORBA , 2001, 2001 IEEE International Conference on Systems, Man and Cybernetics. e-Systems and e-Man for Cybernetics in Cyberspace (Cat.No.01CH37236).

[3]  Wojciech Kowalczyk.  Multi-robot coordination , 2001, Proceedings of the Second International Workshop on Robot Motion and Control. RoMoCo'01 (IEEE Cat. No.01EX535).

[4]  Michael Kyte,et al.  Hardware and software considerations for implementing hardware-in-the loop traffic simulation , 2001, IECON'01. 27th Annual Conference of the IEEE Industrial Electronics Society (Cat. No.37243).

[5]  Bernard P. Zeigler,et al.  Theory of modeling and simulation , 1976 .

[6]  Tucker R. Balch,et al.  Social potentials for scalable multi-robot formations , 2000, Proceedings 2000 ICRA. Millennium Conference. IEEE International Conference on Robotics and Automation. Symposia Proceedings (Cat. No.00CH37065).

[7]  Rodney A. Brooks,et al.  A Robust Layered Control Syste For A Mobile Robot , 2022 .

[8]  Klaus Buchenrieder,et al.  Multilevel testing for design verification of embedded systems , 2002, IEEE Design & Test of Computers.

[9]  Rodney A. Brooks,et al.  The Behavior Language: User''s Guide , 1990 .

[10]  E. An,et al.  High fidelity hardware-in-the-loop simulation development for an autonomous underwater vehicle , 2001, MTS/IEEE Oceans 2001. An Ocean Odyssey. Conference Proceedings (IEEE Cat. No.01CH37295).

[11]  Alan C. Shaw,et al.  Real-time systems and software , 2001 .

[12]  Robert M. Hierons,et al.  Real-Time Systems and Software , 2001, Softw. Focus.

[13]  Songmin Jia,et al.  Internet-Based Robotic System Using CORBA as Communication Architecture , 2002, J. Intell. Robotic Syst..

[14]  J. Wang.  Methodology and design principles for a generic simulation platform for distributed robotic system experimentation and development , 1997, 1997 IEEE International Conference on Systems, Man, and Cybernetics. Computational Cybernetics and Simulation.

[15]  Kyu Ho Park,et al.  A Real-Time Discrete Event System Specification Formalism for Seamless Real-Time Software Development , 1997, Discret. Event Dyn. Syst..

[16]  Bernard P. Zeigler,et al.  Bandwidth Utilization / Fidelity Tradeoffs in Predictive Filtering 1 , 1999 .

[17]  Bernard P. Zeigler,et al.  Exploiting HLA and DEVS To Promote Interoperability and Reuse in Lockheed's Corporate Environment , 1999, Simul..

[18]  Bernard P. Zeigler,et al.  An Integrated Modeling and Simulation Methodology for Intelligent Systems Design and Testing , 2002 .

[19]  Tucker R. Balch,et al.  Behavior-based formation control for multirobot teams , 1998, IEEE Trans. Robotics Autom..