基于同步仿真的卫星姿轨控软件验证方法

传统的仿真系统一般采用Matlab/Simulink进行建模,Simulink模型可以在仿真环境下模拟真实环境下的系统架构和动态数据交互,也可以动态模拟真实目标机的运行。在Simulink建模体系对目标机系统的仿真中,其自身的时钟步长和数据流处理逻辑,可能与真实物理环境要求的系统有一定的出入,不能完全模拟目标机的内部ALU逻辑和真实外围设备工作行为,从而造成一定程度的失真,影响仿真效果。提出了基于同步仿真的卫星姿轨控软件验证方法,包含虚拟目标机能够实现对真实物理目标机运行功能的完全模拟,结合协同仿真组件和Simulink模型对各个子系统单元的动态建模仿真,全面验证软件的功能,增加了卫星控制软件的可靠性和安全性。

基于Actor模型的软总线设计

为提高网络化嵌入式系统的安全性与可靠性,提出一种基于Actor模型的软总线设计方法,以解决分布式全数字仿真测试中系统及组件间的通信问题。采用以Actor模型为中心的发布/订阅机制,实现分布式节点之间的同步、异步通信。在此基础上,提出一种基于线程池技术的任务调度方法,实现Actor模型的协同工作,并通过规则链表进行Actor消息的处理及转发。实验结果表明,与HLA、OpenDDS总线相比,在大数据量并发处理的情况下,该软总线程序执行效率提升30%以上,能够满足网络化嵌入式系统测试对实时性与并发性的需求。