Descripción del proyecto
EL FALLO O MAL FUNCIONAMIENTO DE LOS SISTEMAS DE ALTA INTEGRIDAD DETIEMPO REAL PUEDE DAÑAR O MATAR A PERSONAS, PERDER O AVERIAR EQUIPOS,Y PRODUCIR DAÑOS MEDIOAMBIENTALES. SU DESARROLLO REQUIERE EMPLEARMETODOLOGIAS Y ESTANDARES PROBADOS Y ESTRICTOS, PARA REDUCIR LAPROBABILIDAD DE FALLOS A UNOS VALORES ACEPTABLES. EN ALGUNOS DOMINIOS,ES NECESARIO QUE ENTIDADES AUTORIZADAS LOS CERTIFIQUEN PARA SUINTEGRACION EN PRODUCTOS INDUSTRIALES, COMO AVIONES, TRENES OCOCHES. ESTOS SISTEMAS INCLUYEN OTROS COMPONENTES DE SOFTWARE CONMENOR NIVEL DE CRITICIDAD. EL AISLAMIENTO DE FALLOS SE SUELE CONSEGUIREJECUTANDO EN DISTINTOS COMPUTADORES LOS COMPONENTES DE SOFTWARE CONDIFERENTE NIVEL DE CRITICIDAD.LA CAPACIDAD DE COMPUTO DE LOS PROCESADORES ACTUALES PERMITE INCLUIREN EL MISMO COMPUTADOR VARIOS COMPONENTES DE SOFTWARE, PARA REDUCIRLOS COSTES DE HARDWARE, PESO, CONSUMO, TAMAÑO Y CABLEADO. LOS SISTEMASVIRTUALIZADOS SON UNA TECNOLOGIA CLAVE PARA LA EJECUCION DECOMPONENTES SOFTWARE CON DIFERENTE NIVEL DE CRITICIDAD EN EL MISMOPROCESADOR. LA VIRTUALIZACION PERMITE COMPARTIR LOS RECURSOS FISICOSENTRE UN CONJUNTO DE PARTICIONES O MAQUINAS VIRTUALES, GARANTIZANDO ELAISLAMIENTO TEMPORAL Y ESPACIAL ENTRE ELLAS. ESTE ENFOQUE TIENEVENTAJAS, COMO LA REDUCCION DE LOS COSTES DE DESARROLLO YCERTIFICACION: SE REDUCEN LAS INTERACCIONES EN EL SISTEMA, SE GESTIONAMEJOR LA COMPLEJIDAD, ES MAS FACIL INTEGRAR APLICACIONES HEREDADAS YLOS COMPONENTES DE SOFTWARE, Y PERMITE QUE SOLO HAYA QUE RECERTIFICARLAS PARTICIONES CON CAMBIOS. EL DESARROLLO DE SISTEMAS PARTICIONADOS REQUIERE UN CONJUNTO ADICIONALDE ACTIVIDADES, COMO EL PARTICIONADO Y CONFIGURACION DEL SISTEMA O ELANALISIS GLOBAL DE TIEMPOS DE RESPUESTA. ESTE PROYECTO VA DESARROLLARHERRAMIENTAS PARA FACILITAR ESTAS TAREAS, BASADAS EN INGENIERIAORIENTADA A MODELOS (MODEL-DRIVEN ENGINEERING). ESTA TECNOLOGIA ELEVAEL NIVEL DE ABSTRACCION DE LOS LENGUAJES Y HERRAMIENTAS DE DESARROLLO YAISLA LA INFORMACION Y LA LOGICA DE PROCESAMIENTO DE LAS TECNOLOGIASDE IMPLEMENTACION Y DE LA PLATAFORMA DE EJECUCION.EL AISLAMIENTO ENTRE PARTICIONES PERMITE CONECTAR ESTOS SISTEMASEMPOTRADOS A INTERNET, CUMPLIENDO REQUISITOS DE SEGURIDAD, YCONTRIBUYENDO A LA "INTERNET DE LAS COSAS". ESTE PROYECTO FACILITARASU CONEXION DE FORMA SEGURA, MEDIANTE EL DESARROLLO DE LAINFRAESTRUCTURA BASICA PARA OFRECER Y USAR SERVICIOS EXTERNOS, DEFORMA QUE SE MEJORE LA OPERACION DEL SISTEMA Y SU UTILIDAD SOCIAL.EN CONCRETO, LOS OBJETIVOS DE ESTE PROYECTO SON DESARROLLAR UNAPLATAFORMA DE EJECUCION QUE PROPORCIONE VIRTUALIZACION, PORTAREFICIENTEMENTE SISTEMAS OPERATIVOS, DESARROLLAR HERRAMIENTASORIENTADAS A MODELOS PARA EL DESARROLLO DE SISTEMAS PARTICIONADOS DEALTA INTEGRIDAD Y PROPORCIONAR INFRAESTRUCTURA DE COMUNICACIONES PARACONECTAR LOS SISTEMAS A INTERNET, DE FORMA SEGURA. LAS PLATAFORMAS DEEJECUCION INCLUIRAN SISTEMAS MONOPROCESADOR Y SISTEMASDISTRIBUIDOS. TAMBIEN SE ESTUDIARA LA VIRTUALIZACION EN SISTEMAS CONVARIOS NUCLEOS.LOS GRUPOS DE INVESTIGACION PARTICIPANTES LLEVAN COLABORANDO ENPROYECTOS COORDINADOS DESDE HACE DOCE AÑOS Y HAN ADQUIRIDO UNCONOCIMIENTO EN ESTE AREA COMPLEMENTARIO Y ESPECIFICO. ESTAN EN UNABUENA POSICION PARA HACER CONTRIBUCIONES TECNOLOGICAS RELEVANTES PARAEL DESARROLLO DE SISTEMAS DE TIEMPO REAL EMPOTRADOS. ISTEMAS EMPOTRADOS DE TIEMPO REAL\VIRTUALIZACION\SISTEMAS DE ALTA INTEGRIDAD