Hola,
¿eres nuevo aquí?

Registrate y conecta tu empresa con financiación pública, partners y proyectos.

TIN2015-65845-C3-2-R

Financiado

ANALISIS FORMAL Y APLICACIONES DE SERVICIOS WEB Y CONTRATOS ELECTRONICOS

EL OBJETIVO PRINCIPAL DEL PROYECTO DARDOS (DESARROLLO Y ANALISIS FORMAL DE SISTEMAS COMPLEJOS EN CONTEXTOS DISTRIBUIDOS: FUNDAMENTOS, HERRAMIENTAS Y APLICACIONES) CONSISTE EN CONTRIBUIR, CON METODOS Y HERRAMIENTAS, AL DESARROLLO F... ver más

01/01/2015

UCLM

56K€

Presupuesto del proyecto: 56K€

Líder del proyecto

UNIVERSIDAD DE CASTILLA-LA MANCHA No se ha especificado una descripción o un objeto social para esta compañía.

Total investigadores 2583

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

0% 100%

Participantes

UCLM

Lider

Proyectos interesantes

TIN2015-65845-C3-1-R DESARROLLO Y ANALISIS FORMAL DE SISTEMAS COMPLEJOS EN CONTEX... 100K€ Cerrado

TIN2015-65845-C3-3-R DESARROLLO Y ANALISIS FORMAL DE SISTEMAS COMPLEJOS EN CONTEX... 55K€ Cerrado

TIN2010-20057-C03-01 METODOS DE PRUEBA PARA APLICACIONES CON BASES DE DATOS Y SER... 68K€ Cerrado

Sistema instalado en la nube para la verifica... Sistema instalado en la nube para la verificación formal del... 187K€ Cerrado

TIN2009-14312-C02-01 ADVANCED METHODOLOGIES AND TOOLS FOR TESTING AND WEB SERVICE... 280K€ Cerrado

PTQ-08-03-08182 G4S : Nuevo Concepto de Sistema de Gestión Empresarial basad... 61K€ Cerrado

Últimas noticias

29-11-2024: IDAE En las últimas 48 horas el Organismo IDAE ha otorgado 4 concesiones

29-11-2024: ECE En las últimas 48 horas el Organismo ECE ha otorgado 2 concesiones

29-11-2024: CMVAMADRID En las últimas 48 horas el Organismo CMVAMADRID ha otorgado 37 concesiones

Líder del proyecto

UNIVERSIDAD DE CASTILLA-LA MANCHA

Total investigadores 2583

Presupuesto del proyecto 56K€

Descripción del proyecto EL OBJETIVO PRINCIPAL DEL PROYECTO DARDOS (DESARROLLO Y ANALISIS FORMAL DE SISTEMAS COMPLEJOS EN CONTEXTOS DISTRIBUIDOS: FUNDAMENTOS, HERRAMIENTAS Y APLICACIONES) CONSISTE EN CONTRIBUIR, CON METODOS Y HERRAMIENTAS, AL DESARROLLO FORMAL DE SISTEMAS SOFTWARE COMPLEJOS QUE SE EJECUTAN EN LOCALIZACIONES DISTRIBUIDAS, DADA LA AMPLITUD DEL CAMPO, Y TENIENDO EN CUENTA LA EXPERIENCIA PREVIA DE LOS GRUPOS QUE CONFORMAN DARDOS, NOS CENTRAREMOS EN EL DISEÑO Y ANALISIS FORMAL, MEDIANTE TECNICAS DE TESTING, DE SISTEMAS BASADOS EN SERVICIOS WEB Y QUE, POSIBLEMENTE, SE EJECUTEN EN LA NUBE, EL PROYECTO DARDOS SE CONSTRUYE EN BASE A LOS RESULTADOS OBTENIDOS EN LOS PROYECTOS TESIS (TIN2009-14312-C02) Y ESTUDIO (TIN2012-36812-C02) QUE HAN SIDO IMPLEMENTADOS POR DOS DE LOS SUBPROYECTOS QUE CONFORMAN DARDOS Y DE LOS OBTENIDOS EN EL PROYECTO MOD-SOA (TIN2011-27242), IMPLEMENTADO POR EL TERCERO DE LOS SUBPROYECTOS, CABE DESTACAR QUE DE LOS CINCO IPS DE LOS SUBPROYECTOS, TRES (LOS 2 DE UCLM Y 1 DE UCA) FINALIZARON SU TESIS HACE MENOS DE 10 AÑOS Y, TAMBIEN, TRES DE ELLOS (LAS 2 DE UCA Y 1 DE UCLM) SON MUJERES,EL PROYECTO DARDOS CONTEMPLA UNA BASE TEORICA A LA HORA DE DEFINIR SUS OBJETIVOS PERO NO DEJA DE LADO LA APLICACION DE LOS RESULTADOS, PLANTEAMOS TRES LINEAS PRINCIPALES DE ACTUACION: TESTING, SERVICIOS WEB Y CLOUD, MUY BREVEMENTE, ESTUDIAREMOS NUEVOS MARCOS PARA REALIZAR TAREAS DE TESTING FORMAL, DEFINIREMOS Y ANALIZAREMOS FORMALMENTE SISTEMAS BASADOS EN SERVICIOS WEB, CON UN ENFASIS EN CONTRATOS Y SOA 2,0, Y FORMALIZAREMOS LA NUBE, APLICANDO DE FORMA NOVEDOSA METODOS FORMALES AL DISEÑO Y ANALISIS DE ARQUITECTURAS EN LA NUBE Y DE LAS APLICACIONES QUE SE EJECUTAN EN ELLA, ADEMAS DE LOS ESTUDIOS TEORICOS, SE CONTEMPLAN HASTA CUATRO OBJETIVOS ESPECIFICOS EN LOS QUE SE DESARROLLARAN HERRAMIENTAS QUE SIRVEN PARA PONER EN PRACTICA LAS METODOLOGIAS Y RESULTADOS TEORICOS, HEMOS PREVISTO UN OBJETIVO GENERICO COMPLETO DEDICADO A CASOS DE ESTUDIO RELATIVOS A LA PREVENCION DE RIESGOS DE SALUD Y QUE TOMARAN COMO BASE DE PARTIDA LOS RESULTADOS Y HERRAMIENTAS OBTENIDOS EN EL RESTO DEL PROYECTO, ESPECIFICAMENTE, EN ESTE ULTIMO OBJETIVO NOS PLANTEAMOS (1) AUMENTAR LA FIABILIDAD DE DISPOSITIVOS MEDICOS TAN VITALES COMO LOS MARCAPASOS O LAS BOMBAS DE INSULINA; (2) DETECTAR PROBLEMAS EN LA EVOLUCION DE HERIDAS QUIRURGICAS Y AYUDAR EN LA TOMA DE DECISIONES RELATIVAS A SU TRATAMIENTO DE FORMA REMOTA; Y (3) DETECTAR CAMBIOS RELEVANTES EN LA CALIDAD DEL AIRE Y ALERTAR DE LOS POSIBLES EFECTOS NEGATIVOS A LOS CIUDADANOS, ESPERAMOS, POR ELLO, QUE EL PROYECTO TENGA UN IMPACTO SOCIAL AL CONTRIBUIR POTENCIALMENTE A LA SOSTENIBILIDAD Y EFICIENCIA DEL SISTEMA PUBLICO DE SALUD EN CASO DE QUE OBTENGAMOS RESULTADOS Y HERRAMIENTAS QUE SEAN DE UTILIDAD PRACTICA,FINALMENTE, CABE MENCIONAR QUE ADEMAS DEL IMPACTO SEGURO QUE TENDRAN NUESTROS RESULTADOS EN LA COMUNIDAD CIENTIFICA NACIONAL E INTERNACIONAL, MEDIANTE LAS APROPIADAS MEDIDAS DE DIFUSION EN FOROS DE LA MAXIMA RELEVANCIA, Y DEL POSIBLE Y DESEABLE IMPACTO QUE TENGAN EN LA MEJORA DE LOS MECANISMOS PARA LA PREVENCION DE RIESGOS DE SALUD, ESPERAMOS UN IMPACTO ECONOMICO A MEDIO PLAZO, EL PROYECTO DARDOS CUENTA CON UN NUMERO RELEVANTE DE EPOS QUE HAN MOSTRADO SU DISPOSICION A INVOLUCRARSE EN EL PROYECTO, EN PARTICULAR, AQUELLAS EPOS QUE TIENEN COMO MISION PRINCIPAL PARTICIPAR EN ALGUNA DE LAS FASES DEL DESARROLLO DE SOFTWARE EVALUARAN LA UTILIDAD DE NUESTRAS HERRAMIENTAS Y VALORARAN SI LAS INCLUYEN EN SUS PROCESOS DE PRODUCCION, INFORMÁTICA\INGENIERÍA DEL SOFTWARE\MÉTODOS FORMALES\SISTEMAS DISTRIBUIDOS\SERVICIOS WEB\CONTRATOS ELECTRÓNICOS

Conecta tu I+D

Entra hoy

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores