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
Abusayeed Saifullah
From Java to Real-Time Java: A Model-Driven Methodology with Automated Toolchain
Wanli Chang, Shuai Zhao, Ran Wei, Andy Wellings, Alan Burns
System-wide power management for real-time systems
Roberto Medina and Liliana Cucu-Grosjean
Can the RUN scheduling algorithm go beyond Periodic Task Models?
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
Mitra Nastri
On verification and synthesis of time-delay systems
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
Bjorn Andersson and Dionisio de Niz
Open and collaborative classification of RTSS papers
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
Tam Chantem and Nathan Fisher
Programming language support for timing to enable the confident building of time-sensitive CPS
Aviral Shrivastava
Micro-Architectural Attacks on Cyber-Physical Systems
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
Chris Gill
Open Problem Space for Real-Time CPS Software Engineering Research
Qixin Wang
Computing Request/Demand Bound Functions for Task Automata
Nan Guan
17:40 Approx. finish.
