Model-driven engineering approach to design and implementation of robot control system

In this paper we apply a model-driven engineering approach to designing domain-specific solutions for robot control system development. We present a case study of the complete process, including identification of the domain meta-model, graphical notation definition and source code generation for subsumption architecture -- a well-known example of robot control architecture. Our goal is to show that both the definition of the robot-control architecture and its supporting tools fits well into the typical workflow of model-driven engineering development.Comment: Presented at DSLRob 2011 (arXiv:cs/1212.3308

Development of a control system for teleoperated robots using UML nd Ada 95

In this paper, a control system in the domain of teleoperated service robots is presented. A reference architecture - ACROSET - has been analyzed and designed following a concurrent object modeling and architectural design methodology (COMET) that uses UML as describing language. The architecture of the whole system has been implemented in a ship’s hull blasting robot - GOYA –using Ada 95 and GLADE. Our previous experience in developing teleoperated service robots using Ada is also presente

Exploiting Prior Knowledge in Robot Motion Skills Learning

This thesis presents a new robot learning framework, its application to exploit prior knowledge by encoding movement primitives in the form of a novel motion library, and the transfer of such knowledge to other robotic platforms in the form of shared latent spaces. In robot learning, it is often desirable to have robots that learn and acquire new skills rapidly. However, existing methods are specific to a certain task defined by the user, as well as time consuming to train. This includes for instance end-to-end models that can require a substantial amount of time to learn a certain skill. Such methods often start with no prior knowledge or little, and move slowly from erratic movements to the specific required motion. This is very different from how animals and humans learn motion skills. For instance, zebras in the African Savannah can learn to walk in few minutes just after being born. This suggests that some kind of prior knowledge is encoded into them. Leveraging this information may help improve and accelerate the learning and generation of new skills. These observations raise questions such as: how would this prior knowledge be represented? And how much would it help the learning process? Additionally, once learned, these models often do not transfer well to other robotic platforms requiring to teach to each other robot the same skills. This significantly increases the total training time and render the demonstration phase a tedious process. Would it be possible instead to exploit this prior knowledge to accelerate the learning process of new skills by transferring it to other robots? These are some of the questions that we are interested to investigate in this thesis. However, before examining these questions, a practical tool that allows one to easily test ideas in robot learning is needed. This tool would have to be easy-to-use, intuitive, generic, modular, and would need to let the user easily implement different ideas and compare different models/algorithms. Once implemented, we would then be able to focus on our original questions

Towards Error Handling in a DSL for Robot Assembly Tasks

This work-in-progress paper presents our work with a domain specific language (DSL) for tackling the issue of programming robots for small-sized batch production. We observe that as the complexity of assembly increases so does the likelihood of errors, and these errors need to be addressed. Nevertheless, it is essential that programming and setting up the assembly remains fast, allows quick changeovers, easy adjustments and reconfigurations. In this paper we present an initial design and implementation of extending an existing DSL for assembly operations with error specification, error handling and advanced move commands incorporating error tolerance. The DSL is used as part of a framework that aims at tackling uncertainties through a probabilistic approach.Comment: Presented at DSLRob 2014 (arXiv:cs/1411.7148

Design of service robots: Experiences using software engineering

This article relates our experiences over the last 15 years in the development of robotic applications within the field of service robotics, using the techniques proposed by software engineering. The process began with domain engineering and reference architectures, moved on to component-oriented development, and currently centered on model-driven design. One of the key problems in software development for robotic systems is that the possibilities of reusing software in new applications are frequently limited. This means that we are forced over and over to solve the same problems starting practically from zero every time. The possible causes of this include the following: 1) robotics specialists normally concentrate more on developing algorithms and the way to solve concrete problems than on organizing the software; 2) lack of good standards for the development of robotic software and implementations of these standards; 3) the case studies conducted to demonstrate the viability of software engineering techniques traditionally deal with information management systems; and 4) the robotics community see software engineering not as a solution but as another problem that adds complexity to already complex problems. This research has helped to demonstrate the viability of using software engineering techniques in real industrial applications, albeit using academic tools that cannot readily be accepted by industry.This work has been supported by EU and Spanish Government research programmes: 5th FP (GROWTH G3RD-CT-00794), CICYT-FEDER Program (MEDWSA, TIN2006-15175-C05- 02). Additional funds have been supplied by the Government of Murcia (Fundación Séneca) and the Spanish Ministry of Industry (PROFIT programs)

Modeling and performance estimation of robotic systems using ROS: application to drone-based services

Smart Robots are an integral part of the 4th Industrial Revolution. Its integration as essential components in robot-based services is not straightforward. Each robot is a cyber-physical system (CPS) where a mechanical part operates under the control of a digital board(s). Modeling and simulation of such devices has specificities to be taken into account. Model-Driven Design (MDD) has proven to be a powerful System Engineering methodology able to cope with the complexity of services built as a system of CPSs (CPSoS). In this paper, a methodology is proposed to seamlessly integrate robots into a MDD framework so that the whole service can be simulated and its performance, analyzed. Although the methodology is valid for robots in general, it has been assessed on a drone-based service.This work has been partially funded by the EU and the Spanish MICINN through the ECSEL Comp4Drones project and the TEC2017-86722-C4-3-R PLATINO project respectively

Towards a Tool-based Development Methodology for Pervasive Computing Applications

Despite much progress, developing a pervasive computing application remains a challenge because of a lack of conceptual frameworks and supporting tools. This challenge involves coping with heterogeneous devices, overcoming the intricacies of distributed systems technologies, working out an architecture for the application, encoding it in a program, writing specific code to test the application, and finally deploying it. This paper presents a design language and a tool suite covering the development life-cycle of a pervasive computing application. The design language allows to define a taxonomy of area-specific building-blocks, abstracting over their heterogeneity. This language also includes a layer to define the architecture of an application, following an architectural pattern commonly used in the pervasive computing domain. Our underlying methodology assigns roles to the stakeholders, providing separation of concerns. Our tool suite includes a compiler that takes design artifacts written in our language as input and generates a programming framework that supports the subsequent development stages, namely implementation, testing, and deployment. Our methodology has been applied on a wide spectrum of areas. Based on these experiments, we assess our approach through three criteria: expressiveness, usability, and productivity