Se aborda la problematica de la modelacion y evaluacion de sistemas distribuidos tolerantes a fallos y se desarrollan una herramienta software denominada metfac. Se propone una especificacion de modelos de alto nivel basada en reglas de produccion a partir de la cual son generados automaticamente procesos continuos y homogeneos de markov (pcms) utilizados para la evaluacion. La herramienta ofrece 19 opciones de evaluacion y son utilizados metodos numericos robustos de calculos disperso que evitan errores de cancelacion. Tambien se ofrece una opcion de la resolucion del regimen transitorio. En la segunda parte de la tesis se obtiene modelos combinatorios para la evaluacion de redes locales de ordenadores y se utiliza metfac para realizar una evaluaciion mas precisa que incorpora fallos latentes.
© 2001-2024 Fundación Dialnet · Todos los derechos reservados