Descripción del proyecto
EL PROYECTO AWESOME (METODOLOGIAS AVANZADAS PARA ARQUITECTURAS, DISEÑO Y PRUEBAS DE SISTEMAS DE SOFTWARE) PERSIGUE IMPORTANTES AVANCES EN AREAS EMERGENTES RELEVANTES COMO LA COMPUTACION CUANTICA, LOS SISTEMAS DE INTERNET DE LAS COSAS (IOT) Y LA COMPUTACION EN LA NUBE. ASIMISMO, EL PROYECTO CONSOLIDARA Y EXTENDERA EL ESTADO DEL ARTE EN AREAS COMO EL MODELADO FORMAL Y LAS PRUEBAS DE SOFTWARE. EL PROYECTO AWESOME ES EL ESFUERZO COORDINADO DE TRES GRUPOS DE INVESTIGACION 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 ULTIMOS SEIS AÑOS, LOS TRES GRUPOS HAN IMPLEMENTADO LOS PROYECTOS DARDOS (TIN2015-65845-C3-R) Y FAME (RTI2018-093608-B-C31). ADEMAS 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 PAISES 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 MATEMATICA. SIN EMBARGO, EL PROYECTO NO DEJA DE LADO LA APLICACION DE LAS METODOLOGIAS 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 COMPUTACION CUANTICA Y LA GENERACION Y SELECCION DE CASOS DE PRUEBA. ADEMAS, CONSIDERA COMO SE PUEDEN APLICAR CON EXITO METODOS FORMALES PARA MODELAR Y ANALIZAR DIFERENTES ASPECTOS, INCLUIDO EL CONSUMO DE ENERGIA DE TECNOLOGIAS INALAMBRICAS, TALES COMO LOS PROTOCOLOS BLUETOOTH LOW ENERGY E IEEE 802.11E. SU SEGUNDO OBJETIVO GENERAL ES AVANZAR EN EL ESTADO DEL ARTE DE LAS TECNICAS DE PRUEBAS DE LOS SISTEMAS QUE NO HAN SIDO SUFICIENTEMENTE CUBIERTOS POR DICHAS TECNICAS. UN BUEN EJEMPLO DE ESTA LINEA DE TRABAJO ES LA APLICACION DE PRUEBAS METAMORFICAS PARA DETECTAR ERRORES EN MAPAS. SU TERCER OBJETIVO GIRA EN TORNO A ARQUITECTURAS CENTRADAS EN DATOS Y LAS TECNOLOGIAS PARA LA COMPUTACION EN LA NUBE Y EL IOT, DONDE EL USO DEL PROCESAMIENTO DE EVENTOS COMPLEJOS SERA CLAVE. UNO DE LOS PRINCIPALES FOCOS DE ESTE OBJETIVO ES AVANZAR EN VARIOS OBJETIVOS DE DESARROLLO SOSTENIBLE (ODS). TAMBIEN INCLUYE LA FORMALIZACION DE NORMATIVA RESPECTO AL REGLAMENTO GENERAL DE PROTECCION DE DATOS YA QUE LOS SISTEMAS CENTRADOS EN DATOS ESTAN SUJETOS A EL.ADEMAS DEL IMPACTO DE SUS RESULTADOS EN LA COMUNIDAD CIENTIFICA NACIONAL E INTERNACIONAL, MEDIANTE LA PUBLICACION DE ESTOS EN FOROS RELEVANTES, Y DEL POSIBLE Y DESEABLE IMPACTO EN LOS ODS, SE ESPERA QUE EL PROYECTO TENGA UN IMPACTO ECONOMICO A MEDIO PLAZO. UN NUMERO CONSIDERABLE DE EMPRESAS HAN MOSTRADO SU INTERES EN INVOLUCRARSE EN EL PROYECTO AWESOME. EN PARTICULAR, LAS EMPRESAS QUE PARTICIPAN EN LAS ETAPAS DE DESARROLLO DE SOFTWARE PODRAN EVALUAR LA UTILIDAD DE LAS HERRAMIENTAS DESARROLLADAS Y DETERMINAR SI PUEDEN SER INCLUIDAS EN SUS CICLOS DE PRODUCCION. NGENIERIA DEL SOFTWARE\CIUDADES INTELIGENTES SOSTENIBLES\ARQUITECTURAS DE SOFTWARE\COMPUTACION CUANTICA\PRUEBAS DE SOFTWARE\METODOS FORMALES