REAL-T: Time Modularization in Reactive Distributed Applications

Luis Daniel Benavides, Camilo Pimienta, Mateo Sanabria, Daniel Diaz-López, Wilmer Garzón, Willson Melo, Hugo Arboleda

Resultado de la investigación: Capítulo en Libro/Reporte/ConferenciaContribución a la conferencia

2 Citas (Scopus)

Resumen

In this paper, we propose REAL-T, a distributed event-based language with explicit support for time manipulation. The language introduces automata for operational time manipulation, causality constructs and Linear Temporal Logic for declarative time predicates, and a distributed-time aware event model. We have developed a compiler for the language and a dynamic run-time framework. To validate the proposal we study detection of complex patterns of security vulnerabilities in IoT scenarios.
Idioma originalInglés
Título de la publicación alojadaColombian Conference on Computing
Páginas113-127
Número de páginas15
EstadoPublicada - ago 19 2018
Publicado de forma externa

Huella

Profundice en los temas de investigación de 'REAL-T: Time Modularization in Reactive Distributed Applications'. En conjunto forman una huella única.

Citar esto