IMDEA Software

Iniciativa IMDEA

Inicio > Noticias > 2023 > Fernando Macías organiza un taller basado en la Ingeniería Dirigida por Modelos en IMDEA Software

18 de mayo de 2023

Fernando Macías organiza un taller basado en la Ingeniería Dirigida por Modelos en IMDEA Software

Pic

El Instituto IMDEA Software acogió en su sede el taller sobre ingeniería basada en modelos y sus aplicaciones. El taller ha reunido a expertos de diferentes ramas de investigación dentro de la Ingeniería Basada en Modelos (MDE) para discutir sus técnicas, avances y aplicaciones a diferentes dominios. El evento, organizado por el investigador postdoctoral del Instituto IMDEA Software, Fernando Macías, fue todo un éxito y consiguió compartir conocimientos a través de las charlas propuestas.

Pic

Duró toda la jornada, empezando con la apertura por parte de Fernando Macías y dando lugar a la primera charla, en la que Cristina Vicente, de la Universidad de Extremadura hizo una introducción al diseño de aplicaciones basadas en contenedores o robots educativos, hasta la gestión de flotas de robots autónomos auto adaptativos.

Pic

La segunda charla la dio Roberto Rodríguez, también de la Universidad de Extremadura que discutió un marco de trabajo basado en modelos para la definición de pipelines de ciencia de datos independientes de la plataforma de ejecución particular y herramientas que alivian problemas como la ejecución de pipelines en diferentes entornos.

Pic

Después de un coffee break, la siguiente charla la dio Volker Stolz, de la Western Norway University of Applied Sciences, quien presentó un modelado para la interoperabilidad del hogar inteligente y cómo representarlo en uno de los estándares para IoT, SAREF, así como los retos que conlleva. El objetivo es lograr su uso para la migración entre diferentes plataformas de hogares inteligentes.

Pic

Violet Ka I Pun, también de la Western Norway University of Applied Sciences presenta los resultados preliminares del proyecto CROFLOW, centrado en la toma de decisiones para optimizar los flujos de trabajo. El objetivo es automatizar estos procesos y hacerlos menos manuales y más eficientes.

Pic

Después de un parón para comer, José Ignacio Requeno de la Universidad Complutense de Madrid, retomó las charlas presentando las redes de Petri (PN) -un formalismo basado en autómatas para modelar sistemas concurrentes- para MDE.

Pic

Seguidamente, Adrian Rutle de Western Norway University of Applied Sciences habló sobre la multimodelización, aludiendo a varias formas de lograr la coherencia y también presentó un enfoque para restablecer la coherencia basado en el aprendizaje por refuerzo.

Pic

Posteriormente, Pablo Parra de la Universidad de Alcalá de Henares (UAH) describió las soluciones basadas en modelos que se adoptaron para facilitar el desarrollo de software embarcado en satélites dentro del proyecto de desarrollo de la unidad de control de instrumentos del Detector de Partículas Energéticas de la misión Solar Orbiter, entre otros.

Pic

Para finalizar el evento y como última charla, Óscar Rodríguez de la UAH basó su ponencia en la aplicación de técnicas de modelado para aplicaciones a bordo de satélites, como la gestión de requisitos y actividades de diseño, validación y verificación.