Modelización de un sistema operativo multipropósitoespecificación formal en estelle

  1. González Alonso, Oliverio
Zuzendaria:
  1. Víctor Guillermo García García Zuzendaria

Defentsa unibertsitatea: Universidad de Oviedo

Defentsa urtea: 1993

Epaimahaia:
  1. Joan Vinyes Sanz Presidentea
  2. Ricardo Ramos Montero Idazkaria
  3. Guillermo Ojea Merín Kidea
  4. Enrique Vázquez Gallo Kidea
  5. José Antonio Corrales González Kidea
Saila:
  1. Informática

Mota: Tesia

Teseo: 38642 DIALNET

Laburpena

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.