Hola,
¿eres nuevo aquí?

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

TIN2015-65845-C3-3-R

Financiado

DESARROLLO Y ANALISIS FORMAL DE SISTEMAS COMPLEJOS EN CONTEXTOS DISTRIBUIDOS: FU...

DESARROLLO Y ANALISIS FORMAL DE SISTEMAS COMPLEJOS EN CONTEXTOS DISTRIBUIDOS: FUNDAMENTOS, HERRAMIENTAS Y APLICACIONES 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

UCA

55K€

Presupuesto del proyecto: 55K€

Líder del proyecto

UNIVERSIDAD DE CÁDIZ No se ha especificado una descripción o un objeto social para esta compañía.

Total investigadores 1444

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

UCA

Lider

Proyectos interesantes

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

TIN2015-65845-C3-2-R ANALISIS FORMAL Y APLICACIONES DE SERVICIOS WEB Y CONTRATOS... 56K€ Cerrado

TIN2010-19130-C02-02 PRODUCCION DE SOFTWARE ORIENTADO A SERVICIOS BASADA EN REQUI... 121K€ Cerrado

TIN2014-59400-R MEJORAS EN EL DESARROLLO DE SISTEMAS SOFTWARE COMPLEJOS UTIL... 45K€ Cerrado

TIN2013-46300-R DESARROLLO INCREMENTAL DE SERVICIOS CLOUD DIRIGIDO POR MODEL... 86K€ Cerrado

TIN2010-20057-C03-01 METODOS DE PRUEBA PARA APLICACIONES CON BASES DE DATOS Y SER... 68K€ 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 CÁDIZ

Total investigadores 1444

Presupuesto del proyecto 55K€

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\TESTING\SERVICIOS WEB\COMPUTACIÓN EN LA NUBE

Conecta tu I+D

Entra hoy

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores