What's the workshop about?

The 8th International Real-Time Scheduling Open Problems Seminar (RTSOPS 2017) provides a venue for the exchange of ideas and the discussion of interesting unsolved problems in real-time scheduling.

To promote a spirit of co-operation and collaboration within the real-time scheduling community, the seminar is organized around presentation and collaboration sessions. Each presentation session provides the opportunity to hear about a number of unsolved problems in real-time scheduling, highlighted via brief presentations. The following collaboration session gives participants the opportunity to interact in small groups, exchange ideas with the presenters, explore how the problems might be solved, and take the first steps towards a solution.

Authors of open problem submissions from previous years’ RTSOPS are invited to submit short status reports on progress made towards a solution to their open problem. This year’s seminar will include a session for presentation of such advances.

Abstracts may be submitted describing well-known but as yet unsolved problems. However, all abstracts should contain some element of original work that has not been published before; for example, a new problem, a new way of looking at an existing problem, new intuition or ideas on how a problem might be solved, possible frameworks for solutions, or overviews of special cases that may be useful in solving a problem. Abstracts describing progress on an open problem presented at previous RTSOPS meetings should include a brief statement of the open problem and a description of the technical advances made towards a solution. All the instructions for the authors can be found here.

Authors of accepted abstracts are expected to give a brief presentation of their open problem, and be prepared to work on the problem with other participants during the collaboration sessions.

The topics that we will discuss

Real-time scheduling theory has provided a foundation for understanding and solving resource allocation and scheduling problems in systems that have real-time constraints. New fundamental results are needed to address recent advances and trends in real-time systems design. RTSOPS encompasses all aspects that are relevant in the study of real-time scheduling.

RTSOPS 2017 invites extended abstracts of open problems in areas such as, but not limited to:

Program

8:30 Registrations open
9:00 Keynote: Robert Davis, University of York, UK
Title of the talk: "On the Meaning of probabilistic Worst-Case Execution Time (pWCET) Distributions and their use in Schedulability Analysis"

This talk discusses the different meanings attached to probabilistic Worst-Case Execution Time (pWCET) distributions derived from Static Probabilistic Timing Analysis (SPTA) and Measurement-Based Probabilistic Timing Analysis (MBPTA). These different meanings relate to aleatoric variability (randomness in the system and its environment) and epistemic uncertainty (lack of knowledge about the system) respectively. The different meanings have significant implications in terms of the valid use of pWCET distributions in probabilistic schedulability analysis.
Coffee break (10:00 - 10:30)
Session 1: Modeling (10:30 – 12:00)
10:30 Markov Chain Modeling of Probabilistic Real-Time Systems
Jasdeep Singh, Luca Santinelli, Guillaume Infantes, David Doose and Julien Brunel
10:45 A Mixed Criticality Approach for Industrial Smart Energy Management and Demand Response
Alemayehu Addisu, Laurent George, Hakim Badis and Pierre Courbin
11:00 Estimating Worst-Case Bounds for Open CPS Runtimes with Genetic Algorithms
Oliver Horst, Uwe Baumgarten and Christian Prehofer
11:15 Collaboration session 1
Lunch (12:00 – 13:30)
Session 2: Uniprocessor scheduling (13:30 - 15:00)
13:30 On the Existence of a Cyclic Schedule for Non-Preemptive Periodic Tasks with Release Offset
Mitra Nasri and Emmanuel Grolleau
13:45 Fixed Priority Scheduling of xy-tasks
Maksim Kavalerov
14:00 Scheduling Interactive HPC Applications
Vladimir Nikolov, Stefan Bonfert, Eugen Frasch and Franz J. Hauck
14:15 Increasing Fixed-Priority Schedulability using Non-Periodic Load Shapers
Mitra Nasri and Geoffrey Nelissen
14:30 Collaboration session 2
Coffee break (15:00 - 15:30)
Session 3: Multiprocessor Scheduling (15:30 - 17:00)
15:30 Need for Reservation Servers with Constrained Deadlines
Daniel Casini, Alessandro Biondi and Giorgio Buttazzo
15:45 A Problem of Time vs. Density Tradeoff in Multicore Fluid Scheduling
Kang-Wook Kim, Jeongyoon Eo and Chang-Gun Lee
16:00 Orthogonal to Multiprocessor Resource Sharing Protocols: How to Share?
Jian-Jia Chen
16:15 Collaboration session 3
End of the seminar - vote for the best paper award (17:00)