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.
Program:
- 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 https://www.tessla.io
- 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