Tesis:
Planificación estática de procesos en sistemas de tiempo real crítico
- Autor: ZAMORANO FLORES, Juan Rafael
- Título: Planificación estática de procesos en sistemas de tiempo real crítico
- Fecha: 1995
- Materia: Sin materia definida
- Escuela: FACULTAD DE INFORMATICA
- Departamentos: ARQUITECTURA Y TECNOLOGIA DE SISTEMAS INFORMATICOS
- Acceso electrónico:
- Director/a 1º: PUENTE ALFARO, Juan Antonio de la
- Resumen: Los sistemas de tiempo real son sistemas informáticos que constituyen un componente fundamental de los sistemas de control. Estos sistemas de control forman parte de sistemas de ingeniería muy diversos en campos como la industria, defensa, medicina, control aéreo o comunicaciones. Los sistemas de tiempo real, como el resto de sistemas informáticos, tienen una importancia creciente en nuestra sociedad. La característica diferenciadora de estos sistemas es la obligación de completar sus actividades en determinados plazos de tiempo, de otro modo el sistema controlado no funcionará correctamente. Un problema fundamental es la planificación de los recursos computacionales. El objetivo es asignar los recursos a los procesos del sistema de forma que se ejecuten con sus requisitos temporales. El problema general de planificar un conjunto de procesos de forma que se garantice el cumplimiento de sus restricciones temporales es NP-Completo. Una aproximación para realizar la planificación consiste en calcular la planificación off line, es decir antes de poner en marcha el sistema. Esta aproximación se designa como planificación estática y el método más utilizado es la planificación cíclica. Sin embargo, las técnicas actuales de diseño y construcción de los planes de ejecución son muy rudimentarias. Esto se debe a una falta de formalización del método y a la carencia de algoritmos que generen los planes de ejecución de forma automática y en tiempo razonable. Además, tampoco existen directrices y esquemas de realización para construir planificadores sobre núcleos de ejecución normalizados. Uno de los objetivos de esta tesis es estudiar en profundidad el método de planificación cíclica para evaluar sus ventajas y desventajas frente a otros métodos de planificación. Por otra parte, se ha formalizado el método clásico así como una extensión al mismo que permite planificar cíclicamente nuevos conjuntos de procesos. Asimismo, se han desarrollado algoritmos de búsqueda heurística que obtienen una planificación factible de forma directa en la mayoría de los casos. Otros resultados son la ampliación de los algoritmos para tener en cuenta relaciones de precedencia entre los procesos, la definición del protocolo de cambio de modo y un mecanismo de tolerancia a fallos que degrada progresivamente la funcionalidad del sistema en función de los fallos acaecidos. Por último, en el proyecto industrial Biblioteca de Componentes Ada se desarrolló un ejecutivo cíclico que soporta el método expuesto. Se describe dicho ejecutivo junto con directrices y esquemas de realización, asimismo se detalla la forma de incluir la sobrecarga introducida al generar los planes de ejecución