一种可信的信息物理融合系统设计框架初探
A Preliminary Framework for Designing the Trusted Cyber-Physical Systems作者机构：苏州大学计算机科学与技术学院江苏苏州215006 中国科学院计算机科学国家重点实验室北京100190
出 版 物：《计算机研究与发展》 (Journal of Computer Research and Development)
年 卷 期：2011年第48卷第S2期
页 面：242-246页
核心收录：
学科分类：08[工学] 0812[工学-计算机科学与技术（可授工学、理学学位）]
基 金：中国科学院计算机科学国家重点实验室开放课题(SYSKF0908) 江苏省自然科学基金项目(BK2011152)
摘 要：信息物理融合系统(CPS)连接物理世界和计算系统,由计算核心监控,是一种物理进程和计算进程紧密结合的系统.对CPS的研究目前还处于初步探索阶段,还没有完整的理论框架和技术体系,关于CPS系统的正确性以及安全性的研究尤其空缺.针对这一问题,结合形式化方法和面向方面技术,初步提出一种可信的CPS设计框架,并阐述了该框架的主要设计过程及需要解决的关键问题.
维普期刊数据库
同方期刊数据库