COEMS workshop @ HiPEAC, Valencia, 21. Jan. 2019

Call for Participation

Continuous Observation of Embedded Multicore Systems (COEMS)
@ HiPEAC Conference, Valencia, January 21, 2019

Dear HiPEAC colleagues,

We warmly invite you to participate in the project workshop COEMS ( Within the COEMS (Continuous Observation of Embedded Multicore Systems) project a novel platform for online monitoring of multicore systems is developed. It is targeting to provide insight into the system’s behaviour without affecting it. This insight is crucial to detect non-deterministic failures as for example caused by race conditions and access to inconsistent data.

The workshop is presenting the current state of project findings and developments. Several talks from members of the project consortium as well as external presentations will form the basis for fruitful discussions. Attendees from communities like embedded systems design, runtime verification, parallel systems and any other related topic are highly welcome.

HiPEAC-website: (early registration: 24. Dec.!)

Preliminary agenda:

14:00 Welcome (Sascha Uhrig, Airbus)
14:05 COEMS Project Overview (Martin Leucker, University of Lübeck, Germany)
14:25 Specifying analysis queries in COEMS (Daniel Thoma, Martin Leucker, University of Lübeck , Germany)
14:50 Data Race Detection with COEMS Tools (Svetlana Jaksic, Høgskulen på Vestlandet, Norway)
15:15 Hardware-Based Nonintrusive Continuous Observation – Bits and Bytes in behind (Alexander Weiss, Accemic, Germany)
16:00 Coffee Break
16:30 Advances in SW based tracing in the railway domain (Peter Tummeltshammer, Thales, Austria)
16:55 Stream Runtime Verification Revisited (Cesar Sanchez, IMDEA Software Institute, Spain)
17:20 Real-time Monitoring for Correctness and Robustness (Stefan Jaksic, Austrian Institute of Technology, Austria)
17:45 Conclusion, end of workshop

Best regards and see you in Valencia
Sascha Uhrig
(on behalf of the COEMS project consortium)