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

TIN2015-67522-C3-3-R

Financiado

TECNOLOGIAS Y HERRAMIENTAS PARA EL DESARROLLO DE SOFTWARE CONSCIENTE DE LOS RECU...

TECNOLOGIAS Y HERRAMIENTAS PARA EL DESARROLLO DE SOFTWARE CONSCIENTE DE LOS RECURSOS, CORRECTO Y EFICIENTE EN NUESTRA VIDA COTIDIANA INTERACTUAMOS CON MUCHOS DISPOSITIVOS QUE USAN SOFTWARE, ALGUNAS INTERACCIONES OCURREN A PROPOSITO (POR EJEMPLO, CUANDO SE USA UN TELEFONO) Y OTRAS INADVERTIDAMENTE (POR EJEMPLO, CUANDO UN PROCESADOR EN U... ver más

01/01/2015

UCM

182K€

Presupuesto del proyecto: 182K€

Líder del proyecto

Universidad Complutense de Madrid No se ha especificado una descripción o un objeto social para esta compañía.

Total investigadores 3279

Fecha límite participación Sin fecha límite de participación.

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

0% 100%

Información adicional privada

No hay información privada compartida para este proyecto. Habla con el coordinador.

Participantes

UCM

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

TIN2015-67522-C3-1-R TECNOLOGIAS Y HERRAMIENTAS PARA EL DESARROLLO DE SOFTWARE CO... 90K€ Cerrado

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

MirandaTesting Testing Program Analyzers Ad Absurdum 1M€ Cerrado

TIN2008-05624 DESARROLLO DE SOFTWARE VERIFICABLE Y EFICIENTE 505K€ Cerrado

BugGPT Practical, Learning-Based Tools for Finding and Fixing Bugs 150K€ Cerrado

PID2019-108528RB-C22 METODOS RIGUROSOS PARA EL DESARROLLO DE SISTEMAS SOFTWARE DE... 209K€ Cerrado

Líder del proyecto

Universidad Complutense de Madrid No se ha especificado una descripción o un objeto social para esta compañía.

Total investigadores 3279

Presupuesto del proyecto 182K€

Fecha límite de participación Sin fecha límite de participación.

Descripción del proyecto EN NUESTRA VIDA COTIDIANA INTERACTUAMOS CON MUCHOS DISPOSITIVOS QUE USAN SOFTWARE, ALGUNAS INTERACCIONES OCURREN A PROPOSITO (POR EJEMPLO, CUANDO SE USA UN TELEFONO) Y OTRAS INADVERTIDAMENTE (POR EJEMPLO, CUANDO UN PROCESADOR EN UN COCHE DECIDE LA MEJOR MEZCLA DE COMBUSTIBLE Y AIRE PARA UNA VELOCIDAD DADA), COMO CONSECUENCIA, VIVIMOS RODEADOS POR SOFTWARE QUE DECIDE POR NOSOTROS Y GESTIONA NUESTRO ENTORNO, LOS EFECTOS DE LOS FALLOS DE SOFTWARE PUEDEN VARIAR DESDE MOLESTOS (POR EJEMPLO, SI SE CUELGA UNA APLICACION EN EL TELEFONO) A PELIGROSOS (FORD Y TOYOTA HAN LLAMADO A REVISION MAS DE UN MILLON DE COCHES POR ERRORES DE SOFTWARE) Y A LETALES (POR EJEMPLO, VARIOS MOTORES EN UN AVION SE PUEDEN PARAR SIMULTANEAMENTE, COMO YA HA SUCEDIDO),TEORIA Y TECNICAS PARA DESARROLLAR SOFTWARE CORRECTO HAN SIDO ESTUDIADAS Y SE HAN LOGRADO AVANCES MUY IMPORTANTES, SIN EMBARGO, ALGUNOS REQUISITOS DEL SOFTWARE MODERNO Y DE LOS ENTORNOS EN LOS QUE SE IMPLANTA HACEN INVIABLE LA APLICACION DE METODOS EXISTENTES, TALES REQUISITOS INCLUYEN RESTRICCIONES EN EL USO DE ENERGIA (PARA DISPOSITIVOS EMPOTRADOS AUTONOMOS, COMO MARCAPASOS) QUE HACEN QUE SEA NECESARIO VERIFICAR EL CONSUMO DE RECURSOS; ENTORNOS OPERATIVOS MUY COMPLEJOS (UN COCHE MODERNO PUEDE TENER ALREDEDOR DE 100 PROCESADORES EN FUNCIONAMIENTO A LA VEZ, EJECUTANDO PROGRAMAS QUE SUMAN 100 MILLONES DE LINEAS DE CODIGO); Y ENORMES CANTIDADES DE DATOS PARA SER PROCESADOS (UN SOLO AVION BOEING 787 GENERA 40 TERABYTES DE DATOS POR HORA, MIENTRAS QUE EL INTERNET DE LAS COSAS YA HA GENERADO 113 ZETTABYTES DE DATOS EN 2013, LA MAYOR PARTE POR SERVICIOS EN LA NUBE, Y ESTA CANTIDAD SIGUE CRECIENDO CADA AÑO),ESTOS CAMBIOS EN EL SOFTWARE ACTUAL TAMBIEN REQUIEREN CAMBIOS EN LAS HERRAMIENTAS Y TEORIAS FUNDAMENTALES QUE SUBYACEN A LAS TECNICAS DE INGENIERIA DE SOFTWARE QUE HAN DE APLICARSE EN UN FUTURO PROXIMO, ESTA ES LA IDEA DE ESTA PROPUESTA, EN LA QUE SE PRETENDEN ABORDAR ALGUNOS DE LOS DESAFIOS MENCIONADOS EN TAREAS ORGANIZADAS EN TRES LINEAS PRINCIPALES: * COMPUTACION CONSCIENTE DE LOS RECURSOS: ES NECESARIO PODER DETERMINAR LIMITES SEGUROS (O AL MENOS APROXIMADOS) PARA EL CONSUMO DE RECURSOS EN UN HARDWARE DETERMINADO, Y OPTIMIZARLO TANTO COMO SEA POSIBLE, PARA ASEGURAR LA CORRECCION DE LOS DISPOSITIVOS INTEGRADOS EN TERMINOS MAS GENERALES QUE LA SIMPLE CORRECCION FUNCIONAL, * TECNICAS AVANZADAS PARA GARANTIZAR CORRECCION FUNCIONAL: SE CONSIDERA NO SOLO LA VERIFICACION DE SISTEMAS CON INFINITOS ESTADOS, SINO TAMBIEN LA DEPURACION, LA SINTESIS DE SOFTWARE CONCURRENTE, METODOS PROBABILISTICOS / HEURISTICOS, Y METODOS MAS AGILES, COMO TESTING Y VERIFICACION DINAMICA O EN TIEMPO DE EJECUCION, ESTOS SON NECESARIOS CUANDO, POR EJEMPLO, LOS LIMITES DE UN SISTEMA INFORMATICO NO SON BIEN CONOCIDOS A PRIORI, O LAS INTERACCIONES CON EL ENTORNO SOLO PUEDEN SER MODELADAS PROBABILISTICAMENTE, * NUEVAS TECNOLOGIAS DE LENGUAJES: LOS NUEVOS ENTORNOS, TAREAS Y MISIONES HACEN NECESARIO ADAPTAR LENGUAJES EXISTENTES O CREAR NUEVOS LENGUAJES, CONTRARIAMENTE A LA CREENCIA GENERALIZADA, NUEVOS LENGUAJES Y MODELOS DE PROGRAMACION SE CREAN CONSTANTEMENTE, NO SOLO EN EL AMBITO ACADEMICO SINO TAMBIEN EN LA INDUSTRIA, CON EL OBJETIVO DE APROVECHAR NUEVOS DISPOSITIVOS O DE REALIZAR TAREAS (BASADAS EN CONOCIMIENTO) QUE SERIAN DIFICILES DE ESCRIBIR (Y DE DEMOSTRAR CORRECTAS) EN LENGUAJES TRADICIONALES,ADEMAS DE LOS RESULTADOS TEORICOS, LAS TECNICAS ANTERIORES SE IMPLEMENTARAN EN PROTOTIPOS DE HERRAMIENTAS, SOFTWARE CONSCIENTE DE LOS RECURSOS\VERIFICACIÓN\TESTING\DEPURACIÓN\RESOLUCIÓN DE RESTRICCIONES\COMPILACIÓN\OPTIMIZACIÓN\SISTEMAS PROBABILÍSTICOS

Conecta tu I+D

Entra hoy

¿Olvidé mi contraseña?

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores