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

TIN2009-14599-C03-01

Financiado

DESARROLLO DE SOFTWARE DE ALTA CALIDAD, FIABLE, DISTRIBUIDO Y SEGURO

EL OBJETIVO GLOBAL DEL PROYECTO ES CONTRIBUIR AL AVANCE EN LOS FUNDAMENTOS Y TECNOLOGIAS UTILES PARA EL DESARROLLO DE SISTEMAS DE SOFTWARE CON CALIDAD Y FIABILIDAD CERTIFICADAS, TIPICAMENTE BASADOS EN METODOS FORMALES Y TECNICAS... ver más

01/01/2009

UCM

391K€

Presupuesto del proyecto: 391K€

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 3277

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

0% 100%

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

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

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

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

CHORDS Compositional Higher-Order Reasoning about Distributed Syste... 2M€ Cerrado

TIN2015-71819-P TECNOLOGIAS RIGUROSAS PARA EL ANALISIS Y VERIFICACION DE SOF... 108K€ Cerrado

TUNE Testing the Untestable Model Testing of Complex Software In... 2M€ 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 3277

Presupuesto del proyecto 391K€

Descripción del proyecto EL OBJETIVO GLOBAL DEL PROYECTO ES CONTRIBUIR AL AVANCE EN LOS FUNDAMENTOS Y TECNOLOGIAS UTILES PARA EL DESARROLLO DE SISTEMAS DE SOFTWARE CON CALIDAD Y FIABILIDAD CERTIFICADAS, TIPICAMENTE BASADOS EN METODOS FORMALES Y TECNICAS DE PROGRAMACION DECLARATIVA, LA PROPUESTA DE TRABAJO SE ORGANIZA ALREDEDOR DE LAS SIGUIENTES CUATRO GRANDES LINEAS DE INVESTIGACION:* LENGUAJES: ESTUDIA CARACTERISTICAS QUE PERMITAN MEJORAR LA EXPRESIVIDAD Y SEGURIDAD DE LOS LENGUAJES DE ESPECIFICACION Y PROGRAMACION, TALES COMO EL PARALELISMO, LA DISTRIBUCION Y LA MOVILIDAD, LA GENERICIDAD Y LOS SISTEMAS DE TIPOS,* SEGURIDAD Y FIABILIDAD: SE DEDICA A ESTUDIAR LA SEGURIDAD TANTO AL NIVEL DEL DISEÑODE SISTEMAS DE SOFTWARE COMO AL NIVEL DEL CODIGO EJECUTABLE, SIN OLVIDAR EL ESTUDIO DE POLITICAS QUE GARANTICEN LOS REQUISITOS DE SEGURIDAD,* VERIFICACION Y VALIDACION: CONTINUA NUESTRA INVESTIGACION ANTERIOR SOBRE PROPIEDADES DE SISTEMAS CONCURRENTES, MODELADOS POR UN LADO COMO SISTEMASDE REDES Y POR EL OTRO MEDIANTE ALGEBRAS DE PROCESOS, QUE AHORA SE GENERALIZANA METODOS COALGEBRAICOS, ADEMAS, SE INTRODUCEN NUEVAS IDEAS EN LA INVESTIGACION DE VERIFICACION HETEROGENEA Y DE VERIFICACION EN TIEMPO DE EJECUCION,* HERRAMIENTAS Y APLICACIONES: AUNQUE LAS ANTERIORES LINEAS DE INVESTIGACION TAMBIEN INCLUYEN EL DESARROLLO DE ALGUNAS HERRAMIENTAS, EN ESTA LINEA SE VANA CONCENTRAR NUESTROS ESFUERZOS EN LA MEJORA DE SISTEMAS QUE YA HAN SIDO DESARROLLADOS PREVIAMENTE EN EL SENO DE LOS GRUPOS PARTICIPANTES EN EL PROYECTO,EL PROYECTO QUE SE PROPONE SURGE COMO EVOLUCION NATURAL DE NUESTRO PROYECTOCOORDINADO ANTERIOR DESAFIOS (TIN2006-15660-C02), EN EL QUE PARTICIPABAN LOSGRUPOS DE INVESTIGACION FADOSS DE LA UCM Y BABEL DE LA UPM, CON OBJECTIVOS SIMILARES, SIN EMBARGO, ESTA PROPUESTA QUIERE HACER MAYOR HINCAPIE EN LOS ASPECTOS DE SEGURIDAD Y FIABILIDAD, PARA LO CUAL SE INCORPORA UN TERCER GRUPO, EL GRUPO DE INVESTIGACION EN SEGURIDAD DEL INSTITUTO DE INVESTIGACION DE RECIENTE CREACION IMDEA SOFTWARE,COMO EN EL PROYECTO ANTERIOR, NUESTRA INTENCION ES EXPLOTAR LAS SINERGIAS EXISTENTES ENTRE LOS TRES GRUPOS DE INVESTIGACION INVOLUCRADOS, COMO SE PUEDE APRECIAR EN EL HECHO DE QUE EN TODAS LAS SUBLINEAS DE INVESTIGACION QUE SE PROPONEN COLABORAN INVESTIGADORES DE AL MENOS DOS DE LOS GRUPOS, LENGUAJES CONCURRENTES Y PARALELOS\PROGRAMACION GENERICA\SISTEMAS DE TIPOS\SEGURIDAD\FIABILIDAD\VERIFICACION\PROGRAMACION DECLARATIVA\MODEL CHECKING

Conecta tu I+D

Entra hoy

¿Olvide mi contraseña?

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores