Abstract
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.
Sign-in/Register to access full text options 
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
