9:15 |
Registro y entrega de documentación |
9:30 |
Sesión 1: Plataformas de desarrollo. (Alejandro Alonso) |
|
- Automatic Test Cases Generation From Formal Contracts
Extended abstract, Samuel Jiménez Gil, Manuel I Capel, Gabriel Olea Olea, SatixFy Space Systems UK, Universidad de Granada
- OpenTwins: An open-source framework for the design, development and integration of effective 3D-IoT-AI-powered digital twins, Julia Robles, Cristian Martín, Manuel, Universidad de Málaga (Instituto ITIS Software)
- Desarrollo de una plataforma de ejecución para validación y verificación de código autogenerado, Jesús Zurera, Miguel A. de Miguel, Universidad Politécnica de Madrid
|
11:00 |
Excursión |
14:00 |
Comida |
15:30 |
Sesión 2: Ingenería basada en modelos. (Patricia Balbastre) |
|
- Extensión del metamodelo RAI4.0 para el diseño, configuración y despliegue de aplicaciones intensivas de datos en entornos mixtos, Ricardo Dintén, Marta Zorrilla Pantaleón, y Patricia López Martínez
Universidad de Cantabria
- Primeros pasos en el modelado de sistemas heterogéneos para movilidad inteligente, Iosu Gomez, Unai Díaz de Cerio, Jorge Parra, Juan M. Rivas, J. Javier Gutiérrez, Ikerlan, Universidad de Cantabria
- Organización de la información para la automatización de procesos industriales usando MeiA, Nagore Iriondo, María Luz Álvarez, Isabel Sarachaga, Arantzazu Burgos, Universidad del Pais Vasco
|
17:00 |
Descanso y café |
17:20 |
Sesión 3: Grupo temático CEA y Línea estratégica, (Elisabet Estévez) |
|
- Grupo temático situación actual y CEA, Elisabet Estévez
- Industria 4.0. Descripción línea, papers para RIAI, Calls abiertas EU Francisco Blanes
|
18:45 |
Sesión 4: PRESECREL: Reunión de coordinación. (José Simó) |
|
- Requisitos de sistemas elaborados en 1ª fase
- Alternativas arquitectónicas de ciberseguridad
- Siguientes acciones
|
21:00 |
Cena |