Innovating Works

TIN2012-39391-C04-02

Financiado
TECNOLOGIAS RIGUROSAS PARA SOFTWARE DE NUEVA GENERACION ABIERTO Y FIABLE
LOS SISTEMAS SOFTWARE SON ESENCIALES PARA LA ECONOMIA ESPAÑOLA Y DE LA UE EN TERMINOS DEL PIB, EMPLEO Y CRECIMIENTO, ASI COMO UN CATALIZADOR INDIRECTO A TRAVES DE LA INDUSTRIA Y LAS ORGANIZACIONES. TAMBIEN SON CRUCIALES PARA NUEST... LOS SISTEMAS SOFTWARE SON ESENCIALES PARA LA ECONOMIA ESPAÑOLA Y DE LA UE EN TERMINOS DEL PIB, EMPLEO Y CRECIMIENTO, ASI COMO UN CATALIZADOR INDIRECTO A TRAVES DE LA INDUSTRIA Y LAS ORGANIZACIONES. TAMBIEN SON CRUCIALES PARA NUESTRAS VIDAS, EN OBJETOS DE USO COTIDIANO (DISPOSITIVOS MOVILES, COCHES) Y EN AREAS ESTRATEGICAS (SALUD, TRANSPORTE), A MENUDO EN UNA FORMA CRITICA RESPECTO A LA SEGURIDAD O LA ECONOMIA. LOS DEFECTOS EN LOS SISTEMAS SOFTWARE (QUE VAN DESDE ERRORES DE FUNCIONAMIENTO HASTA LA REVELACION DE DATOS PRIVADOS) CAUSAN ENORMES DAÑOS PERSONALES, AMBIENTALES Y ECONOMICOS, Y TAMBIEN HACEN EXTREMADAMENTE CARO EL DESARROLLO DE SOFTWARE Y SU MANTENIMIENTO.AL MISMO TIEMPO, LOS SISTEMAS SOFTWARE SON CADA VEZ MAS COMPLEJOS Y VULNERABLES, YA QUE INTERACTUAN A TRAVES DE REDES HETEROGENEAS CON UN MUNDO ABIERTO Y POCO FIABLE. INCLUSO LOS SISTEMAS MISMOS EN LOS QUE RESIDEN Y SE EJECUTAN LOS PROGRAMAS PUEDEN SER NO FIABLES, COMO EN EL CASO DE LA COMPUTACION EN LA NUBE. ESTO NOS PLANTEA EL IMPORTANTE RETO DE COMO DESARROLLAR Y MANTENER SISTEMAS SOFTWARE QUE NO SOLO GARANTICEN LA CORRECCION, SINO TAMBIEN LA SEGURIDAD Y LA CAPACIDAD DE RECUPERACION EN PRESENCIA DE AMENAZAS EXTERNAS. AL MISMO TIEMPO, LAS EXIGENCIAS DE EFICIENCIA SOBRE EL SOFTWARE INCLUYEN NUEVOS RETOS, COMO LA OPTIMIZACION DE LOS RECURSOS (POR EJEMPLO, EL CONSUMO DE ENERGIA) Y LA ADAPTACION A LAS NUEVAS PLATAFORMAS DISTRIBUIDAS Y PARALELAS.EL OBJETIVO DEL PROYECTO STRONGSOFT ES DEFINIR, IMPLEMENTAR, EVALUAR Y DIFUNDIR TECNOLOGIAS INNOVADORAS QUE SEAN CAPACES DE MANTENER EL RITMO DE LA RAPIDA EVOLUCION DE LOS SISTEMAS SOFTWARE Y HACER FRENTE A LOS DESAFIOS QUE ESTA IMPLICA. EL PROYECTO PROPORCIONARA SOLUCIONES QUE DEN SOPORTE AL DESARROLLO RENTABLE DE SISTEMAS SOFTWARE DE NUEVA GENERACION, FIABLES, EFICIENTES Y SEGUROS, CONECTADOS A UN MUNDO ABIERTO Y POCO FIABLE, CRUZANDO DIFERENTES DOMINIOS DE APLICACION. EL PLAN DE TRABAJO SE ORGANIZA EN UNA SERIE DE LINEAS COORDINADAS QUE CUBREN:+ SEGURIDAD Y CRIPTOGRAFIA (INCLUIDAS CRIPTOGRAFIA VERIFICADA, SEGURIDAD DE SISTEMAS Y REDES, Y POLITICAS DE SEGURIDAD Y SU CUMPLIMIENTO),+ ANALISIS Y VERIFICACION (INCLUIDAS VERIFICACION DE SISTEMAS OPERATIVOS, VERIFICACION DE PROGRAMAS CONCURRENTES, ANALISIS Y VERIFICACION DE RECURSOS, Y FUNDAMENTOS),+ DEPURACION Y PRUEBAS (INCLUIDAS DEPURACION APROXIMADA Y CONECTADA CON EL ANALISIS, ASI COMO INTEGRACION DE TECNICAS ESTATICAS Y DINAMICAS), Y+ TECNOLOGIA DE LENGUAJES (INCLUIDOS DISEÑO E IMPLEMENTACION DE LENGUAJES AVANZADOS, OPTIMIZACION Y ESCALABILIDAD).EN TODAS ESTAS AREAS LA INVESTIGACION PROPUESTA PRODUCIRA RESULTADOS TANTO TEORICOS COMO PRACTICOS, INCLUYENDO UNA SERIE DE HERRAMIENTAS PARA LA CONSTRUCCION DE SOFTWARE SEGURO Y FIABLE. PARA LOGRAR SUS OBJETIVOS, EL CONSORCIO STRONGSOFT AGLUTINA ALGUNOS DE LOS GRUPOS DE INVESTIGACION LIDERES EN ESPAÑA EN TECNOLOGIAS DE SOFTWARE FIABLE, JUNTO CON INVESTIGADORES EXTRANJEROS CLAVE Y USUARIOS INDUSTRIALES PARA LOS QUE ESTA INVESTIGACION ES DE GRAN RELEVANCIA. ver más
01/01/2012
UPM
37K€
Perfil tecnológico estimado

Línea de financiación: concedida

El organismo AGENCIA ESTATAL DE INVESTIGACIÓN notifico la concesión del proyecto el día 2012-01-01
Presupuesto El presupuesto total del proyecto asciende a 37K€
Líder del proyecto
UNIVERSIDAD POLITÉCNICA DE MADRID No se ha especificado una descripción o un objeto social para esta compañía.
Total investigadores 3944