航空计算技术
航空計算技術
항공계산기술
AERONAUTICAL COMPUTER TECHNIQUE
2014年
6期
116-119
,共4页
信息物理系统%仿真%分区环境%验证
信息物理繫統%倣真%分區環境%驗證
신식물리계통%방진%분구배경%험증
airborne system%simulation%partition environment%verification
信息物理系统(CPS)强调借助网络对物理世界的感知和控制,往往系统规模较大、结构复杂,通常重视对系统开发前、中期的验证工作,而高安全的CPS对验证的要求更高.在实现分区调度、通信等服务的基础上,通过构建Windows平台上的模拟分区环境,我们完成了某高安全信息物理系统的建模,检验系统设计的可调度性、故障恢复能力等行为特性,从而验证了研究方法的合理性和正确性.
信息物理繫統(CPS)彊調藉助網絡對物理世界的感知和控製,往往繫統規模較大、結構複雜,通常重視對繫統開髮前、中期的驗證工作,而高安全的CPS對驗證的要求更高.在實現分區調度、通信等服務的基礎上,通過構建Windows平檯上的模擬分區環境,我們完成瞭某高安全信息物理繫統的建模,檢驗繫統設計的可調度性、故障恢複能力等行為特性,從而驗證瞭研究方法的閤理性和正確性.
신식물리계통(CPS)강조차조망락대물리세계적감지화공제,왕왕계통규모교대、결구복잡,통상중시대계통개발전、중기적험증공작,이고안전적CPS대험증적요구경고.재실현분구조도、통신등복무적기출상,통과구건Windows평태상적모의분구배경,아문완성료모고안전신식물리계통적건모,검험계통설계적가조도성、고장회복능력등행위특성,종이험증료연구방법적합이성화정학성.
