Axo: Detection and Recovery for Delay and Crash Faults in Real-Time Control Systems - Inria EPFL Access content directly
Journal Articles IEEE Transactions on Industrial Informatics Year : 2018

Axo: Detection and Recovery for Delay and Crash Faults in Real-Time Control Systems

Abstract

Real-time control systems use controllers that compute and issue setpoints within stringent delay constraints. Failure to do so, due to a crash or delay as a result of software and/or hardware faults, can cause failure of the controlled resources. Recently, Axo, a protocol for masking crash and delay faults by replicating the controller, was proposed. Axo provides safety by discarding delayed setpoints, and it relies on the presence of valid setpoints for providing availability. To ensure that enough valid setpoints are issued, faulty controller replicas need to be detected and recovered. We present a mechanism for detection and recovery of delay- and crash-faulty replicas under the Axo framework. These mechanisms were designed to be soft state (i.e., their state can be reconstructed from received messages) to enable seamless additions of new replicas. Besides presenting the design, we analytically characterize the time to detect and recover a faulty replica, and we validate them experimentally. We demonstrate the performance of Axo by using two case studies: the first provides a stability analysis of an inverted pendulum system with Axo, and the second shows the fault-tolerance performance of Axo through a deployment on a real-time control system that controls a CIGRÉ low-voltage benchmark microgrid.
Fichier principal
Vignette du fichier
Axo_TII_preprint.pdf (650.37 Ko) Télécharger le fichier
Loading...

Dates and versions

hal-01846124 , version 1 (10-10-2018)

Identifiers

Cite

Maaz Mohiuddin, Wajeb Saab, Simon Bliudze, Jean-Yves Le Boudec. Axo: Detection and Recovery for Delay and Crash Faults in Real-Time Control Systems. IEEE Transactions on Industrial Informatics, 2018, 14 (7), pp.3065 - 3075. ⟨10.1109/TII.2017.2772219⟩. ⟨hal-01846124⟩
132 View
158 Download

Altmetric

Share

Gmail Facebook X LinkedIn More