TY - GEN
T1 - REAL-T: Time Modularization in Reactive Distributed Applications
AU - Benavides, Luis Daniel
AU - Pimienta, Camilo
AU - Sanabria, Mateo
AU - Diaz-López, Daniel
AU - Garzón, Wilmer
AU - Melo, Willson
AU - Arboleda, Hugo
PY - 2018/8/19
Y1 - 2018/8/19
N2 - 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.
AB - 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.
UR - https://link.springer.com/chapter/10.1007/978-3-319-98998-3_9
M3 - Contribución a la conferencia
SP - 113
EP - 127
BT - Colombian Conference on Computing
ER -