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.
CITATION STYLE
Benavides Navarro, L. D., Pimienta, C., Sanabria, M., Díaz, D., Garzón, W., Melo, W., & Arboleda, H. (2018). REAL-T: Time modularization in reactive distributed applications. In Communications in Computer and Information Science (Vol. 885, pp. 113–127). Springer Verlag. https://doi.org/10.1007/978-3-319-98998-3_9
Mendeley helps you to discover research relevant for your work.