COEMS Workshop @ iFM 2019

Together with iFM 2019 in Bergen, Norway, we’ll hold a workshop on COEMS and its technologies.

Date: Tuesday, Dec. 3rd 2019

We will also present our work at a booth during the breaks of the iFM conference on Wednesday.


  • 9:00 Volker Stolz (HVL) & Martin Leucker: Welcome
  • 9:15-10:00 Martin Leucker (ISP, Uni Lübeck/DE, project coordinator): Overview
    • introduction to consortium
    • overview of avionics & railway use cases
  • 10:00-10:30 Coffee Break
  • 10:30-12:00 Daniel Thoma (ISP, Uni Lübeck/DE): The TeSSLa specification language
    • language & tools
    • online IDE
    • compilation to hardware/FPGA
    • control-flow tracing with COEMS
  • 12:00-12:30 Volker Stolz (HVL/NO): Dynamic data race detection with the COEMS tools
    • the ERASER algorithm encoded in TeSSLa
    • multicore baremetal example with Xilinx on ARM SoC
    • tracing Linux applications on ARM SoC
  • 12:30-14:00 Closing & Lunch break