Substitution Determination of Cyber-physical System Components via Time-space-Calculus

Cyber-Physical System (CPS) components substitution is an important issue for CPS troubleshooting and system upgrading. Based on a service-oriented architecture of CPS, this issue is equated to CPS service substitution. A formal method for modeling CPS service is proposed based on time-space-calculus, which is presented through introducing time and space operators into classical-calculus. Then, starting with the relationship between service compatibility and substitution, a decision theorem for CPS service substitution is put forward. Finally, a case study is performed to show that how to apply this theorem to CPS components substitution.