Resumen de Modelización y especificación de un sistema operativo multiprogramación usando FDT ESTELLE

Oliverio González Alonso, Víctor Guillermo García García

• español

  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.

• English

  A Formal Description Technique (FDT ESTELLE) has been applied to the modelling of a multiprogramming operating system, showing that it is possible, and convenient, its use for the definition of algorithms to implement processor planning, main memory, I/O subsystems (disk, tapes, and other peripherals) and other computer resources (devices). It is convenient especially because of the facility that the FDT presents for simulations and later implementation, allowing the comparison of different algorithms to manage the same resources and the logic election of the most adequate algorithm for the job.