TACLe Summer School 2014
TACLe Summer School 2014 27 June - 2 July 2014 Venice, Italy Organized by the TACLe Cost Action, on the theme; principles, needs and challenges of timing analysis at code level Students
Instructors
Schedule and Contents of the School |
||||||
Friday | Saturday | Sunday | Monday | Tuesday | Wednesday | |
Morning 1 |
Arrivals on site![]() |
Topic 1 (lab work) Low-level analysis ![]() |
Free time![]() |
Topic 3, the hardware level (theory) Time-predictable computer architecture Martin Schoeberl Technical University of Denmark |
Topic 3 (theory) Time-predictable computer architecture ![]() |
Exam for topic 1 (public session with open discussion)![]() |
Morning 2 |
The venue's interior![]() |
Topic 2 (lab work)![]() |
Free time![]() |
Topic 4, the software level (theory) Time-composable software for compositional schedulability analysis Tullio Vardanega University of Padova, Italy |
Topic 4 (theory)![]() |
Exam for topic 2 (public session with open discussion)![]() |
Lunch break |
Meet the organizer![]() |
![]() |
![]() |
![]() |
![]() |
Exam for topic 3 (public session with open discussion)![]() |
Afternoon 1 |
Topic 1, the analysis level (theory) Low-level analysis Reinhard Wilhelm Universitat des Saarlandes, Germany |
Topic 1 (theory) Flow analysis Bjorn Lisper Malardalens Hogskola, Sweden ![]() |
Topic 1 (lab work) Flow analysis ![]() |
Topic 3 (lab work) Time-predictable computer architecture ![]() |
Topic 3 (lab work) Time-predictable computer architecture ![]() |
Exam for topic 4 (public session with open discussion)![]() |
Afternoon 2 |
Topic 2, the compiler level (theory) WCET-aware compilation and optimization Heiko Falk Ulm University, Germany |
Topic 2 (theory) WCET-aware compilation and optimization ![]() |
Topic 2 (workshop) WCET-aware compilation and optimization ![]() |
Topic 4 (lab work) Time-composable software for compositional schedulability analysis ![]() |
Topic 4 (lab work) Time-composable software for compositional schedulabilty analysis ![]() |
![]() |
Sightseeing |
![]() |
![]() |
![]() |
![]() |
![]() |
Close and goodbye![]() |