Hola,
¿eres nuevo aquí?

Regístrate gratis y conecta tu empresa con financiación pública, partners y proyectos.

Tengo cuenta

Regístrate

Ver video

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... ver más

01/01/2012

UPM

37K€

Presupuesto del proyecto: 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

Financiación concedida El organismo AGENCIA ESTATAL DE INVESTIGACIÓN notifico la concesión del proyecto el día 2012-01-01 No tenemos la información de la convocatoria

0% 100%

Participantes

UPM

Lider

Conecta tu I+D

¿Tienes un proyecto y buscas un partner? Gracias a nuestro motor inteligente podemos recomendarte los mejores socios y ponerte en contacto con ellos. Te lo explicamos en este video

Proyectos interesantes

TIN2012-39391-C04-04 TECNOLOGIAS RIGUROSAS PARA SOFTWARE DE NUEVA GENERACION ABIE... 69K€ Cerrado

TIN2012-39391-C04-03 STRONGSOFT-CLIP: TECNOLOGIAS RIGUROSAS PARA SOFTWARE DE NUEV... 34K€ Cerrado

TUNE Testing the Untestable Model Testing of Complex Software In... 2M€ Cerrado

TIN2009-14599-C03-01 DESARROLLO DE SOFTWARE DE ALTA CALIDAD, FIABLE, DISTRIBUIDO... 391K€ Cerrado

RS³ Resilient and Sustainable Software Security 2M€ Cerrado

TIN2009-14599-C03-03 DESARROLLO DE SOFTWARE DE ALTA CALIDAD, FIABLE, DISTRIBUIDO... 159K€ Cerrado

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

Presupuesto del proyecto 37K€

Descripción del proyecto 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.

Conecta tu I+D

Entra hoy

¿Olvidé mi contraseña?

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores