|
Descripción
|
|
|---|---|
| La tesis aborda la problemática asociada con la construcción de sistemas particionados con requisitos de seguridad y tiempo real críticos. En estos sistemas se pretende ejecutar varias aplicaciones en un mismo computador, de forma que un eventual fallo en una aplicación no ponga en peligro la integridad de las otras. Ello requiere, en primer lugar, la puesta en práctica de esquemas de aislamiento temporal y espacial entre las aplicaciones. El trabajo de la tesis se dirige especialmente a la resolución del problema del aislamiento temporal entre particiones utilizando métodos de planificación dinámico. Con ello se pretende dotar a los sistemas particionados de mayor flexibilidad y un mejor aprovechamiento de la capacidad de cómputo disponible. El enfoque adoptado por el doctorando se basa en la utilización del concepto de planificación mediante bandas de prioridad y su implementación en el nuevo estándar Ada 2005. En la tesis se desarrolla una arquitectura de sistemas particionados basada en este concepto, integrada en un modelo de desarrollo de sistemas basado en componentes elaborado en el marco del proyecto europeo ASSERT, liderado por la Agencia Europea del Espacio. La solución propuesta se desarrolla de forma completa, y está integrada en las herramientas desarrolladas por otros socios del proyecto. La tesis incluye una descripción de la validación de la arquitectura mediante un caso de uso propuesto por los socios industriales del proyecto ASSERT. | |
|
Internacional
|
No |
|
ISBN
|
|
|
Tipo de Tesis
|
|
|
Calificación
|
Sobresaliente cum laude |
|
Fecha
|
24/07/2007 |