Blogs (61) >>
Tue 17 Jul 2018 11:00 - 11:45 at Bangkok - Session 1 Chair(s): Davide Ancona

In this talk, we present a novel platform for online monitoring of multicore system. It gives insight to the system’s behavior without affecting it. This insight is crucial to detect non-deterministic failures as for example caused by race conditions and access to inconsistent data. A system-on-chip is observed using the tracing capabilities available on many modern multi-core processors. They provide highly compressed tracing information over a separate tracing port. From this information our system reconstructs the sequence of instructions executed by the processor, which can then be analyzed online by a reconfigurable monitoring unit. Analyses are described in a high-level temporal stream-based specification language, called TESSLA, that are compiled to configurations of the monitoring unit. To cope with the amount of tracing data generated by modern processors our system is implemented in hardware using an FPGA. The work presented is carried out within the COEMS project and has re­ceived funding from the Euro­pean Union’s Hori­zon 2020 research and innovation pro­gram under grant agreement no. 732016.

Tue 17 Jul

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

11:00 - 12:30
Session 1VORTEX at Bangkok
Chair(s): Davide Ancona University of Genova
11:00
45m
Talk
Stream-based runtime verification with hardware supportKeynote
VORTEX
K: Martin Leucker University of Lübeck
11:45
45m
Talk
Who is to Blame? - Runtime Verification of Distributed Objects with Active MonitorsKeynote
VORTEX
K: Wolfgang Ahrendt Chalmers University of Technology