Modelización y especificación de un sistema operativo multiprogramación usando FDT ESTELLE
ISSN: 0214-932X
Año de publicación: 1994
Volumen: 27
Número: 1
Páginas: 28-39
Tipo: Artículo
Otras publicaciones en: Informática y automática: revista de la Asociación Española de Informática y Automática
Resumen
Se aplica una Técnica de Descripción Formal (FDT ESTELLE) a la modelización y especificación de sistemas opertivos, proponiendo aquí el caso de un sistema operativo trabajando en multiprogramación; de este modo, proponemos la conveniencia de su utilización en la definición y especificación de los diferentes algoritmos de planificación del procesador, memoria principal, subsistemas de E/S; y en general cualquier recurso del ordenador. Todo ello traerá dos ventajas: por una parte, el poder definir de forma formal y relativamente sencilla las políticas de gestión de un sistema operativo, y por otra, a través de las facilidades que dan herramientas como la ESTACIÓN DE TRABAJO ESTELLE (EWS) o la VEDA, avanzar hacia la simulación e implementación de dichas políticas.