Descripción del proyecto
EL PROYECTO TIENE COMO OBJETIVO CONTRIBUIR MEDIANTE METODOS Y TECNICAS AL DESARROLLO DE SISTEMAS CIBER-FISICOS SOBRE PLATAFORMAS MULTINUCLEO QUE SOPORTEN LA EJECUCION DE APLICACIONES CON RESTRICCIONES TEMPORALES, COMO APLICACIONES DE CONTROL, Y CON DISTINTOS NIVELES DE CRITICIDAD, EL PROYECTO ABORDA TANTO LA DEFINICION DE LAS CAPAS DE SOFTWARE QUE CONFIGURAN LA ARQUITECTURA DEL SISTEMA (INCLUYENDO LA PLATAFORMA DE EJECUCION) COMO LOS METODOS Y HERRAMIENTAS PARA EL DISEÑO, ANALISIS Y DESPLIEGUE DEL SISTEMA, SE PARTE DE UN ENFOQUE DE INGENIERIA DIRIGIDA POR MODELOS, Y SE PRETENDE DESARROLLAR SISTEMAS CON COMPONENTES DE DISTINTOS NIVELES DE CRITICIDAD, EN ESTE SENTIDO, SE ESPERA FACILITAR LA EVENTUAL CERTIFICACION INDIVIDUAL DE LOS COMPONENTES QUE ASI LO REQUIERAN,EL ENFOQUE QUE SE PROPONE ESTA BASADO EN EL CONCEPTO DE ARQUITECTURA PARTICIONADA CON MAQUINAS VIRTUALES, DE FORMA QUE LOS SUBSISTEMAS DE DISTINTOS NIVELES DE CRITICIDAD PUEDAN EJECUTARSE EN DISTINTAS MAQUINAS VIRTUALES O PARTICIONES, EL HIPERVISOR QUE IMPLEMENTA ESTE CONCEPTO DEBE ASEGURAR EL AISLAMIENTO ENTRE LAS PARTICIONES TANTO EN EL DOMINIO DEL TIEMPO COMO EN EL ESPACIO DE ALMACENAMIENTO, PARA GARANTIZAR QUE LOS POSIBLES ERRORES EN LOS COMPONENTES MENOS CRITICOS NO SE PROPAGAN A LOS MAS CRITICOS NI PERTURBAN SU CORRECTA EJECUCION, OTRO DE LOS OBJETIVOS DEL PROYECTO ES LA EXTENSION DE ESTA IDEA A PLATAFORMAS MULTINUCLEO,LAS APORTACIONES DE ESTE SUBPROYECTO SE CENTRARAN EN PROPORCIONAR EL AISLAMIENTO ENTRE LOS PROGRAMAS QUE SE EJECUTAN EN DISTINTOS NUCLEOS DE PROCESADOR EN EL NIVEL DEL SISTEMA OPERATIVO CON DOS APROXIMACIONES: EL SISTEMA OPERATIVO EJECUTANDO SOBRE UN HIPERVISOR, Y MECANISMOS DE VIRTUALIZACION LIGERA SOBRE EL PROPIO SISTEMA OPERATIVO, TAMBIEN SE ABORDARA LA ADAPTACION A SISTEMAS PARTICIONADOS MULTINUCLEO DE MIDDLEWARE DE COMUNICACIONES ORIENTADO A LOS DATOS COMO MECANISMO DE PROGRAMACION QUE FACILITE EL DESARROLLO DE APLICACIONES UTILIZANDO ESTRATEGIAS GUIADAS POR MODELOS, EN ESTE SUBPROYECTO SE PARTICIPARA ADEMAS EN EL DESARROLLO DE LOS ASPECTOS METODOLOGICOS RELACIONADOS CON EL MODELADO, DISEÑO Y REALIZACION DE SISTEMAS CIBER-FISICOS, Y EN LA REALIZACION DEL PROTOTIPO DE ENTORNO INTEGRADO DE HERRAMIENTAS DE ANALISIS Y DISEÑO, EN PARTICULAR SE CENTRARA EN LA DEFINICION DE MODELOS Y LA BUSQUEDA DE LAS TECNICAS DE ANALISIS MAS ADECUADAS PARA ESTE TIPO DE SISTEMAS, INCLUYENDO ASPECTOS COMO EL CALCULO DE TIEMPOS DE RESPUESTA, SEGURIDAD Y GESTION DE DATOS,LOS RESULTADOS DEL SUBPROYECTO SE APLICARAN A LOS CASOS DE ESTUDIO SELECCIONADOS EN EL PROYECTO PARA COMPROBAR SU VALIDEZ INDUSTRIAL, SISTEMAS CIBER-FÍSICOS\SISTEMAS DE CONTROL\SISTEMAS DE CRITICIDAD MIXTA\TIEMPO REAL\ARQUITECTURAS MULTINÚCLEO\INGENIERÍA GUIADA POR MODELOS