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

• 作者: 孙允明 尤涛 王乐
• 来源期刊: 航空计算技术
• 关键词: 信息物理系统 仿真 分区环境 验证
• 年，卷（期）: 2014,（6）
• 所属期刊栏目: 计算机应用
• 页码范围: 116-119
• 页数: 4页
• 分类号: TP302.8
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	尤涛	西北工业大学计算机学院	37	148	6.0	10.0
2	王乐		9	28	4.0	5.0
3	孙允明		2	1	1.0	1.0