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