一种可信的信息物理融合系统设计框架初探

被引：11

作者：

张侃 ^{[1
]}

张广泉 ^{[1
,2
]}

张茗泰 ^{[1
]}

机构：

[1] 不详

[2] 苏州大学计算机科学与技术学院

[3] 不详

[4] 中国科学院计算机科学国家重点实验室

[5] 不详

来源：

计算机研究与发展 | 2011年 / S2期

关键词：

信息物理融合系统; 可信; 形式化方法; 面向方面技术;

D O I：

暂无

中图分类号：

TP202 [设计、性能分析与综合];

学科分类号：

摘要：

信息物理融合系统(CPS)连接物理世界和计算系统,由计算核心监控,是一种物理进程和计算进程紧密结合的系统.对CPS的研究目前还处于初步探索阶段,还没有完整的理论框架和技术体系,关于CPS系统的正确性以及安全性的研究尤其空缺.针对这一问题,结合形式化方法和面向方面技术,初步提出一种可信的CPS设计框架,并阐述了该框架的主要设计过程及需要解决的关键问题.

引用

页码：242 / 246

页数：5