Tools and Benchmarks for Real-Time Systems

Dear all,

please excuse the late upload of the slides presented at the WATERS'19 workshop. They are attached.
Note that slide 5 and 7 originally contained animations, so please excuse the slighly wrong layout.

Best regards,

Alexander Diewald

Dear all,

please find our approach to address the challenge in the attached pdf file.
Also, a big thanks to the organizers for all the efforts and provisioning the challenge.


Best regards,

Alexander Diewald, Simon Barner and Selma Saidi