Substitution Determination of Cyber-physical System Components via Time-space-Calculus
-
摘要: 信息物理融合系统(Cyber Physical System, CPS)组件的可替换性为CPS故障处理和系统升级提供了重要保障。采用面向服务的方法设计CPS体系结构,将CPS组件可替换性判定等价为CPS服务的可替换性判定。该文针对CPS的时空特性,在经典-演算理论的基础上,引入时间和空间算子,提出时空-演算理论,用于CPS服务的形式化建模。从服务可替换性和兼容性的关系入手,提出CPS服务可替换性判定定理。最后通过一个实际案例,展示了如何判定CPS组件的可替换性。
-
关键词:
- 信息物理融合系统(CPS) /
- 面向服务 /
- 时空-演算 /
- 可替换性
Abstract: 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.-
Key words:
- Cyber-Physical System (CPS) /
- Service-oriented /
- Time-space-calculus /
- Substitution
计量
- 文章访问数: 2257
- HTML全文浏览量: 73
- PDF下载量: 681
- 被引次数: 0