Safety-Critical, Dependable, and Fault-Tolerant Cyber-Physical Systems

2018 ◽  
pp. 54-78
Author(s):  
Guru Prasad Bhandari ◽  
Ratneshwer Gupta
Keyword(s):  
Fault Tolerance ◽  
Fault Tolerant ◽  
Cyber Physical Systems ◽  
General Information ◽  
The Internet ◽  
Physical Systems ◽  
Safety Critical ◽  
Computer Based

Cyber-physical systems (CPSs) are co-engineered integrating with physical and computational components networks. Additionally, a CPS is a mechanism controlled or monitored by computer-based algorithms, tightly interacting with the internet and its users. This chapter presents the definitions relating to dependability, safety-critical and fault-tolerance of CPSs. These definitions are supplemented by other definitions like reliability, availability, safety, maintainability, integrity. Threats to dependability and security like faults, errors, failures are also discussed. Taxonomy of different faults and attacks in CPSs are also presented in this chapter. The main objective of this chapter is to give the general information about secure CPS to the learners for the further enhancement in the field of CPSs.

MSYNC: A Generalized Formal Design Pattern for Virtually Synchronous Multirate Cyber-physical Systems

2021 ◽  
Vol 20 (5s) ◽  
pp. 1-26
Author(s):  
Kyungmin Bae ◽  
Peter Csaba Ölveczky
Keyword(s):  
Distributed Control ◽  
Design Pattern ◽  
Design Patterns ◽  
Fault Tolerant ◽  
Cyber Physical Systems ◽  
Distributed Control System ◽  
Physical Systems ◽  
Formal Design ◽  
Special Case

TTA and PALS are two prominent formal design patterns—with different strengths and weaknesses—for virtually synchronous distributed cyber-physical systems (CPSs). They greatly simplify the design and verification of such systems by allowing us to design and verify their underlying synchronous designs. In this paper we introduce and verify MSYNC as a formal design (and verification) pattern/synchronizer for hierarchical multirate CPSs that generalizes, and combines the advantages of, both TTA and (single-rate and multirate) PALS. We also define an extension of TTA to multirate CPSs as a special case. We show that MSYNC outperforms both TTA and PALS in terms of allowing shorter periods, and illustrate the MSYNC design and verification approach with a case study on a fault-tolerant distributed control system for turning an airplane.

Research on secure control and communication for cyber-physical systems under cyber-attacks

2019 ◽  
Vol 41 (12) ◽  
pp. 3421-3437 ◽  
Author(s):  
Wei Li ◽  
Yahong Shi ◽  
Yajie Li
Keyword(s):  
Active Fault ◽  
Fault Tolerant ◽  
Discrete Event ◽  
Cyber Physical Systems ◽  
Delay System ◽  
Cyber Attacks ◽  
Linear Matrix ◽  
Actuator Faults ◽  
Physical Systems ◽  
Secure Control

This paper investigates the co-design problem of secure control and communication quality for cyber-physical systems (CPSs) to solve unavoidable problems, in which both actuator faults and cyber-attacks occur in practical implementations of CPSs. Firstly, based on the discrete event-triggered communication scheme (DETCS), a system framework for active fault-tolerant and passive attack-tolerant control is proposed. Then, a model of a closed-loop CPS is established that integrates a triggering condition, actuator faults and cyber-attacks into a single uniform framework. Secondly, using the partition and definition of different delay functions, the appropriate Lyapunov functions are constructed based on the time-delay system theory, and design methods for a robust observer with passive attack tolerance for estimation of the state and fault, and an active fault-tolerant and passive attack-tolerant controller are developed in terms of linear matrix inequality. In this way, the co-design goal involving active fault tolerant control, passive attack-tolerant control and the communication network is achieved. Finally, a simulation experiment of a quadruple-tank is carried out to demonstrate the effectiveness of the proposed method.

Sign in / Sign up

Export Citation Format

Share Document