一种可信的信息物理融合系统设计框架初探
信息物理融合系统(CPS)连接物理世界和计算系统，由计算核心监控，是一种物理进程和计算进程紧密结合的系统。对CPS的研究目前还处于初步探索阶段，还没有完整的理论框架和技术体系，关于CPS系统的正确性以及安全性的研究尤其空缺。针对这一问题，结合形式化方法和面向方面技术，初步提出一种可信的CPS设计框架，并阐述了该框架的主要设计过程及需要解决的关键问题。
信息物理融合系统 系统框架 形式化方法 整体设计
张侃 张广泉 张茗泰
苏州大学计算机科学与技术学院,江苏苏州,215006 苏州大学计算机科学与技术学院,江苏苏州,215006 中国科学院计算机科学国家重点实验室,北京,100190
国内会议
北京
中文
242-246
2011-09-01（万方平台首次上网日期，不代表论文的发表时间）