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

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2 Scopus citations


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.
Original languageEnglish
Title of host publicationColombian Conference on Computing
Number of pages15
StatePublished - Aug 19 2018
Externally publishedYes


Dive into the research topics of 'REAL-T: Time Modularization in Reactive Distributed Applications'. Together they form a unique fingerprint.

Cite this