Compiladores de grafos temporizados
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.
| 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) |
| Sumario: | 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. |
|---|
