Modelización de un sistema operativo multipropósitoespecificación formal en estelle
- Víctor Guillermo García García Doktorvater/Doktormutter
Universität der Verteidigung: Universidad de Oviedo
Jahr der Verteidigung: 1993
- Joan Vinyes Sanz Präsident/in
- Ricardo Ramos Montero Sekretär
- Guillermo Ojea Merín Vocal
- Enrique Vázquez Gallo Vocal
- José Antonio Corrales González Vocal
Art: Dissertation
Zusammenfassung
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.