{"id":70,"date":"2019-07-12T10:34:59","date_gmt":"2019-07-12T08:34:59","guid":{"rendered":"https:\/\/project.inria.fr\/rtsops2019\/?page_id=70"},"modified":"2019-08-14T11:11:28","modified_gmt":"2019-08-14T09:11:28","slug":"preliminary-program","status":"publish","type":"page","link":"https:\/\/project.inria.fr\/rtsops2019\/fr\/preliminary-program\/","title":{"rendered":"Programme (en)"},"content":{"rendered":"

8:40 Arrival (allow time to sign in to Inria) <\/strong><\/p>\n

9:00 Session 1 (brief intro + 4 talks) <\/strong><\/p>\n

\u00a0<\/strong><\/p>\n

Real-Time Communication over Low-Power Wide-Area Network<\/p>\n

Abusayeed Saifullah<\/em><\/p>\n

\u00a0<\/em><\/p>\n

From Java to Real-Time Java: A Model-Driven Methodology with Automated Toolchain<\/p>\n

Wanli Chang, Shuai Zhao, Ran Wei, Andy Wellings, Alan Burns<\/em><\/p>\n

 <\/p>\n

System-wide power management for real-time systems<\/p>\n

Roberto Medina and Liliana Cucu-Grosjean<\/em><\/p>\n

\u00a0<\/strong><\/p>\n

\u00a0<\/strong>Can the RUN scheduling algorithm go beyond Periodic Task Models?<\/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><\/p>\n

Towards an Automated, Efficient, and Accurate Schedulability Analysis for Real-Time Cyber-Physical Systems<\/p>\n

Mitra Nastri<\/em><\/p>\n

\u00a0<\/strong><\/p>\n

On verification and synthesis of time-delay systems<\/p>\n

Naijun Zhan<\/em><\/p>\n

\u00a0<\/strong><\/p>\n

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

 <\/p>\n

Can we synthesize resource allocation policies from examples?<\/p>\n

Sathish Gopalakrishnan and Theepan Moorthy<\/em><\/p>\n

 <\/p>\n

On the verification of autonomous systems and the role of real-time research<\/p>\n

Bjorn Andersson and Dionisio de Niz<\/em><\/p>\n

\u00a0<\/strong><\/p>\n

Open and collaborative classification of RTSS papers<\/p>\n

Enrico Bini<\/em><\/p>\n

\u00a0<\/strong><\/p>\n

13:30 Lunch<\/strong><\/p>\n

15:00 Session 4 (3 talks)<\/strong><\/p>\n

\u00a0<\/strong><\/p>\n

A Multi-Dimensional Adaptive Variable Rate Task Model and Its Potential Role in Reducing Resource Utilization of Embedded Systems<\/p>\n

Tam Chantem and Nathan Fisher <\/em><\/p>\n

\u00a0<\/strong><\/p>\n

Programming language support for timing to enable the confident building of time-sensitive CPS<\/p>\n

Aviral Shrivastava<\/em><\/p>\n

\u00a0<\/strong><\/p>\n

Micro-Architectural Attacks on Cyber-Physical Systems<\/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><\/p>\n

On beyond time: managing cyber-physical inter-dependence and interference of real-time tasks<\/p>\n

Chris Gill<\/em><\/p>\n

\u00a0<\/strong><\/p>\n

Open Problem Space for Real-Time CPS Software Engineering Research<\/p>\n

Qixin Wang<\/em><\/p>\n

\u00a0<\/strong><\/p>\n

Computing Request\/Demand Bound Functions for Task Automata<\/p>\n

Nan Guan<\/em><\/p>\n

\u00a0<\/strong><\/p>\n

17:40 Approx. finish.<\/strong><\/p>","protected":false},"excerpt":{"rendered":"

8:40 Arrival (allow time to sign in to Inria) 9:00 Session 1 (brief intro + 4 talks) \u00a0 Real-Time Communication over Low-Power Wide-Area Network Abusayeed Saifullah \u00a0 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\u2026<\/p>\n

Continue reading<\/span><\/i><\/a> <\/p>\n","protected":false},"author":1641,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":"","_members_access_role":[],"_members_access_error":""},"class_list":["post-70","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/project.inria.fr\/rtsops2019\/fr\/wp-json\/wp\/v2\/pages\/70","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/project.inria.fr\/rtsops2019\/fr\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/project.inria.fr\/rtsops2019\/fr\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/project.inria.fr\/rtsops2019\/fr\/wp-json\/wp\/v2\/users\/1641"}],"replies":[{"embeddable":true,"href":"https:\/\/project.inria.fr\/rtsops2019\/fr\/wp-json\/wp\/v2\/comments?post=70"}],"version-history":[{"count":16,"href":"https:\/\/project.inria.fr\/rtsops2019\/fr\/wp-json\/wp\/v2\/pages\/70\/revisions"}],"predecessor-version":[{"id":113,"href":"https:\/\/project.inria.fr\/rtsops2019\/fr\/wp-json\/wp\/v2\/pages\/70\/revisions\/113"}],"wp:attachment":[{"href":"https:\/\/project.inria.fr\/rtsops2019\/fr\/wp-json\/wp\/v2\/media?parent=70"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}