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

A Preliminary Framework for Designing the Trusted Cyber-Physical Systems

作　　者：张侃[1] 张广泉[1,2] 张茗泰[1] 

机构地区：[1]苏州大学计算机科学与技术学院,江苏苏州215006 [2]中国科学院计算机科学国家重点实验室,北京100190

出　　处：《计算机研究与发展》2011年第S2期242-246,共5页Journal of Computer Research and Development

基　　金：中国科学院计算机科学国家重点实验室开放课题(SYSKF0908);江苏省自然科学基金项目(BK2011152)

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

关 键 词：信息物理融合系统 可信 形式化方法 面向方面技术 

分 类 号：TP3[自动化与计算机技术—计算机科学与技术]