Tesis doctoral de Oliverio Gonzalez Alonso
Se pretende aplicar una tecnica de descripcion formal (fdt) a la modelizacion de un sistema operativo, demostrando que es posible y que seria conveniente su utilizacion en la definicion de algoritmos de planificacion del procesador, de memoria principal, subsistemas de e/s y demas recursos del ordenador. Dicha conveniencia no seria solo por la formalizacion de la politica en si, sino tambien por la facilidad que la fdt da para su simulacion y posterior implementacion, permitiendo todo ello la comparacion de diferentes algoritmos de gestion de un mismo recurso y la logica eleccion del mas adecuado.
Datos académicos de la tesis doctoral «Modelizacion de un sistema operativo multiproposito: especificacion formal en estelle.«
- Título de la tesis: Modelizacion de un sistema operativo multiproposito: especificacion formal en estelle.
- Autor: Oliverio Gonzalez Alonso
- Universidad: Oviedo
- Fecha de lectura de la tesis: 01/01/1993
Dirección y tribunal
- Director de la tesis
- Garcia Garcia Victor Guillermo
- Tribunal
- Presidente del tribunal: Joan Vinyes I Sanz
- Enrique Vazquez Gallo (vocal)
- Guillermo Ojea Merin (vocal)
- José Antonio Corrales Gonzalez (vocal)