2026-08-14T16:31:45Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:18043 2024-03-06T11:01:18Z ddc:004 open_access

Consensual Resilient Control: Stateless Recovery of Stateful Controllers Matovic, Aleksandar Graczyk, Rafal Lucchetti, Federico Völp, Marcus resilience control replication Safety-critical systems have to absorb accidental and malicious faults to obtain high mean-times-to-failures (MTTFs). Traditionally, this is achieved through re-execution or replication. However, both techniques come with significant overheads, in particular when cold-start effects are considered. Such effects occur after replicas resume from checkpoints or from their initial state. This work aims at improving on the performance of control-task replication by leveraging an inherent stability of many plants to tolerate occasional control-task deadline misses and suggests masking faults just with a detection quorum. To make this possible, we have to eliminate cold-start effects to allow replicas to rejuvenate during each control cycle. We do so, by systematically turning stateful controllers into instants that can be recovered in a stateless manner. We highlight the mechanisms behind this transformation, how it achieves consensual resilient control, and demonstrate on the example of an inverted pendulum how accidental and maliciously-induced faults can be absorbed, even if control tasks run in less predictable environments. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Aleksandar Matovic and Rafal Graczyk and Federico Lucchetti and Marcus Völp 2023 Is Part Of LIPIcs, Volume 262, 35th Euromicro Conference on Real-Time Systems (ECRTS 2023) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.ECRTS.2023.14 urn:nbn:de:0030-drops-180430 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECRTS.2023.14 eng https://creativecommons.org/licenses/by/4.0/legalcode