民机航电系统综合核心处理机平台软件技术研究

针对大型民用客机综合模块化航电核心处理机驻留功能应用数量多、安全级别不同、需独立认证等特点,提出了一种基于ARINC653规范的平台软件架构,设计并实现了平台软件,包括平台基础软件和10项平台驻留应用,研究了相关关键技术,为国产大型民用客机综合模块化航电系统的研制提供了技术支撑。     

ARINC653实时任务可调度性验证方法

针对综合模块化航空电子系统(Integrated Modular Avionics,IMA)存在周期任务和非周期任务,以及任务间依赖关系,传统方法不能准确验证其实时任务可调度性的问题,本文提出了一种基于Stopwatch时间自动机的ARINC653实时任务可调度性验证方法,利用模型检验工具UPPAAL对IMA系统进行建模仿真,并结合统计模型检验(Statistical Model Checking,SMC)与符号模型检验(Symbolic Model Checking,MC)来验证其可调度性。实验结果表明,该方法不仅快速验证了IMA系统的可调度性,而且能够准确定位不可调度任务。     

基于端到端组件互联的嵌入式网络系统仿真

为了满足航空领域日益复杂化的应用需求，机载嵌入式计算机之间经常通过网络来完成相互通信，从而协作完成给定的任务。因此，对嵌入式网络系统的完整建模与仿真是计算机系统仿真的重要方向。完成一种基于端到端组件互联的嵌入式网络系统仿真，网络系统中的组件包括主机、网卡和交换机，每种组件通过不同的仿真器或模型来模拟，将组件相互连接和同步，在其上运行完整的操作系统和应用程序，从而对目标网络系统进行端到端的性能评估。