Descripción del proyecto
EL FALLO O MAL FUNCIONAMIENTO DE LOS SISTEMAS DE ALTA INTEGRIDAD DE TIEMPO REAL PUEDE DAÑAR O MATAR A PERSONAS, HACER PERDER O AVERIAR EQUIPOS, Y PRODUCIR DAÑOS MEDIOAMBIENTALES. SU DESARROLLO REQUIERE EMPLEAR METODOLOGIAS Y ESTANDARES PROBADOS Y ESTRICTOS, PARA REDUCIR LA PROBABILIDAD DE FALLOS A UNOS VALORES ACEPTABLES. EN ALGUNOS DOMINIOS, ES NECESARIO QUE DETERMINADAS ENTIDADES AUTORIZADAS LOS CERTIFIQUEN PARA SU INTEGRACION EN PRODUCTOS INDUSTRIALES, COMO AVIONES, TRENES O COCHES. ESTOS SISTEMAS INCLUYEN OTROS COMPONENTES DE SOFTWARE CON MENOR NIVEL DE CRITICIDAD. EL AISLAMIENTO DE FALLOS SE SUELE CONSEGUIR EJECUTANDO EN DISTINTOS COMPUTADORES LOS COMPONENTES DE SOFTWARE CON DIFERENTE NIVEL DE CRITICIDAD.LA CAPACIDAD DE COMPUTO DE LOS PROCESADORES ACTUALES PERMITE INCLUIR EN EL MISMO COMPUTADOR VARIOS COMPONENTES DE SOFTWARE, PARA REDUCIR LOS COSTES DE HARDWARE, PESO, CONSUMO, TAMAÑO Y CABLEADO. LOS SISTEMAS VIRTUALIZADOS SON UNA TECNOLOGIA CLAVE PARA LA EJECUCION DE COMPONENTES SOFTWARE CON DIFERENTE NIVEL DE CRITICIDAD EN EL MISMO PROCESADOR. LA VIRTUALIZACION PERMITE COMPARTIR LOS RECURSOS FISICOS ENTRE UN CONJUNTO DE PARTICIONES O MAQUINAS VIRTUALES, GARANTIZANDO EL AISLAMIENTO TEMPORAL Y ESPACIAL ENTRE ELLAS. ESTE ENFOQUE TIENE VENTAJAS, COMO LA REDUCCION DE LOS COSTES DE DESARROLLO Y CERTIFICACION: SE REDUCEN LAS INTERACCIONES EN EL SISTEMA, SE GESTIONA MEJOR LA COMPLEJIDAD, ES MAS FACIL INTEGRAR APLICACIONES HEREDADAS Y LOS COMPONENTES DE SOFTWARE, Y PERMITE QUE SOLO HAYA QUE VOLVER A CERTIFICAR LAS PARTICIONES CON CAMBIOS. EL DESARROLLO DE SISTEMAS PARTICIONADOS REQUIERE UN CONJUNTO ADICIONAL DE ACTIVIDADES, COMO EL PARTICIONADO Y CONFIGURACION DEL SISTEMA O EL ANALISIS GLOBAL DE TIEMPOS DE RESPUESTA. ESTE PROYECTO VA DESARROLLAR HERRAMIENTAS PARA FACILITAR ESTAS TAREAS, BASADAS EN EL DISEÑO ORIENTADO A MODELOS (MODEL-DRIVEN DESIGN). ESTA TECNOLOGIA ELEVA EL NIVEL DE ABSTRACCION DE LOS LENGUAJES Y HERRAMIENTAS DE DESARROLLO Y AISLA LA INFORMACION Y LA LOGICA DE PROCESAMIENTO DE LAS TECNOLOGIAS DE IMPLEMENTACION Y DE LA PLATAFORMA DE EJECUCION.EL AISLAMIENTO ENTRE PARTICIONES PERMITE CONECTAR ESTOS SISTEMAS EMPOTRADOS A INTERNET, CUMPLIENDO REQUISITOS DE SEGURIDAD, Y CONTRIBUYENDO A LA "INTERNET DE LAS COSAS". ESTE PROYECTO FACILITARA SU CONEXION DE FORMA SEGURA, MEDIANTE EL DESARROLLO DE LA INFRAESTRUCTURA BASICA PARA OFRECER Y USAR SERVICIOS EXTERNOS, DE FORMA QUE SE MEJORE LA OPERACION DEL SISTEMA Y SU UTILIDAD SOCIAL.EN RESUMEN, LOS OBJETIVOS DE ESTE PROYECTO SON DESARROLLAR UNA PLATAFORMA DE EJECUCION QUE PROPORCIONE VIRTUALIZACION, PORTAR EFICIENTEMENTE SISTEMAS OPERATIVOS, DESARROLLAR HERRAMIENTAS ORIENTADAS A MODELOS PARA EL DESARROLLO DE SISTEMAS PARTICIONADOS DE ALTA INTEGRIDAD Y PROPORCIONAR INFRAESTRUCTURA DE COMUNICACIONES PARA CONECTAR LOS SISTEMAS A INTERNET, DE FORMA SEGURA. LAS PLATAFORMAS DE EJECUCION INCLUIRAN SISTEMAS MONOPROCESADOR Y SISTEMAS DISTRIBUIDOS. TAMBIEN SE ESTUDIARA LA VIRTUALIZACION EN SISTEMAS CON VARIOS NUCLEOS.LOS GRUPOS DE INVESTIGACION PARTICIPANTES LLEVAN COLABORANDO EN PROYECTOS COORDINADOS DESDE HACE DOCE AÑOS Y HAN ADQUIRIDO UN CONOCIMIENTO EN ESTE AREA COMPLEMENTARIO Y ESPECIFICO. ESTAN EN UNA BUENA POSICION PARA HACER CONTRIBUCIONES TECNOLOGICAS RELEVANTES PARA EL DESARROLLO DE SISTEMAS DE TIEMPO REAL EMPOTRADOS. ISTEMAS EMPOTRADOS DE TIEMPO REAL\SISTEMAS PARTICIONADOS\VIRTUALIZACION\SISTEMAS DE ALTA INTEGRIDAD