Modelización de un sistema operativo multipropósito: especificación formal en estelle

Abstract

Se pretende aplicar una técnica de descripción formal (fdt) a la modelización de un sistema operativo, demostrando que es posible y que sería conveniente su utilización en la definición de algoritmos de planificación del procesador, de memoria principal, subsistemas de e/s y demás recursos del ordenador. Dicha conveniencia no sería solo por la formalización de la política en si, sino también por la facilidad que la fdt da para su simulación y posterior implementación, permitiendo todo ello la comparación de diferentes algoritmos de gestión de un mismo recurso y la lógica elección del más adecuado.