高安全分区信息物理系统的仿真验证研究

摘要：

信息物理系统(CPS)强调借助网络对物理世界的感知和控制,往往系统规模较大、结构复杂,通常重视对系统开发前、中期的验证工作,而高安全的CPS对验证的要求更高.在实现分区调度、通信等服务的基础上,通过构建Windows平台上的模拟分区环境,我们完成了某高安全信息物理系统的建模,检验系统设计的可调度性、故障恢复能力等行为特性,从而验证了研究方法的合理性和正确性.

关键词：信息物理系统、仿真、分区环境、验证

所属期刊栏目：44

分类号：TP302.8(计算技术、计算机技术)

资助基金：中国航空工业集团公司创新基金项目资助2013D63125R

在线出版日期：2015-02-13（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：116-119