Model-based development of virtual laboratories for robotics over the internet

  • Authors:

  • Fernando D. Von Borstel;José Luis Gordillo

  • Affiliations:

  • Centro de Investigaciones Biológicas del Noroeste, La Paz, México;Center for Intelligent Computing and Robotics, Tecnológico de Monterrey, Monterrey, México

  • Venue:
  • IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans - Special issue on recent advances in biometrics
  • Year:
  • 2010

Quantified Score

Hi-index 0.01

Visualization

Abstract

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 themodel 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 themethodology supply a complete guideline for the developer to implement VLs for robotics. Themodel 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.