Hola,
¿eres nuevo aquí?

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

TIN2011-24932

Financiado

UNA METODOLOGIA DE ANALISIS GUIADA POR EL MODELADO PARA SISTEMAS EMPOTRADOS DIST...

UNA METODOLOGIA DE ANALISIS GUIADA POR EL MODELADO PARA SISTEMAS EMPOTRADOS DISTRIBUIDOS CON SUPERVIVENCIA CRITICA HOY EN DIA, SE REQUIEREN CADA VEZ MAS SISTEMAS EMPOTRADOS COMPLEJOS, DE GRANDES DIMENSIONES Y DISTRIBUIDOS, A MENUDO CRITICOS CON RESPECTO A SU CAPACIDAD DE SOBREVIVIR A FALLOS. ESTOS SISTEMAS TIENEN COMO REQUERIMIENTO EL CUMPLIR... ver más

01/01/2011

Líder desconocido

57K€

Presupuesto del proyecto: 57K€

Líder del proyecto Líder desconocido

Ver Participantes

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

0% 100%

Participantes

Proyectos interesantes

VETESS: Verification and Testing to Suport Fu... VETESS: Verification and Testing to Suport Functional Safety... 61K€ Cerrado

TIN2011-28567-C03-01 SISTEMAS EMPOTRADOS PARTICIONADOS DE ALTA INTEGRIDAD 176K€ Cerrado

TIN2011-28567-C03-02 SISTEMAS EMPOTRADOS PARTICIONADOS DE ALTA INTEGRIDAD 120K€ Cerrado

TIN2011-28567-C03-03 HI-PARTES: HIGH-INTEGRITY PARTITIONED EMBEDDED SYSTEMS 198K€ Cerrado

VARIES VARiability In safety critical Embedded Systems 13M€ Cerrado

Últimas noticias

27-11-2024: Videojuegos y creaci... Se abre la línea de ayuda pública: Ayudas para la promoción del sector del videojuego, del pódcast y otras formas de creación digital

27-11-2024: DGIPYME En las últimas 48 horas el Organismo DGIPYME ha otorgado 1 concesiones

27-11-2024: FUNDACION-EOI En las últimas 48 horas el Organismo FUNDACION EOI ha otorgado 2 concesiones

Líder del proyecto Líder desconocido

Presupuesto del proyecto 57K€

Descripción del proyecto HOY EN DIA, SE REQUIEREN CADA VEZ MAS SISTEMAS EMPOTRADOS COMPLEJOS, DE GRANDES DIMENSIONES Y DISTRIBUIDOS, A MENUDO CRITICOS CON RESPECTO A SU CAPACIDAD DE SOBREVIVIR A FALLOS. ESTOS SISTEMAS TIENEN COMO REQUERIMIENTO EL CUMPLIR SU MISION DE MANERA TEMPESTIVA, A PESAR DE LA PRESENCIA DE FALLOS TANTO ACCIDENTALES (PROBLEMATICAS DE SAFETY) COMO MALICIOSOS (PROBLEMATICAS DE SECURITY). UNO DE LOS RETOS PRINCIPALES, EN EL AREA DE LA TECNOLOGIA DE LA INFORMACION Y COMUNICACION, ES EL DISEÑO DE METODOS AVANZADOS PARA EL DESARROLLO DE SISTEMAS EMPOTRADOS DISTRIBUIDOS CRITICOS.ESTE PROYECTO PRETENDE CONTRIBUIR A RESOLVER ESTE DESAFIO, EN PARTICULAR APOYANDO LAS ACTIVIDADES DE VERIFICACION Y VALIDACION (V&V) A LO LARGO DEL CICLO DE VIDA DEL SISTEMA. EL OBJETIVO PRINCIPAL DEL PROYECTO ES LA DEFINICION DE UNA METODOLOGIA PARA EVALUAR LA CAPACIDAD DE SUPERVIVENCIA DE LOS SISTEMAS EMPOTRADOS DISTRIBUIDOS, CONSIDERANDO LAS PROBLEMATICAS TANTO DE SAFETY COMO DE SECURITY. NOS PROPONEMOS INTEGRAR LA METODOLOGIA EN UN PROCESO DE DESARROLLO DEL SOFTWARE GUIADO POR EL MODELADO (MDD) QUE PUEDA HACER FRENTE A LOS CAMBIOS DE LOS REQUERIMIENTOS DEL SISTEMA, COMO POR EJEMPLO EL PROCESO UNIFICADO (UP) QUE USA EL LENGUAJE DE MODELADO UNIFICADO (UML) COMO PRINCIPAL LENGUAJE DE ESPECIFICACION DEL SOFTWARE. ESTE OBJETIVO SE ALCANZARA A TRAVES DE 1) LA APLICACION DE TECNICAS UML DE PROFILING EN LA DEFINICION DE UN LENGUAJE ESPECIFICO DEL DOMINIO PARA EL ANALISIS DE SISTEMAS EMPOTRADOS DISTRIBUIDOS; 2) LA SELECCION DE UN CONJUNTO DE TECNICAS DE SAFETY/SECURITY COMPLEMENTARIAS; 3) EL USO DE ACERCAMIENTOS DE META-MODELADO PARA LA GENERACION AUTOMATICA DE MODELOS DE ANALISIS A PARTIR DE LA ESPECIFICACION UML DEL SISTEMA, 4) LA ADAPTACION DEL PROCESO UNIFICADO AL DESARROLLO DE SISTEMAS EMPOTRADOS DISTRIBUIDOS CRITICOS CON RESPECTO A LA PROPIEDAD DE SUPERVIVENCIA.PARA LA VALIDACION DE LA METODOLOGIA PROPUESTA CONSIDERAREMOS CASOS DE ESTUDIO EN DIFERENTES DOMINIOS DE APLICACION (POR EJEMPLO, INFRAESTRUCTURAS CRITICAS, AMBITO MEDICO).FINALMENTE, PARA APOYAR AL INGENIERO EN LA APLICACION DE LA METODOLOGIA, NOS PROPONEMOS DESARROLLAR EL DISEÑO Y LA IMPLEMENTACION DE UNA HERRAMIENTAS SOFTWARE. ISTEMAS EMPOTRADOS DISTRIBUIDOS\METODOS FORMALES\META-MODELADO\INGENIERIA DEL SOFTWARE\ANALISIS DE SUPERVIVENCIA

Conecta tu I+D

Entra hoy

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores