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) |
Resultados similares
-
Especificación y análisis de sistemas de tiempo real en teoría de tipos. Caso de estudio : the railroad crossing example
Autor(es):: Luna, Carlos
Fecha de publicación:: (2000) -
UML 2.0 interactions with OCL/RT constraints
Autor(es):: Calegari García, Daniel
Fecha de publicación:: (2007) -
Multiplexing real time video services
Autor(es):: Pechiar, Juan
Fecha de publicación:: (1997) -
A novel real-time PCR assay for quantitative detection of Campylobacter fetus based on ribosomal sequences
Autor(es):: Iraola, Gregorio
Fecha de publicación:: (2016) -
Decision making in forward power markets with supply and demand uncertainty
Autor(es):: Paganini, Fernando
Fecha de publicación:: (2014)