Navegación

Búsqueda

Búsqueda avanzada

El autor Pedro Sánchez 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 - Obtención de diagramas de objetivos para sistemas Teleo-Reactivos: una aproximación metodológica

Este artículo presenta un método para obtener un diagrama TRiStar partiendo de la descripción textual de un sistema Teleo-Reactivo. El método se ilustra con un ejemplo clásico en la literatura de sistemas Teleo-Reactivos: el recolector de latas. El uso de este método permitirá facilitar la especificación y la reutilización de sistemas Teleo-Reactivos.

Autores: José M Morales / Pedro Sánchez / Bárbara Álvarez / Antonio Sanchez Garcia / Elena Navarro / 
Palabras Clave: Metodología - Teleo-Reactivo - TRiStar