Model-Based Development of Virtual Laboratories for Robotics Over the Internet

作者：Von Borstel Fernando D^*; Luis Gordillo Jose

来源：IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans , 2010, 40(3): 623-634.

DOI：10.1109/TSMCA.2009.2036930

• Discrete event systems (DESs)
• event-based telerobotics
• object-oriented languages
• Petri nets
• Unified Modeling Language (UML)
• virtual laboratory (VL)

Extending technical education to students abroad requires the systematic development of virtual laboratories (VLs) that provide interaction with real and specialized equipment. This paper proposes a generic and modular model for VLs for robotics over the Internet. The model is defined by using Unified Modeling Language (UML) to depict its software structure and also Petri nets to describe its dynamic behavior. A development methodology uses the model as a reference framework. This proposed methodology, based on experiment specifications, customizes the framework in UML and formally translates its dynamic description, depicted by statecharts, into the Petri net formalism. Petri nets are used to analyze, control, and validate the VL dynamic design as a stable and event-synchronized telerobotic system. UML and Petri net charts obtained from the methodology supply a complete guideline for the developer to implement VLs for robotics. The model and its methodology are used to develop a remote VL for mobile robotics. This paper attempts to bridge the gap between ad hoc and formal implementation of VLs.

• 出版日期2010-5