License: Creative Commons Attribution 4.0 International license (CC BY 4.0)
When quoting this document, please refer to the following
DOI: 10.4230/LIPIcs.ECRTS.2021.13
URN: urn:nbn:de:0030-drops-139449
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2021/13944/
Go to the corresponding LIPIcs Volume Portal


Fara, Pietro ; Serra, Gabriele ; Biondi, Alessandro ; Donnarumma, Ciro

Scheduling Replica Voting in Fixed-Priority Real-Time Systems

pdf-format:
LIPIcs-ECRTS-2021-13.pdf (0.9 MB)


Abstract

Reliability and safety are mandatory requirements for safety-critical embedded systems. The design of a fault-tolerant system is required in many fields (e.g., railway, automotive, avionics) and redundancy helps in achieving this goal. Redundant systems typically leverage voting techniques applied to the outputs produced by tasks to detect and even tolerate failures.
This paper studies the integration of distributed voting protocols in fixed-priority real-time systems from a scheduling perspective. It analyzes two scheduling strategies for implementing voting. One is attractive and friendly for software developers and based on suspending the task execution until the replica provides the data to be voted. The other one is inspired by the Logical Execution Time (LET) paradigm and requires introducing additional tasks in the system to accomplish voting-related activities. Queuing and delays introduced by inter-replica communication interfaces are also analyzed.
Experimental results are finally presented to compare the two strategies, showing that LET-inspired voting is much more predictable and hence more suitable than the other strategy for fixed-priority real-time systems.

BibTeX - Entry

@InProceedings{fara_et_al:LIPIcs.ECRTS.2021.13,
  author =	{Fara, Pietro and Serra, Gabriele and Biondi, Alessandro and Donnarumma, Ciro},
  title =	{{Scheduling Replica Voting in Fixed-Priority Real-Time Systems}},
  booktitle =	{33rd Euromicro Conference on Real-Time Systems (ECRTS 2021)},
  pages =	{13:1--13:21},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-192-4},
  ISSN =	{1868-8969},
  year =	{2021},
  volume =	{196},
  editor =	{Brandenburg, Bj\"{o}rn B.},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/opus/volltexte/2021/13944},
  URN =		{urn:nbn:de:0030-drops-139449},
  doi =		{10.4230/LIPIcs.ECRTS.2021.13},
  annote =	{Keywords: Real-time systems, safety-critical systems, voting, redundancy, fault-tolerance, logical execution time}
}

Keywords: Real-time systems, safety-critical systems, voting, redundancy, fault-tolerance, logical execution time
Collection: 33rd Euromicro Conference on Real-Time Systems (ECRTS 2021)
Issue Date: 2021
Date of publication: 30.06.2021


DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI