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.

Comments are closed.