Modelización de un sistema operativo multipropósito: especificación formal en estelle

• Autores: Oliverio González Alonso
• Directores de la Tesis: Víctor Guillermo García García (dir. tes.)
• Lectura: En la Universidad de Oviedo ( España ) en 1993
• Idioma: español
• Tribunal Calificador de la Tesis: Joan Vinyes Sanz (presid.) , Ricardo Ramos Montero (secret.) , Guillermo Ojea Merín (voc.) , Enrique Vázquez Gallo (voc.) , José Antonio Corrales González (voc.)
• Texto completo no disponible (Saber más ...)
• Resumen

  • 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.