TACLe Project: TACLe January 2016 Meeting in Prague, January 21-22, 2016

on

Draft programme for Joint WG/MC meeting in Prague, Jan 21-22, 2016

Location: Czech Technical University, Karlovo náměstí 13, G building, Room 204

Local information:
http://industrialinformatics.cz/contact
https://cyber.felk.cvut.cz/department/contacts/

Public transportation info: http://www.myczechrepublic.com/prague/prague-airport-bus.html

Jan 21:

9:30-12:00 MC meeting

12:00-13:00 lunch

13:00-13:15 Björn intro

13:15-14:00 Announcements (SOME NOT CONFIRMED):
- call for contributions to WCET Workshop (someone to replace Martin)
- report from TACLeBench work (Heiko)
- announcement of Summer School (Tullio & Peter P)
- STSM promotion (someone to replace Isabelle)
- SQAMIA 2016 workshop announcement (Zoran)

Technical presentations (40 min each, including time for discussion):
14:00-14:40 Zdenek Hanzalek: presentation of research at Czech Technical University
- 14:40-15:20 Yorick De Bock "Using the TACLeBench Benchmark suite for Schedulability Analysis in a Real-Time Hierarchical Scheduling Structure”

15:20-15:50 coffee break

Technical presentations (40 min each):
- 15:50-16:30 Dimitri Fedrau "Lessons learned from combining transactional memory contention management with OS and user-space scheduling for determinstic execution"
- 16:30-17:10 M'Sirdi Soukayna "a multi-core interference-aware scheduling test for real-time systems, as a guide for SW/HW integration"
- 17:10-17:50 Enrico Mezzetti "measurement-based probabilistic timing analysis"

Jan 22:

09:10-10:30 Technical presentations (40 min each):
- Pedro Lopez-Garcia "Energy Consumption Verification via Abstract Interpretation"
- Wolfgang Puffitsch "WCET Analysis of Global Branch Predictors"
10:30-11:00 coffee break
11:00-12:00 Discussion "Life after TACLe"
12:00-13:00 lunch