A Reliable Workflow for Cyber-Physical System Components Substitution

Reliability of Cyber-Physical system (CPS) components substitution is an important issue for troubleshooting and system upgrading. In this paper, CPS components substitution is equated to CPS service substitution based on a service-oriented architecture of CPS. Then, a reliable workflow for CPS service substitution is proposed, which consists of two parts. One is a qualitative judgment method for CPS service substitution according to the relationship between service compatibility and substitution, based on Time-Space π-calculus with time operator and space operator. The other is a series of substitution processes from the judgment results above, based on service management theory. Finally, a case study is performed to show that how to apply the workflow to ensure CPS components´ reliable substitution. The experiment result demonstrates that this workflow is reasonable and feasible.