This page provides an overview of the activities related to the RETINA project produced by the consortium.

 

Dissemination

Poster

Presented at: HiPEAC 2018
Date: 22-24 January
Location: Manchester, United Kingdom

 

Peer-reviewed publications

Partner: SSSA
Date: 19-21 October 2016
Alessandro Biondi, Giorgio Buttazzo and Marko Bertogna, "Partitioning and Interface Synthesis in Hierarchical Multiprocessor Real-Time Systems", In Proceedings of the 24th International Conference on Real-Time Networks and Systems (RTNS 2016) [Best Student Paper Award]
Location: Brest, France

 

Partner: SSSA
Date: 24-26 April 2017
Tommaso Cucinotta, Mauro Marinoni, Alessandra Melani, Andrea Parri, Carlo Vitucci, "Temporal Isolation Among LTE/5G Network Functions by Real-time Scheduling", In Proceedings of the 7th IEEE International Conference on Cloud Computing and Services Science (CLOSER 2017)
Location: Porto, Portugal

 

Partner: UL
Date: 27 June 2017
Dorin Maxim and Antoine Bertout, "Analysis and Simulation Tools for Probabilistic Real-Time Systems", In Proceedings of the 8th International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS)
Location: Dubrovnik, Kroatia

 

Partner: UL
Date: 4-6 October, 2017
Dorin Maxim and Ye-Qiong Song, "Delay Analysis of AVB traffic in Time-Sensitive Networks (TSN)", In Proceedings of the 25th International Conference on Real-Time Networks and Systems (RTNS 2017)
Location: Grenoble, France

 

Partner: SSSA
Date: 4-6 October, 2017
Daniel Casini, Luca Abeni, Alessandro Biondi, Tommaso Cucinotta, and Giorgio Buttazzo, "Constant Bandwidth Servers with Constrained Deadlines", In Proceedings of the 25th International Conference on Real-Time Networks and Systems (RTNS 2017)
Location: Grenoble, France

 

Partner: Viktoria
Date: 1-2 November 2017
Hoai Hoang Bengtsson, Dorin Maxim, Ye-Qiong Song, and Samuel Sigfridsson, "Reliable Real-time Ethernet communication for Advanced Safety applications in Automotive", In Proceedings of the 2017 IEEE Standards Association (IEEE-SA) Ethernet & IP @ Automotive Technology Day
Location: San Jose, CA, USA

 

Partner: SSSA and EVI
Date: 27 February - 1 March, 2018
Alessandro Biondi, Giorgio Buttazzo, Paolo Gai, Mauro Marinoni, and Claudio Scordino, "Challenges in Virtualizing Safety-Critical Cyber-Physical Systems", In Proceedings of the Embedded World Conference 2018
Location: Nuremberg, Germany

 

Partner: SSSA and EVI
Date: 9-13 April, 2018
Claudio Scordino, Luca Abeni, Juri Lelli, "Energy-Aware Real-Time Scheduling in the Linux Kernel", In Proceedings of the 33rd ACM/SIGAPP Symposium On Applied Computing (SAC)
Location: Pau, France

 

Partner: SSSA
Date: April 2018
Tommaso Cucinotta, Luca Abeni, Juri Lelli, Giuseppe Lipari, "Improving Responsiveness of Time-Sensitive Applications by Exploiting Dynamic Task Dependencies," Software: Practice and Experience, Vol. 48, Issue 4

 

Partner: SSSA
Date: 22-26 April 2018
Mauro Marinoni, Tommaso Cucinotta, Luca Abeni, and Carlo Vitucci, "Allocation and Control of Computing Resources for Real-time Virtual Network Functions", Proceedings of the 17th International Conference on Networks (ICN 2018)
Location: Athens, Greece

 

Partner: EVIDENCE
Date: 28-31 August 2018
Sebastian Altmeyer, Reinder J. Bril, and Paolo Gai, “EMPRESS: an Efficient and effective Method for PREdictable Stack Sharing”, Proceedings of the 24th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2018)
Location: Hakodate, Japan

 

Partner: SSSA
Date: 11-14 December 2018
Daniel Casini, Alessandro Biondi, Geoffrey Nelissen, and Giorgio Buttazzo, "Memory Feasibility Analysis of Parallel Tasks Running on Scratchpad-Based Architectures", In Proceedings of the 39th IEEE Real-Time Systems Symposium (RTSS 2018)
Location: Nashville, TN, USA

 

Partner: SSSA
Date: 11-14 December 2018
Daniel Casini, Alessandro Biondi, Geoffrey Nelissen, and Giorgio Buttazzo, "Partitioned Fixed-Priority Scheduling of Parallel Tasks Without Preemptions", In Proceedings of the 39th IEEE Real-Time Systems Symposium (RTSS 2018)
Location: Nashville, TN, USA

 

Partner: SSSA
Date: 11-14 December 2018
Geoffrey Nelissen and Alessandro Biondi, "The SRP Resource Sharing Protocol for Self-Suspending Tasks", In Proceedings of the 39th IEEE Real-Time Systems Symposium (RTSS 2018)
Location: Nashville, TN, USA

 

Public Presentations

Partner: Viktoria
Data: 4 April 2017
Event: RISE Sweden data-science
Location: Sweden

 

Partner: Viktoria
Data: 16 May 2017
Event: Ericsson Research Open Day - Shaping the Future
Location: Krista, Sweden

 

Partners: TCN
Data: May 2017
Event: Vehicle Electronics & Connected Services conference
Location: Gothenburg, Sweden

 

Partners: TCN
Data: June 2017
Event: Thales event
Location: Paris, France

 

Partners: SSSA
Data: 7-8 September 2017
Event: Italian Workshop on Embedded Systems
Location: Rome, Italy

 

Partners: SSSA
Data: 15 September 2017
Event: Jotto Fair
Location: Pisa, Italy

 

Partners: Evidence and ...
Data: 22-24 January 2018
Event: 13th HiPEAC conference
Location: ReTiS Lab, Pisa, Italy

 

Partners: Evidence
Data: 27 February - 01 March 2018
Event: Embedded World 2018
Location: Manchester, UK

 

Partners: SSSA
Data: 15 July 2018
Event: 1st International Workshop on Real Time compliant Multi-Agent Systems (RTcMAS)
Location: Stockholm, Sweden

 

Partners: Alkit
Data: 19 September 2018
Event: 1st International Workshop on Safety, securiTy, and pRivacy In automotiVe systEms (STRIVE 2018) - Keynote speech
Location: Västerås, Sweden

 

Organized Events

Partner: SSSA, EVI
Data: 19-20 September 2016
Event: Italian Workshop on Embedded Systems (website)
Location: ReTiS Lab, Pisa, Italy

 

Partner: SSSA, EVI
Data: 3-4 April 2017
Event: 1st OSPM Summit - Power Management and Scheduling in the Linux Kernel (website)
Location: ReTiS Lab, Pisa, Italy

 

Partner: All
Data: 11 April 2017
Event: Industrial Advisory Board Meeting
Location: ReTiS Lab, Pisa, Italy 

 

Partner: TCN
Data: June 2017
Event: Industrial Advisory Board Meeting for Sweden
Location: [location], Sweden

 

Partner: SSSA, EVI
Data: 16-18 April 2018
Event: 2nd OSPM Summit - Power Management and Scheduling in the Linux Kernel (website)
Location: ReTiS Lab, Pisa, Italy

 

Public products

Design and analysis tools

The design and analysis techniques presented in Deliverable 4.3 (Analysis Methods and Tools) have been implemented in some software tools, that are released in a preliminary version (alpha-quality software). The tools, that are released under an open-source license (the GNU Public License, version 3 or above) and are downloadable from the RETINA project website are described in the following.

The Partitioning Tools

These programs, contained in the “PartitioningTools” directory, support the design techniques presented in Section 4 (Guest Partitioning). In particular:

  • The “partitioner” program receives as input a description of a real-time task set (a text file containing a line per task, describing WCET, relative deadline, and minimum inter-arrival time for each task) and the number of virtual CPUs, generating a partition of the tasks on the virtual CPUs as output. It works by solving the MILP problem described in Section 4.1, using the CPLEX libraries.
  • The “designer” tool receives as input the description of a task set and generates a (Q,P) pair that can correctly schedule the task set without missing deadlines. The program implements the branch-and-bound algorithm described in Section 4.2, minimizing the CPU bandwidth of the generated server (and returning the server with the maximum period).
  • The “main” tool integrates the two previously described programs Using these programs, it is possible to find “optimal set of servers” for scheduling a real-time task set inside a guest RTOS (when using KVM and SCHED_DEADLINE, these are the SCHED_DEADLINE parameters for the vCPU threads). See the “Experiments/HostScripts/do_part.sh” script for an example of how to use these programs.

The CSF Tools

These programs, contained in the “CSF-Analysis” directory, implement the traditional time-demand analysis and Compositional Scheduling Framework (CSF) analysis from real-time literature. These tools are useful only for designing and analyzing VMs with one single virtual CPU, and they have been developed for running some comparisons with the “PartitioningTools” and to validate them.

Multi-Processor Analysis Tools

These programs, contained in the “MP-Analysis” directory, implement some well-known schedulability tests for global scheduling algorithms, from real-time literature. They are mainly useful for non-hierarchical scheduling (no hypervisors, or partitioning hypervisors).

MPR Analysis Tools

These programs, contained in the “MPR-Analysis” directory, implement the schedulability analysis (and design) for the MultiProcessor Resource model (MPR), from real-time literature. MPR assumes global scheduling in the guest, so it can be subject to some issues as highlighted in D4,3. This program is mainly used for comparison with the proposed partitioned approach.

Scripts to Start KVM-Based Virtual Machines

These shell scripts, contained in the “Scripts” directory, are used to start KVM-based virtual machines and to schedule their vCPU threads with fixed priorities or with SCHED_DEADLINE. The scripts use the standard “chrt” program to schedule vCPU threads with fixed priorities, and the “chdl” program (from the “chdl”) directory to schedule vCPU threads with SCHED_DEADLINE.

Response-Time Analysis Tools

This program, contained in the “RespTimes” directory, can be used to compute the worst-case response time of a real-time task executed in a VM when the guest scheduler is based on fixed priorities (SCHED_FIFO or SCHED_RR) and the host scheduler is based on CPU reservations (SCHED_DEADLINE). The program receives as input a description of the guest task set, and the host scheduling parameters (runtime and period).

Scripts to Run Experiments

The “Experiments” directory contains some scripts to start experiments with random real-time task sets (composed of periodic tasks), KVM-based virtual machines, the proposed partitioning strategy, and SCHED_DEADLINE. The scripts create a minimal Linux-based OS (containing all the programs and scripts needed for the experiment) and run it in the desired VM as an initramfs.

SCHED_DEADLINE Tool

The “chdl” program, from the “chdl” directory, can be used to schedule an existing process or thread with SCHED_DEADLINE. The program receives as arguments the pid (or tid) of the process (or thread), the SCHED_DEADLINE runtime (in microseconds) and the SCHED_DEADLINE period (in microseconds).

 

© 2016-2018 Copyright in all of the above documents and any related software remains vested in the RETINA Project Partners