Search

Your search keyword '"Pastor Franco, Juan Ángel"' showing total 6 results
Start Over Author "Pastor Franco, Juan Ángel" Publisher springer
6 results on '"Pastor Franco, Juan Ángel"'

1. StateML + : From Graphical State Machine Models to Thread-Safe Ada Code

Author

Alonso Cáceres, Diego, Vicente Chicote, Cristina, Pastor Franco, Juan Ángel, Álvarez Torres, María Bárbara, División de Sistemas e Ingeniería Electrónica (DSIE), DSIE, and Tecnologías de la Información y las Comunicaciones

Subjects
Máquinas de estado finito, Generación de hilo seguro de código, Thread safe code generation, Plataforma eclipse, Model to text transformation, Model to text (M2T) transformation, Lenguajes y Sistemas Informáticos, Transformación de modelo a texto, Finite state machines (FSM), Eclipse platform, Eclipse, Model driven engineering (MDE), Modelos de Ingeniería de conducción
Abstract

This paper presents the StateML+ tool aimed at designing state-machines and automatically generating thread-safe and multi-tasking modular Ada code from them, following a Model-Driven Engineering approach. The StateML+ meta-model is an extension of a previous version, and now it offers improved modeling capabilities, which include regions and macro-state definition. In this paper, a case study regarding the design of a robotic system will be used to demonstrate the benefits of the proposed approach. This research has been funded by the Spanish CICYT project MEDWSA (TIN2006-15175-C05-02) and the Regional Government of Murcia Seneca Program (02998-PI-05).

Published
2008

2. A reference control architecture for service robots implemented on a climbing vehicle

Author

Ortiz Zaragoza, Francisco José, Alonso Cáceres, Diego, Álvarez Torres, María Bárbara, Pastor Franco, Juan Ángel, and División de Sistemas e Ingeniería Electrónica (DSIE)

Subjects
Componentes de la Coordinación, Control y la abstracción de subsistemas (CCAS), Lázaro vehículo, Control Architecture for Teleoperated Service Robots (ACROSET), Environmental Friendly and Cost-Effective Technology for Coating Removal (EFTCoR), Lenguajes y Sistemas Informáticos, Teleoperated robot, Components of the Coordination, Control and Abstraction Subsystem (CCAS), Tecnología Electrónica, Arquitectura de Control para Robots de Servicio Teleoperados (ACROSET), Entorno amigable y tecnología rentable para la eliminación de revestimientos (EFTCoR), Lázaro Vehicle, Robot teleoperado
Abstract

Teleoperated robots are used to perform hazardous tasks that human operators cannot carry out. The purpose of this paper is to present a new architecture (ACROSET) for the development of these systems that takes into account the current advances in robotic architectures while adopting the component-oriented approach. The architecture is currently being used, tested and improved in the development of an heterogeneous family of robots in the context of the EFTCoR project. It is also presented the Ada’95 implementation of ACROSET for a climbing robot. This work has been partially supported by European Union (GROWTH G3RD-CT- 00794) and the Spanish Government programs CICYT (TIC2003-07804-C05-02) and Seneca (PB/5/FS/02).

Published
2005

3. Real Time Teaching with Java: JPR3

Author

Alonso Cáceres, Diego, Pastor Franco, Juan Ángel, Álvarez Torres, María Bárbara, and División de Sistemas e Ingeniería Electrónica (DSIE)

Subjects
Sistema digital Märklin, Märklin Digital System, Java Platform for Realtime Railway Research (JPR3), Digital railroad scale-model JPR3, Lenguajes y Sistemas Informáticos, Realtime operating systems, Modelo digital de ferrocarril JPR3, Plataforma Java para investigación ferroviaria a tiempo real, Sistemas operativos a tiempo real, Java
Abstract

This paper describes a development platform built around a digital railroad scale{model: JPR3 (Java Platform for Realtime Railway Research). The laboratory equipment and software aims to achieve two goals: help and motivate students of real{time systems and as support for postgraduate students. Students nd the scale{model really challenging and are very motivated by it; thus it's easy for them to really learn and practice all the concepts of real{time systems. But it's not only for students use: it also serves as a research platform for postgraduate students, thanks to the possibilities o ered by the scale{model. Java has been chosen as the programming language codify the platform and the implementation of the system is described in this work. This work was supported in part by the Spanish Ministry of Education (with reference ACF2000{0037{IN) and the Regional Government of Murcia (Séneca Programmes with reference PB/8/FS/02)

Published
2004

4. StateML + : From Graphical State Machine Models to Thread-Safe Ada Code

Author

División de Sistemas e Ingeniería Electrónica (DSIE), Alonso Cáceres, Diego, Vicente Chicote, Cristina, Pastor Franco, Juan Ángel, Álvarez Torres, María Bárbara, División de Sistemas e Ingeniería Electrónica (DSIE), Alonso Cáceres, Diego, Vicente Chicote, Cristina, Pastor Franco, Juan Ángel, and Álvarez Torres, María Bárbara

Abstract

This paper presents the StateML+ tool aimed at designing state-machines and automatically generating thread-safe and multi-tasking modular Ada code from them, following a Model-Driven Engineering approach. The StateML+ meta-model is an extension of a previous version, and now it offers improved modeling capabilities, which include regions and macro-state definition. In this paper, a case study regarding the design of a robotic system will be used to demonstrate the benefits of the proposed approach.

Published
2008

5. A reference control architecture for service robots implemented on a climbing vehicle

Author

División de Sistemas e Ingeniería Electrónica (DSIE), Ortiz Zaragoza, Francisco José, Alonso Cáceres, Diego, Álvarez Torres, María Bárbara, Pastor Franco, Juan Ángel, División de Sistemas e Ingeniería Electrónica (DSIE), Ortiz Zaragoza, Francisco José, Alonso Cáceres, Diego, Álvarez Torres, María Bárbara, and Pastor Franco, Juan Ángel

Abstract

Teleoperated robots are used to perform hazardous tasks that human operators cannot carry out. The purpose of this paper is to present a new architecture (ACROSET) for the development of these systems that takes into account the current advances in robotic architectures while adopting the component-oriented approach. The architecture is currently being used, tested and improved in the development of an heterogeneous family of robots in the context of the EFTCoR project. It is also presented the Ada’95 implementation of ACROSET for a climbing robot.

Published
2005

6. Real Time Teaching with Java: JPR3

Author

División de Sistemas e Ingeniería Electrónica (DSIE), Alonso Cáceres, Diego, Pastor Franco, Juan Ángel, Álvarez Torres, María Bárbara, División de Sistemas e Ingeniería Electrónica (DSIE), Alonso Cáceres, Diego, Pastor Franco, Juan Ángel, and Álvarez Torres, María Bárbara

Abstract

This paper describes a development platform built around a digital railroad scale{model: JPR3 (Java Platform for Realtime Railway Research). The laboratory equipment and software aims to achieve two goals: help and motivate students of real{time systems and as support for postgraduate students. Students nd the scale{model really challenging and are very motivated by it; thus it's easy for them to really learn and practice all the concepts of real{time systems. But it's not only for students use: it also serves as a research platform for postgraduate students, thanks to the possibilities o ered by the scale{model. Java has been chosen as the programming language codify the platform and the implementation of the system is described in this work.

Published
2004

Catalog

Books, media, physical & digital resources
See catalog results