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

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 proceeding › Conference contribution

Abstract

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 language	English
Title of host publication	Colombian Conference on Computing
Pages	113-127
Number of pages	15
State	Published - Aug 19 2018
Externally published	Yes

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

Cite this

@inproceedings{e71e781e169a4fd192227251edc7d6d9,

title = "REAL-T: Time Modularization in Reactive Distributed Applications",

abstract = "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.",

author = "Benavides, {Luis Daniel} and Camilo Pimienta and Mateo Sanabria and Daniel Diaz-L{\'o}pez and Wilmer Garz{\'o}n and Willson Melo and Hugo Arboleda",

year = "2018",

month = aug,

day = "19",

language = "Ingl{\'e}s",

pages = "113--127",

booktitle = "Colombian Conference on Computing",

}

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 -

REAL-T: Time Modularization in Reactive Distributed Applications

Abstract

Other files and links

Cite this