Programme (en)

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.

Les commentaires sont clos.