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

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

PowerPC8641处理器模块的自检测设计

机内自检测对嵌入式系统中的处理器模块具有重要意义。为保证系统能够安全、可靠地工作,需要对硬件资源进行自检测试,并基于测试需求,选取了PowerPC8641处理器模块为硬件平台,以CPU、RAM存储器及FLASH存储器为例,根据其不同的硬件特性分别分析了故障特征,给出相应的测试方法,形成一整套测试方案,并结合测试结果,进行了测试性验证与分析,验证了测试方案的可行性。