The workshop takes place at Inria main building (2 rue Simone Iff) in the room JJ Lions. The main desk will indicate the way to the room.
8:40 Arrival (allow time to sign in to Inria)
9:00 Session 1 (brief intro + 4 talks)
Real-Time Communication over Low-Power Wide-Area Network (slides)
Abusayeed Saifullah
From Java to Real-Time Java: A Model-Driven Methodology with Automated Toolchain (slides)
Wanli Chang, Shuai Zhao, Ran Wei, Andy Wellings, Alan Burns
System-wide power management for real-time systems (slides)
Roberto Medina and Liliana Cucu-Grosjean
Can the RUN scheduling algorithm go beyond Periodic Task Models? (slides)
George Lima
10:30 Coffee and Cake break
11:00 Session 2 (3 talks)
Towards an Automated, Efficient, and Accurate Schedulability Analysis for Real-Time Cyber-Physical Systems (slides)
Mitra Nastri
On verification and synthesis of time-delay systems (slides)
Naijun Zhan
Probabilistic Analysis
Thomas Nolte
12:00 Coffee break
12:30 Session 3 (3 talks)
Can we synthesize resource allocation policies from examples?
Sathish Gopalakrishnan and Theepan Moorthy
On the verification of autonomous systems and the role of real-time research (slides)
Bjorn Andersson and Dionisio de Niz
Open and collaborative classification of RTSS papers (slides)
Enrico Bini
13:30 Lunch
15:00 Session 4 (3 talks)
A Multi-Dimensional Adaptive Variable Rate Task Model and Its Potential Role in Reducing Resource Utilization of Embedded Systems (slides)
Tam Chantem and Nathan Fisher
Programming language support for timing to enable the confident building of time-sensitive CPS (slides)
Aviral Shrivastava
Micro-Architectural Attacks on Cyber-Physical Systems (slides)
Heechul Yun
16:00 Coffee break
16:30 Session 5 (3 talks + brief wrap-up)
On beyond time: managing cyber-physical inter-dependence and interference of real-time tasks (slides)
Chris Gill
Open Problem Space for Real-Time CPS Software Engineering Research
Qixin Wang
Computing Request/Demand Bound Functions for Task Automata (slides)
Nan Guan
17:40 Approx. finish.
