Compiladores de grafos temporizados

Bello, Sebastian

Supervisor(es): Sierra Abbate, Luis Ricardo

Resumen:

Los sistemas de tiempo real son sistemas que toman en cuenta la evolución del tiempo, y permiten exptesar propiedades temporales cuantitativas. En este tipo de sistemas es posible formular expresiones del tipo "toda ejecución de la acción A ocurre al menos 20 segundos después que la ejecución de una B". Distintos lenguajes de especificación para estos sistemas han sido propuestos. El objetivo de este taller es la construcción de una serie de compiladores que conviertan especificaciones -tanto de sistemas como de propiedades a verificar-entre un conjunto de formalismos elegido. Ellos serán los usados por las herramientas Kronos, Uppaal y HyTech. Se han desarrollado además interfases gráficas para el uso de dichos formalismos -todos ellos se basan en autómatas.


Detalles Bibliográficos
2000
SISTEMAS DE TIEMPO REAL
REAL TIME SYSTEM
COMPILADORES DE GRAFOS
Español
Universidad de la República
COLIBRI
http://hdl.handle.net/20.500.12008/3069
Acceso abierto
Licencia Creative Commons Atribución – No Comercial – Sin Derivadas (CC BY-NC-ND 4.0)

Resultados similares