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-65845-C3-3-R

Financiado

Cerrado

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 1447

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

UCA

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

WEBDAM Foundations of Web Data Management 2M€ Cerrado

MIDAS Model and Inference Driven Automated testing of Services ar... 4M€ Cerrado

CHORDS Choreographies for Distributed Systems: Reasoning, Expressiv... 2M€ Cerrado

TIN2012-36812-C02-01 ESPECIFICACION Y TESTING DE SISTEMAS ALTAMENTE DISTRIBUIDOS 41K€ Cerrado

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 1447

Presupuesto del proyecto 55K€

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

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

¿Olvidé mi contraseña?

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores