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

RTI2018-093608-B-C33

Financiado

Cerrado

MODELADO FORMAL Y METODOS AVANZADOS DE TESTING. APLICACIONES A MEDICINA Y SISTEM...

MODELADO FORMAL Y METODOS AVANZADOS DE TESTING. APLICACIONES A MEDICINA Y SISTEMAS EL OBJETIVO PRINCIPAL DEL PROYECTO FAME (MODELADO FORMAL Y METODOS AVANZADOS DE TESTING, APLICACIONES A MEDICINA Y SISTEMAS COMPUTACIONALES) ES CONTRIBUIR, CON METODOLOGIAS Y HERRAMIENTAS, AL DESARROLLO FORMAL DE SISTEMAS SOFTWARE... ver más

01/01/2018

UCA

75K€

Presupuesto del proyecto: 75K€

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 1450

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 2018-01-01 No tenemos la información de la convocatoria

0% 100%

Características del participante

Este proyecto no cuenta con búsquedas de partenariado abiertas en este momento.

Información adicional privada

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

Participantes

UCA

Lider

Proyectos interesantes

RTI2018-093608-B-C32

Software

Medical Technol...

56K€ Cerrado

RTI2018-093608-B-C31

Software

Medical Technol...

95K€ Cerrado

PID2019-104735RB-C41

Software

Software Testin...

116K€ Cerrado

PTQ-16-08491

Medical Technol...

Software

116K€ Cerrado

DESARROLLO DE REDES NEURONALES MULTICAPA BASA...

Software

Medical Technol...

377K€ Cerrado

CHORDS

Software

Software Testin...

2M€ Cerrado

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

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 1450

Presupuesto del proyecto 75K€

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

Descripción del proyecto EL OBJETIVO PRINCIPAL DEL PROYECTO FAME (MODELADO FORMAL Y METODOS AVANZADOS DE TESTING, APLICACIONES A MEDICINA Y SISTEMAS COMPUTACIONALES) ES CONTRIBUIR, CON METODOLOGIAS Y HERRAMIENTAS, AL DESARROLLO FORMAL DE SISTEMAS SOFTWARE COMPLEJOS, DADO QUE SE TRATA DE UN AMPLIO CAMPO DE ESTUDIO, Y TENIENDO EN CUENTA LA EXPERIENCIA PREVIA DE LOS GRUPOS QUE CONFORMAN FAME, EL PROYECTO SE CENTRARA ESPECIALMENTE EN LA MODELIZACION Y ANALISIS FORMAL, MEDIANTE TECNICAS DE PRUEBA, DE DIVERSOS TIPOS DE SISTEMAS, EL PROYECTO FAME SURGE A PARTIR DE LOS RESULTADOS OBTENIDOS EN EL CONTEXTO DE LOS PROYECTOS TESIS (TIN2009-14312-C02), MODSOA (TIN2011-27242), ESTUDIO (TIN2012-36812-C02) Y DARDOS (TIN2015-65845-C3-R), CABE MENCIONAR QUE CUATRO DE LOS IPS (1 DE LA UCM, 2 DE LA UCA Y 1 DE LA UCLM) SON MUJERES,FAME SE BENEFICIARA DE UN ENFOQUE TEORICO PARA LOGRAR SUS OBJETIVOS, SIN EMBARGO, NO POR ELLO SE LE DARA MENOS RELEVANCIA A LA APLICACION PRACTICA DE LOS RESULTADOS, HEMOS CONSIDERADO DOS LINEAS DE TRABAJO PRINCIPALES: MODELADO Y PRUEBA, PARA LOGRAR EL PRIMER OBJETIVO GENERAL, LA APLICACION DEL MODELADO A DISTINTOS AMBITOS, HAREMOS USO DE TRABAJO PREVIO EN MODELOS FORMALES PARA FORMALIZAR DIFERENTES TIPOS DE SISTEMAS Y NOTACIONES, CON ESPECIAL ENFASIS EN EL PROCESAMIENTO DE EVENTOS Y LOS CONTRATOS ELECTRONICOS, ADEMAS, APLICAREMOS TAMBIEN METODOS FORMALES AL DISEÑO Y ANALISIS DE ARQUITECTURAS Y APLICACIONES QUE SE EJECUTAN EN LA NUBE, CON EL FIN DE LOGRAR NUESTRO SEGUNDO OBJETIVO GENERAL, LOS METODOS DE PRUEBA AVANZADOS, ESTUDIAREMOS NUEVOS MARCOS DE TRABAJO PARA REALIZAR PRUEBAS FORMALES DE DIFERENTES TIPOS DE SISTEMAS Y LENGUAJES DE PROGRAMACION AMPLIAMENTE UTILIZADOS, ADEMAS DEL TRABAJO TEORICO, TODOS LOS OBJETIVOS GENERALES INCLUIRAN EL DESARROLLO DE HERRAMIENTAS QUE AYUDARAN A PONER EN PRACTICA LAS METODOLOGIAS Y LOS RESULTADOS TEORICOS, HEMOS CONSIDERADO OTRO OBJETIVO GENERAL DEDICADO A CASOS DE ESTUDIOS RELACIONADOS CON EL ANALISIS Y LA PREVENCION DE PROBLEMAS DE SALUD, SI BIEN TOMAREMOS COMO PUNTO DE PARTIDA LOS RESULTADOS Y HERRAMIENTAS PRODUCIDAS EN EL PROYECTO DARDOS, TAMBIEN ABRIREMOS NUEVAS LINEAS DE TRABAJO, EN PARTICULAR, EN ESTE ULTIMO OBJETIVO CONSIDERAMOS (1) DETECTAR PROBLEMAS RELACIONADOS CON CONTAMINANTES Y OTRAS PARTICULAS AEROTRANSPORTADAS Y ADVERTIR A LOS CIUDADANOS SOBRE PELIGROS POTENCIALES PARA SU SALUD; (2) ANALIZAR IMAGENES QUIRURGICAS DE FORMA SEMIAUTOMATICA CON EL FIN DE APOYAR REMOTAMENTE LA TOMA DE DECISIONES PARA EL TRATAMIENTO DE ENFERMEDADES; (3) FACILITAR AL ANALISIS Y DETECCION DE LA ENFERMEDAD CELIACA, POR TODO ELLO, ESPERAMOS QUE EL PROYECTO TENGA UN ALTO IMPACTO SOCIAL, YA QUE PUEDE CONTRIBUIR POTENCIALMENTE A LA SOSTENIBILIDAD Y EFICIENCIA DEL SISTEMA NACIONAL DE SALUD, SI SOMOS CAPACES DE PRODUCIR RESULTADOS Y HERRAMIENTAS QUE PUEDAN SER UTILIZADOS EN LA PRACTICA,FINALMENTE, CABE MENCIONAR QUE ADEMAS DEL IMPACTO DE NUESTROS RESULTADOS EN LA COMUNIDAD CIENTIFICA NACIONAL E INTERNACIONAL, MEDIANTE SU PUBLICACION EN FOROS RELEVANTES, Y DEL POSIBLE Y DESEABLE IMPACTO EN LA PREVENCION DE RIESGOS PARA LA SALUD; ESPERAMOS QUE NUESTRO PROYECTO TENGA UN IMPACTO ECONOMICO A MEDIO PLAZO, UN NUMERO CONSIDERABLE DE EMPRESAS HAN MOSTRADO SU INTERES EN PARTICIPAR EN EL PROYECTO FAME, EN PARTICULAR, LAS EMPRESAS QUE PARTICIPEN EN LAS FASES DE DESARROLLO DE SOFTWARE PODRAN EVALUAR LA UTILIDAD DE NUESTRAS HERRAMIENTAS Y DECIDIR SI PUEDEN SER INCLUIDAS EN SUS CICLOS DE PRODUCCION, INFORMÁTICA\INGENIERÍA DEL SOFTWARE\MÉTODOS FORMALES\TESTING\CONTRATOS\SERVICIOS

Conecta tu I+D

Entra hoy

¿Olvidé mi contraseña?

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores