METODOLOGIAS AVANZADAS PARA ARQUITECTURAS, DISEÑO Y PRUEBAS DE SISTEMAS SOFTWARE
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 CO...
ver más
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
Seleccionando "Aceptar todas las cookies" acepta el uso de cookies para ayudarnos a brindarle una mejor experiencia de usuario y para analizar el uso del sitio web. Al hacer clic en "Ajustar tus preferencias" puede elegir qué cookies permitir. Solo las cookies esenciales son necesarias para el correcto funcionamiento de nuestro sitio web y no se pueden rechazar.
Cookie settings
Nuestro sitio web almacena cuatro tipos de cookies. En cualquier momento puede elegir qué cookies acepta y cuáles rechaza. Puede obtener más información sobre qué son las cookies y qué tipos de cookies almacenamos en nuestra Política de cookies.
Son necesarias por razones técnicas. Sin ellas, este sitio web podría no funcionar correctamente.
Son necesarias para una funcionalidad específica en el sitio web. Sin ellos, algunas características pueden estar deshabilitadas.
Nos permite analizar el uso del sitio web y mejorar la experiencia del visitante.
Nos permite personalizar su experiencia y enviarle contenido y ofertas relevantes, en este sitio web y en otros sitios web.