Program at a Glance

08:30-09:30 Welcome Registration - Entrance Hall
09:30-10:00 Opening Session: Welcomings: from the director of ENSMA/region, PC chairs + General chairs - Room A102
10:00-10:50 Session: "Real-time scheduling" - Room A102
10:50-11:20 Coffee Break
11:20-12:35 Session: "Network 1: wireless communications and clock synchronization" - Room A102
12:35-14:00 Lunch Break - Alteora Hotel
14:00-15:15 Session: "Task modeling and formal methods" - Room B140
15:15-15:45 Coffee Break
15:45-17:00 Session: "Frameworks for designing and validating real-time systems" - Room A102
17:00-18:00 12th Junior Researcher Workshop on Real-Time Computing - Room A102
18:00-20:15 Historic Tour of Poitiers
20:15-22:15 Welcome dinner - Plaza Hotel
22:15-02:00 Board Games - Plaza Hotel
08:30-09:30 Welcome Registration - Entrance Hall
09:30-10:30 Keynote: “Normally-off“ computing for Smart systems - Room A102
10:30-11:00 Coffee Break
11:00-12:15 Session "Timing analysis" - Room A102
12:15-13:45 Lunch Break - Alteora Hotel
13:45-15:00 Session "Mixed-criticality scheduling" - Room A102
15:00-15:30 Coffee Break
15:30-16:20 Session: "Multi/many-core interprocess communications" - Room A102
16:45-20:45 Guided Visit of Futuroscope
20:45-22:30 Conference dinner, Restaurant within Futuroscope
09:00-10:15 Session "Network 2: timing analysis in switched Ethernet" - Room B140
10:15-10:45 Coffee Break
10:45-12:00 Session "Application-oriented scheduling models" - Room B140
12:00-12:15 Best Presentation Award
12:15 Lunch Break - ISAE-ENSMA

Papers

Date: Wednesday, October 10 from 10:00 to 10:50

Room: A102

Session Chair: Julien Forget

  1. Tardiness Bounds for Fixed-Priority Global Scheduling without Intra-Task Precedence Constraints (outstanding paper) - slides by Sergey Voronov, Jim Anderson and Kecheng Yan
  2. On Budgeting and Quality, with an Application to Safety-Critical Real-time Systems - slides by Bader Alahmad and Sathish Gopalakrishnan

Date: Wednesday, October 10 from 11:20 to 12:35

Room: A102

Session Chair: Jean-Luc Scharbarg

  1. Dynamic Wireless Network Reconfiguration for Control System: Nuclear Reactor Case Study (outstanding paper) - slides by Wenchen Wang, Daniel Mosse, Daniel Cole and Jason Pickel
  2. WiseTOP – a multimode MAC protocol for wireless implanted devices - slides by Lorenzo Bergamini, Jean-Dominique Decotignie and Philippe Dallemagne
  3. Hardware Assisted Clock Synchronization with the IEEE 1588-2008 Precision Time Protocol - slides by Eleftherios Kyriakakis, Jens Sparsø and Martin Schoeberl

Date: Wednesday, October 10 from 14:00 to 15:15

Room: B140

Session Chair: Liliana Cucu-Grosjean

  1. Elasticity of Computational Workloads in Parallel Real-Time Tasks - slides by James Orr, Chris Gill, Kunal Agrawal, Sanjoy Baruah, Phyllis Ang, Christian Cianfarani and Christopher Wong
  2. A Generalized Digraph Model for Expressing Dependencies - slides by Pascal Fradet, Xiaojie Guo, Jean-François Monin and Sophie Quinton
  3. Formal approach for a verified implementation of Global EDF in Trampoline - slides by Khaoula Boukir, Jean-Luc Bechennec and Anne-Marie Deplanche

Date: Wednesday, October 10 from 15:45 to 17:00

Room: A102

Session Chair: Sébastien Faucou

  1. Data Propagation Delay Constraints in Multi-Rate Systems – Deadlines vs. Job-Level Dependencies (part 1) (part 2) - slides by Tobias Klaus, Florian Franzmann, Matthias Becker and Peter Ulbrich
  2. Automated generation of time-predictable multi-core hardware executables on multi-core - slides by Claire Pagetti, Julien Forget, Heiko Falk, Dominic Oehlert and Arno Luppold
  3. TACO: An industrial case study of Test Automation for COverage - slides by Benjamin Lesage, Iain Bate and Stephen Law

Date: Thursday, October 11 from 11:00 to 12:15

Room: A102

Session Chair: Antoine Bertout

  1. Trading Between Intra- and Inter-Task Cache Interference to Improve Schedulability - slides by Syed Aftab Rashid, Geoffrey Nelissen and Eduardo Tovar
  2. Analysing Real-Time Behaviour of Collective Communication Patterns in MPI - slides by Alexander Stegmeier, Martin Frieb, Jörg Mische and Theo Ungerer
  3. Energy-Efficient Memory Mappings based on Partial WCET Analysis and Variable Retention-Time NVMs - slides by Rabab Bouziane, Erven Rohou and Abdoulaye Gamatie

Date: Thursday, October 11 from 13:45 to 15:00

Room: A102

Session Chair: Joël Goossens

  1. Graceful Degradation of Low-Criticality Tasks in Multiprocessor Dual-Criticality Systems - slides by Lin Huang, I-Hong Hou, Sachin Sapatnekar and Jiang Hu
  2. On Bounding Execution Demand under Mixed-Criticality EDF (outstanding paper) - slides by Mitra Mahdiani and Alejandro Masru
  3. Algorithmic Complexity of Correctness Testing in MC-Scheduling - slides by Rany Kahil, Dario Socci, Peter Poplavko and Saddek Bensalem

Date: Thursday, October 11 from 15:30 to 16:20

Room: A102

Session Chair: Benjamin Lesage

  1. Supporting I/O and IPC via Fine-Grained OS Isolation for Mixed-Criticality Real-Time Tasks (outstanding paper) - slides by Namhoon Kim, Stephen Tang, Nathan Otterness, James Anderson, F. Donelson Smith and Donald Porter
  2. Configurations and Optimizations of TDMA Schedules for Periodic Packet Communication on Networks on Chip - slides by Tim Harde, Matthias Freier, Georg von der Brüggen and Jian-Jia Chen

Date: Friday, October 12 from 09:30 to 10:15

Room: B140

Session Chair: Harini Ramaprasad

  1. WCTT analysis of avionics Switched Ethernet Network with WRR Scheduling - slides by Aakash Soni, Xiaoting Li, Jean-Luc Scharbarg and Christian Fraboul
  2. Timing analysis of AVB Ethernet network using the Forward end-to-end Delay Analysis - slides by Nassima Benammar, Frédéric Ridouard, Henri Bauer and Pascal Richard
  3. Message scheduling to reduce AFDX jitter in a mixed NoC/AFDX architecture - slides by Jérôme Ermont, Sandrine Mouysset, Jean-Luc Scharbarg and Christian Fraboul

Date: Friday, October 12 from 10:45 to 12:00

Room: B140

Session Chair: Claire Pagetti

  1. Architecture-Aware Mapping and Scheduling of IMA partitions on Multi-core platforms - slides by Aishwarya Vasu and Harini Ramaprasad
  2. Response Time Analysis for Fixed Priority Servers - slides by Arne Hamann, Dakshina Dasari, Jorge Martinez and Dirk Ziegenbein
  3. Throughput-Buffering Trade-Off Analysis for Scenario-Aware Dataflow Models - slides by Hadi Alizadeh Ara, Marc Geilen, Amir Behrouzian and Twan Basten

Social Events

When you arrive at ISAE-ENSMA, enter through the main entrance, then head to the registration table nearby where we will wait for you. We will provide you with a nametag and a conference bag including goodies. For the safety of everyone, please wear your nametag during the whole conference, and related events.

We will have a person at the registration table during the whole conference. Please feel free to contact any RTNS staff member for any question.

Coffee breaks will be served at the downstair of the building where the paper presentations take place. Coffee, tea, orange juice, french cake and pastries will be available during breaks.

Conference lunches will be served at the Alteora Hotel. The Alteora hotel is located 5 minutes walk from the ISAE-ENSMA school where the RTNS 2018 conference will take place. At the end of each last morning session (Wednesday at 12:35 and Thursday at 12:15), you will be accompanied by staff from the school hall to go in groups to the hotel lunch room.

Visit of the Roman Catholic church Notre-Dame-La-Grande, the Palace of the Counts of Poitou-Dukes of Aquitaine and their neighborhood.

Organisation:

  • 18:00-18:15: meeting point in the hall of the ISAE-ENSMA,
  • 18:15-18:45: travelling by bus to Poitiers,
  • 18:45-19:45: historic Tour of Poitiers,
  • 19:45-20:15: travelling back to the Welcome dinner.

A welcome dinner will be served at the Plaza Hotel (Wednesday at 20:15). The Plaza Hotel is located 3 minutes walk from the ISAE-ENSMA school (it is halfway between the school and the Alteora hotel).

After the dinner, in an adjacent room in the same hotel, a range of board games (hidden-identity, german-style, cooperative, etc.) will be available for participants to play.

Organizers may explain the rules if need be, or even participate if you are looking for additional players. At the same time, refreshments will be purchasable in the bar area (refreshments are not inclued in the RTNS fees).

The gala dinner will take place at a restaurant in the Futuroscope Park. You have to choice to be present at 16:45 in front of the main Entrance of the Futuroscope Park, or at 16:30 in the hall of the ISAE-ENSMA (conference venue) for a group walking. The Futuroscope park is located 15 minutes walk from the ISAE-ENSMA school.

Organisation:

  • 16:45: "meeting point" by the Futuroscope tour guides at the main entrance,
  • 17:00-18:00: guided visit of the Futuroscope,
  • 20:00-20:30: show of the Futuroscope park,
  • 20:45-22:30: conference dinner at Futuroscope,
  • 22:30- walk back to your hotels.

IMPORTANT: RTNS 2018 organizers have not planned any bus going to hotels located at the city-center of Poitiers.

The lunch of Friday (the last meal of conference) will be served at the ISAE-ENSMA school. We make available on booking a sandwich box served, at the end of the closing session, in the conference room.