Menu Content/Inhalt
Home arrow Licenciatura arrow Tesis Producidas arrow [2006/09/29] Model Checking Cuantitativo con un enfoque de la teoría de autómatas
[2006/09/29] Model Checking Cuantitativo con un enfoque de la teoría de autómatas
Maximiliano Combina & Matías David Lee  
Trabajo de grado para la Licenciatura en Cs. de la Computación
[PDF] [Material adicional] 

Abstract:

El estudio de la corrección de los sistemas es de suma importancia debido a que las fallas en estos sistemas pueden tener consecuencias catastróficas. Este trabajo contribuye a extender la técnica de Model Checking Cuantitativo desarrollada por Luca De Alfaro en [este paper] , el cual presenta un algoritmo para calcular la probabilidad máxima de que una propiedad expresada en LTL sea satisfecha por un sistema con componentes probabilísticas y/o no determinísticas. Este algoritmo reduce el problema del cálculo de la probabilidad máxima a un problema de alcanzabilidad. Utilizando un enfoque similar, hemos desarrollado un algoritmo para el cálculo de la probabilidad mínima. Además, hemos creado una herranienta para el cálculo de dicha probabilidad en un sistema bajo estudio. Esta herramienta se basa en la implementación de nuestros resultados y la integración de estos con otras aplicaciones ya existentes, entre ellas, Rapture, un model checker de probabilidad cuantitativa.
 
Content Management System: Joomla!
Template based on an original designed by www.madeyourweb.com