Innovating Works

EUIN2015-62770

Financiado
A FORMAL APPROACH TO THE DESIGN OF ROBUST CYBER-PHYSICAL SYSTEMS
ACTUALMENTE, EL SOFTWARE NO SE LIMITA A ORDENADORES AISLADOS, MAS BIEN INTERACCIONA CON EL MUNDO FISICO DE DIVERSAS MANERAS MUY SOFISTICADAS, LOS SISTEMAS QUE INCLUYEN PARTES SOFTWARE Y PARTES FISICAS, DENOMINADOS SISTEMAS CIBER-F... ACTUALMENTE, EL SOFTWARE NO SE LIMITA A ORDENADORES AISLADOS, MAS BIEN INTERACCIONA CON EL MUNDO FISICO DE DIVERSAS MANERAS MUY SOFISTICADAS, LOS SISTEMAS QUE INCLUYEN PARTES SOFTWARE Y PARTES FISICAS, DENOMINADOS SISTEMAS CIBER-FISICOS (CPS POR SUS SIGLAS EN INGLES), SE PUEDEN VER EN VARIAS APLICACIONES DONDE LA SEGURIDAD ES CRITICA, Y DONDE SU FUNCIONAMIENTO FIABLE ES DE VITAL IMPORTANCIA, ADEMAS, MODELOS DE SISTEMAS CIBER-FISICOS USADOS PARA SU DISEÑO, A MENUDO INCLUYEN INCONSISTENCIAS, POR LA REPRESENTACION INCOMPLETA DE SUS PARTES FISICAS E INEXACTITUDES EN LAS IMPLEMENTACIONES SOFTWARE DE SU LOGICA DE CONTROL, POR TANTO, PARA UN SISTEMA CIBER-FISICO NO SOLAMENTE ES NECESARIO QUE EL DISEÑO SEA FUNCIONALMENTE CORRECTO, SINO QUE ADEMAS DEBE SER ROBUSTO, O LO QUE ES LO MISMO, GARANTIZAR UN COMPORTAMIENTO CORRECTO ANTE POSIBLES DESVIACIONES, EL MAYOR RETO IDENTIFICADO EN ESTA PROPUESTA ES EL DESARROLLO DE TECNICAS PLENAMENTE AUTOMATICAS Y ESCALABLES PARA UN DISEÑO Y ANALISIS DE SISTEMAS CIBER-FISICOS ROBUSTOS, A DIFERENCIA DE ESTUDIOS TRADICIONALES DE PROPIEDADES EN EL AREA DE METODOS FORMALES, QUE SON CUALITATIVOS, LA ROBUSTEZ SE PUEDE MEDIR DE MANERA CUANTITATIVA, LA NOVEDAD PRINCIPAL DEL PROYECTO ES UNA APROXIMACION ALGORITMICA CUANTITATIVA AL PROBLEMA DEL DISEÑO ROBUSTO MEDIANTE ANALISIS DE INFORMACION CUANTITATIVA SOBRE EL MODELO DEL SISTEMA Y SU COMPORTAMIENTO, EN PARTICULAR, LOS ALGORITMOS DESARROLLADOS REEMPLAZARAN A LOS ALGORITMOS ACTUALES, HECHOS AD-HOC O CON APROXIMACIONES DEDUCTIVAS SEMIAUTOMATICAS, POR PROCEDIMIENTOS Y HERRAMIENTAS PLENAMENTE AUTOMATICOS Y ESCALABLES, ESTE ES UN PROYECTO MULTIDISCIPLINAR QUE REQUIERE CONOCIMIENTOS DE LOS AREAS DE METODOS FORMALES, TEORIA DE SISTEMAS DINAMICOS Y SISTEMAS DE CONTROL, EL PROYECTO EMPLEARA UNA METODOLOGIA QUE CONSISTE EN EL DESARROLLO DE LAS BASES TEORICAS, SEGUIDO DEL DISEÑO DE ALGORITMOS Y EL DESARROLLO DE HERRAMIENTAS, LA REALIZACION DE ESE AMBICIOSO PROYECTO TENDRA UN IMPACTO SUSTANCIAL EN LA CALIDAD DEL DESARROLLO DEL SOFTWARE PARA LOS SISTEMAS CIBER-FISICOS, REDUCIENDO LA DIFERENCIA ENTRE EL DISEÑO Y LA IMPLEMENTACION DE LOS SISTEMAS DE CONTROL, MEDIANTE LA INTRODUCCION DE UN ANALISIS ROBUSTO EN LA FASE DE DISEÑO, THEORETICAL COMPUTER SCIENCE\FORMAL METHODS\AND QUANTUM COMPUTING\COMPUTER SYSTEMS\PARALLEL/DISTRIBUTED SYSTEMS\SENSOR NETWORKS\EMBEDDED SYSTEMS\CYBER-PHYSYCAL SYSTEMS ver más
01/01/2015
IMDEA SOFTWARE INS...
3K€
Perfil tecnológico estimado

Línea de financiación: concedida

El organismo AGENCIA ESTATAL DE INVESTIGACIÓN notifico la concesión del proyecto el día 2015-01-01
Presupuesto El presupuesto total del proyecto asciende a 3K€
Líder del proyecto
IMDEA SOFTWARE INSTITUTE No se ha especificado una descripción o un objeto social para esta compañía.
Perfil tecnológico TRL 4-5 650K