Innovating Works

TIN2012-39391-C04-03

Financiado
STRONGSOFT-CLIP: TECNOLOGIAS RIGUROSAS PARA SOFTWARE DE NUEVA GENERACION, ABIERT...
LOS SISTEMAS SOFTWARE SON ESENCIALES PARA LA ECONOMIA ESPAÑOLA Y DE LAUE EN TERMINOS DEL PIB, EMPLEO Y CRECIMIENTO, ASI COMO UN CATALIZADORINDIRECTO A TRAVES DE LA INDUSTRIA Y LAS ORGANIZACIONES. TAMBIEN SONCRUCIALES PARA NUESTRAS... LOS SISTEMAS SOFTWARE SON ESENCIALES PARA LA ECONOMIA ESPAÑOLA Y DE LAUE EN TERMINOS DEL PIB, EMPLEO Y CRECIMIENTO, ASI COMO UN CATALIZADORINDIRECTO A TRAVES DE LA INDUSTRIA Y LAS ORGANIZACIONES. TAMBIEN SONCRUCIALES 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 OLA ECONOMIA. LOS DEFECTOS EN LOS SISTEMAS SOFTWARE (QUE VAN DESDEERRORES DE FUNCIONAMIENTO HASTA LA REVELACION DE DATOS PRIVADOS)CAUSAN ENORMES DAÑOS PERSONALES, AMBIENTALES Y ECONOMICOS, Y TAMBIENHACEN EXTREMADAMENTE CARO EL DESARROLLO DE SOFTWARE Y SUMANTENIMIENTO.AL MISMO TIEMPO, LOS SISTEMAS SOFTWARE SON CADA VEZ MAS COMPLEJOS YVULNERABLES, YA QUE INTERACTUAN A TRAVES DE REDES HETEROGENEAS CON UNMUNDO ABIERTO Y POCO FIABLE. INCLUSO LOS SISTEMAS MISMOS EN LOS QUERESIDEN Y SE EJECUTAN LOS PROGRAMAS PUEDEN SER NO FIABLES, COMO ENEL CASO DE LA COMPUTACION EN LA NUBE. ESTO NOS PLANTEA EL IMPORTANTERETO DE COMO DESARROLLAR Y MANTENER SISTEMAS SOFTWARE QUE NO SOLOGARANTICEN LA CORRECCION, SINO TAMBIEN LA SEGURIDAD Y LA CAPACIDAD DERECUPERACION EN PRESENCIA DE AMENAZAS EXTERNAS. AL MISMO TIEMPO, LASEXIGENCIAS DE EFICIENCIA SOBRE EL SOFTWARE INCLUYEN NUEVOS RETOS, COMOLA OPTIMIZACION DE LOS RECURSOS (POR EJEMPLO, EL CONSUMO DE ENERGIA) YLA ADAPTACION A LAS NUEVAS PLATAFORMAS DISTRIBUIDAS Y PARALELAS.EL OBJETIVO DEL PROYECTO STRONGSOFT ES DEFINIR, IMPLEMENTAR, EVALUAR YDIFUNDIR TECNOLOGIAS INNOVADORAS QUE SEAN CAPACES DE MANTENER EL RITMODE LA RAPIDA EVOLUCION DE LOS SISTEMAS SOFTWARE Y HACER FRENTE A LOSDESAFIOS QUE ESTA IMPLICA. EL PROYECTO PROPORCIONARA SOLUCIONES QUEDEN SOPORTE AL DESARROLLO RENTABLE DE SISTEMAS SOFTWARE DE NUEVAGENERACION, FIABLES, EFICIENTES Y SEGUROS, CONECTADOS A UN MUNDOABIERTO Y POCO FIABLE, CRUZANDO DIFERENTES DOMINIOS DEAPLICACION. EL PLAN DE TRABAJO SE ORGANIZA EN UNA SERIE DE LINEASCOORDINADAS 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 RESULTADOSTANTO TEORICOS COMO PRACTICOS, INCLUYENDO UNA SERIE DE HERRAMIENTASPARA LA CONSTRUCCION DE SOFTWARE SEGURO Y FIABLE.PARA LOGRAR SUS OBJETIVOS, EL CONSORCIO STRONGSOFT AGLUTINA ALGUNOS DELOS GRUPOS DE INVESTIGACION LIDERES EN ESPAÑA EN TECNOLOGIAS DESOFTWARE FIABLE, JUNTO CON INVESTIGADORES EXTRANJEROS CLAVE Y USUARIOSINDUSTRIALES PARA LOS QUE ESTA INVESTIGACION ES DE GRAN RELEVANCIA. ver más
01/01/2012
UPM
34K€
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 34K€
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