|
|||||
|
|
| 高安全分区信息物理系统的仿真验证研究 | |
| 引用本文： | 王乐,孙允明,尤涛. 高安全分区信息物理系统的仿真验证研究[J]. 航空计算技术, 2014, 44(6) |
| 作者姓名： | 王乐 孙允明 尤涛 |
| 作者单位： | 1. 中航工业西安航空计算技术研究所,陕西西安,710068 2. 西北工业大学计算机学院,陕西西安,710068 |
| 基金项目： | 中国航空工业集团公司创新基金项目资助 |
| 摘 要： | 信息物理系统(CPS)强调借助网络对物理世界的感知和控制,往往系统规模较大、结构复杂,通常重视对系统开发前、中期的验证工作,而高安全的CPS对验证的要求更高。在实现分区调度、通信等服务的基础上,通过构建Windows平台上的模拟分区环境,我们完成了某高安全信息物理系统的建模,检验系统设计的可调度性、故障恢复能力等行为特性,从而验证了研究方法的合理性和正确性。 |
| 关 键 词： | 信息物理系统 仿真 分区环境 验证 |
Research on Simulation and Verification of High Safety Partition Cyber-physical System |
|
| WANG Le,SUN Yun-ming,YOU Tao. Research on Simulation and Verification of High Safety Partition Cyber-physical System[J]. Aeronautical Computer Technique, 2014, 44(6) | |
| Authors: | WANG Le SUN Yun-ming YOU Tao |
| Abstract: | |
| Keywords: | airborne system simulation partition environment verification |
| 本文献已被 CNKI 万方数据 等数据库收录！ | |