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-03

Financiado

STRONGSOFT-CLIP: TECNOLOGIAS RIGUROSAS PARA SOFTWARE DE NUEVA GENERACION, ABIERT...

STRONGSOFT-CLIP: TECNOLOGIAS RIGUROSAS PARA SOFTWARE DE NUEVA GENERACION, ABIERTO Y FIABLE 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... ver más

01/01/2012

UPM

34K€

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

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-02 TECNOLOGIAS RIGUROSAS PARA SOFTWARE DE NUEVA GENERACION ABIE... 37K€ Cerrado

TIN2012-39391-C04-01 SOUND TECHNOLOGIES FOR RELIABLE, OPEN, NEW GENERATION SOFTWA... 133K€ Cerrado

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

SYMBIOSYS Symbolic Analysis of Temporal and Functional Behavior of Net... 2M€ Cerrado

TIN2009-14599-C03-01 DESARROLLO DE SOFTWARE DE ALTA CALIDAD, FIABLE, DISTRIBUIDO... 391K€ 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 34K€

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

Conecta tu I+D

Entra hoy

¿Olvidé mi contraseña?

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores