Navegación

Búsqueda

Búsqueda avanzada

El autor Diego Alonso ha publicado 3 artículo(s):

1 - From Teleo-Reactive specifications to architectural components: A model-driven approach

This article describes a systematic approach that allows architectural models with structural descriptions and behaviour to be derived from TeleoReactive (TR) programs. The work is integrated in C-Forge [1], a toolchain for the development of reactive systems based on the use of frameworks, design patterns and code generation through model transformations, which has been used as the target for the integration of TR-specifications. This toolchain revolves around a modelling language for component-based applications, where component behaviour is modelled by means of state-machines, which decide the code the component will execute in response to messages coming from other application components and to internal computations.

Autores: Pedro Sánchez / Diego Alonso / José Miguel Morales / Pedro Navarro / 
Palabras Clave:

2 - Introducing Safety Requirements Traceability Support in Model-Driven Development of Robotic Applications

Teleoperated service robots are used to perform hazardous operations in hostile environments such as nuclear reactors, space missions, warehouses, etc. Since they have to interact with both the environment and human operators, it is essential that they be so designed as to involve no risk to the operators, the environment, or the robot itself. Where it is impossible to eliminate the risk, this at least must be limited.
The work described in this article was developed in the context of the European Union V Framework Programme EFTCoR project (Environmental Friendly and CostEffective Technology for Coating Removal), which addressed the development of a solution to the problem of retrieval and confinement of sub-products from ship maintenance operations. Given the experience of the DSIE research group in both the design of component-based software applications for tele-operated service robots [1], and the combined use of safety standards (like ANSI/RIA 15.06-1999 and European Standard EN 61508:2001) with specific methodologies for safety systems development (like Rapid Object-Oriented Process for Embedded Systems, ROPES) [2], we decided to develop an integrated development framework.

Autores: Pedro Sánchez / Diego Alonso / Francisca Rosique / Bárbara Álvarez / Juan A. Pastor / 
Palabras Clave:

3 - MinFrEditor: Entorno de desarrollo de aplicaciones para un framework de componentes

El entorno de modelado MinFrEditor integra un conjunto de herramientas diseadas para facilitar el desarrollo de aplicaciones basadas en componentes utilizando el framework MinFr. Este entorno de desarrollo permite a los usuarios de MinFr: (1) Modelar aplicaciones basadas en componentes utilizando un leguaje textual, (2) hacer el despliegue de las aplicaciones y (3) generar modelos de entrada para herramientas de análisis de tiempo real.

Autores: Francisco Sánchez-Ledesma / Juan Pastor / Diego Alonso / 
Palabras Clave: desarrollo de software basado en componentes - Desarrollo de Software Dirigido por Modelos - Editor - framework - herramienta de desarrollo - ingeniería de software