|Carabelli, Ben William; Dürr, Frank; Rothermel, Kurt: SCRaM -- State-Consistent Replication Management for Networked Control Systems.
In: 11th IEEE/ACM International Conference on Cyber-Physical Systems (ICCPS).
University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology.
Sydney, NSW, Australia: IEEE, April 2020.
Article in Proceedings (Conference Paper).
|C.2.4 (Distributed Systems)
C.4 (Performance of Systems)
Networked control systems (NCS) consist of sensors and actuators that are connected to a controller through a packet-switched network in a feedback loop to control physical systems in diverse application areas such as industry, automotive, or power infrastructure. The control of critical real-time systems places strong requirements on the latency and reliability of both the communication network and the controller. In this paper, we consider the problem of increasing the reliability of an NCS subject to crash failures and message loss by replicating the controller component. Previous replication schemes for real-time systems have focused on ensuring that no conflicting values are sent to the actuators by different replicas. Since this property, which we call output consistency, only refers to the values within one time step, it is insufficient for reasoning about the formal conditions under which a group of replicated controllers behaves equivalent to a non-replicated controller. Therefore, we propose the stronger state consistency property, which ensures that the sequence of values produced by the replicated controller exhibits the same dynamical behaviour as a non-replicated controller. Moreover, we present SCRaM, a protocol for replicating generic periodically sampled controllers that satisfies both of these consistency requirements. To demonstrate the effectiveness of our approach, we evaluated it experimentally for the control of a cart-driven inverted pendulum.
|Full text and
|PDF (175614 Bytes)
|© 2020 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.
|Ben Carabelli firstname.lastname@example.org
|University of Stuttgart, Institute of Parallel and Distributed Systems, Distributed Systems
|January 8, 2020