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

  1. González Alonso, Oliverio
  2. García García, Víctor Guillermo
Aldizkaria:
Informática y automática: revista de la Asociación Española de Informática y Automática

ISSN: 0214-932X

Argitalpen urtea: 1994

Alea: 27

Zenbakia: 1

Orrialdeak: 28-39

Mota: Artikulua

Beste argitalpen batzuk: Informática y automática: revista de la Asociación Española de Informática y Automática

Laburpena

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.