Proyecto de I+D
Projekt PID2021-122215NB-C31 AwESOMe
Metodologías avanzadas para arquitecturas, diseño y pruebas de software
Geltungsbereich National.
El proyecto AwESOMe (Metodologías avanzadas para arquitecturas, diseño y pruebas de sistemas de software) persigue importantes avances en áreas emergentes relevantes como la computación cuántica, los sistemas de Internet de las Cosas (IoT) y la computación en la nube. Asimismo, el proyecto consolidará y extenderá el estado del arte en áreas como el modelado formal y las pruebas de software. El proyecto AwESOMe es el esfuerzo coordinado de tres grupos de investigación de tres universidades españolas: UCM, UCA y UCLM. Los grupos comparten una larga trayectoria de colaboraciones exitosas: los grupos UCM y UCLM desarrollaron los proyectos MASTER (TIC2003-07848-C02), WEST (TIN2006-15578-C02, TESIS (TIN2009-14312-C02 y ESTuDIo (TIN2012-36812-C02). Durante los últimos seis años, los tres grupos han implementado los proyectos DArDOS (TIN2015-65845-C3-R) y FAME (RTI2018-093608-B-C31). Además de los equipos nacionales, en el proyecto AwESOMe participan, como miembros, investigadores de universidades europeas con sede en Alemania, Italia, Polonia, Eslovaquia, Suecia y Reino Unido y de países emergentes como Argelia. Cabe destacar que cuatro de los IPs (1 de la UCM, 2 de la UCA y 1 de la UCLM) son mujeres. Para lograr sus principales objetivos, el proyecto AwESOMe considera un enfoque formal, con base matemática. Sin embargo, el proyecto no deja de lado la aplicación de las metodologías desarrolladas en este proyecto y los resultados obtenidos, a los sistemas del mundo real. El proyecto AwESOMe establece tres objetivos principales. Primero, aborda el trabajo fundamental en computación cuántica y la generación y selección de casos de prueba. Además, considera cómo se pueden aplicar con éxito métodos formales para modelar y analizar diferentes aspectos, incluido el consumo de energía de tecnologías inalámbricas, tales como los protocolos Bluetooth Low Energy e IEEE 802.11e. Su segundo objetivo general es avanzar en el estado del arte de las técnicas de pruebas de los sistemas que no han sido suficientemente cubiertos por dichas técnicas. Un buen ejemplo de esta línea de trabajo es la aplicación de pruebas metamórficas para detectar errores en mapas. Su tercer objetivo gira en torno a arquitecturas centradas en datos y las tecnologías para la computación en la nube y el IoT, donde el uso del procesamiento de eventos complejos será clave. Uno de los principales focos de este objetivo es avanzar en varios objetivos de desarrollo sostenible (ODS). También incluye la formalización de normativa respecto al Reglamento General de Protección de Datos ya que los sistemas centrados en datos están sujetos a él. Además del impacto de sus resultados en la comunidad científica nacional e internacional, mediante la publicación de estos en foros relevantes, y del posible y deseable impacto en los ODS, se espera que el proyecto tenga un impacto económico a medio plazo. Un número considerable de empresas han mostrado su interés en involucrarse en el proyecto AwESOMe. En particular, las empresas que participan en las etapas de desarrollo de software podrán evaluar la utilidad de las herramientas desarrolladas y determinar si pueden ser incluidas en sus ciclos de producción.
Forscher/innen
