Por favor, use este identificador para citar o enlazar este ítem:
https://hdl.handle.net/20.500.12008/3069
Cómo citar
| Título: | Compiladores de grafos temporizados |
| Autor: | Bello, Sebastian |
| Título Obtenido: | Ingeniero en Computación |
| Facultad o Servicio que otorga el Título: | Universidad de la República (Uruguay). Facultad de Ingeniería. Instituto de Computación |
| Tutor: | Sierra Abbate, Luis Ricardo |
| Tipo: | Tesis de grado |
| Palabras clave: | SISTEMAS DE TIEMPO REAL, REAL TIME SYSTEM, COMPILADORES DE GRAFOS |
| Fecha de publicación: | 2000 |
| 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. |
| Editorial: | UR. FI-INCO, |
| Citación: | BELLO, S. "Compiladores de grafos temporizados". Tesis de grado, Universidad de la República (Uruguay). Facultad de Ingeniería. Instituto de Computación, 2000. |
| Licencia: | Licencia Creative Commons Atribución – No Comercial – Sin Derivadas (CC BY-NC-ND 4.0) |
| Aparece en las colecciones: | Tesis de grado - Instituto de Computación |
Ficheros en este ítem:
| Fichero | Descripción | Tamaño | Formato | ||
|---|---|---|---|---|---|
| tg-bello.pdf | 513,96 kB | Adobe PDF | Visualizar/Abrir |
Este ítem está sujeto a una licencia Creative Commons Licencia Creative Commons
