基于SCADE的飞控软件的适航验证与确认

中国民用航空规章第25部对机载软件提出了适航要求,DO178B是对适航要求的符合性方法,但其中一些验证和确认目标并不适用于基于SCADE的软件验证。为此,分析了飞控软件的适航要求和符合性方法,并对基于SCADE的飞控软件的开发流程和传统的开发流程进行了分析对比,对基于SCADE的飞控软件的适航验证与确认工作提出了建议。     

综合模块化航电软件仿真测试环境研究

 伴随着综合模块化航空电子(IMA)软件在新一代飞机上的应用,其高复杂性、高度综合的特点以及分层的健康监控和故障管理模式给软件测试提出了挑战。传统的仿真测试环境在应对IMA软件测试中难以满足RTCA DO-178B中规定的对验证过程结果的验证的要求。本文在分析IMA软件特点的基础上,根据DO-178B的要求,综合国外的发展情况和国内的研究进展情况,研究综合模块化航电软件仿真测试环境需求,提出了基于软件故障注入的综合模块化航电软件灰盒仿真测试环境方案,并给出优势分析。该仿真测试环境方案以IMA软件为测试对象,应用软件故障注入技术和代码插装技术满足测试规范文件的要求。其具有通用灵活、适配性强、强实时性等特点,为中国新一代航电软件的系统验证和测试奠定了基础。     

双酚B型氰酸酯的制备与性能

研究了碱性催化法合成非晶态双酚B型氰酸酯的制备工艺,利用红外光谱(FTIR)、核磁共振(NMR)、热分析(DSC)、流变仪等方法分析了双酚B型氰酸酯的结构性能和工艺特性,研究和测试了树脂固化物介电性能、耐热性能和力学性能.研究结果表明,制备的双酚B型氰酸酯纯度高,200 ℃时的凝胶时间在100 min以上;该型氰酸酯具有较低的粘度(η_25℃=470 mPa·s,η_40℃=210 mPa·s),适于室温树脂传递模塑(RTM,Resin Transfer Molding)成型工艺;250 ℃固化后的介电常数为2.75,介质损耗角正切0.007(10 GHz),玻璃化转变温度299 ℃,弯曲强度174 MPa,模量3.2 GPa,综合性能优异.     

软件总线体系结构的研究与应用

设计一种轻量级软件总线体系结构,将软件总线思想引入到单机软件系统的定制与集成.软件总线技术源于分布式异构环境搭建提出的,应用于分布式系统.对传统软件总线结构进行改进,采用双总线结构,摒除不必要的分布式功能,使轻量级软件总线成为一种适用于单机环境的软件体系结构.通过创建一个基于轻量级软件总线体系结构的模拟银行服务排队系统,验证轻量级软件总线作为单机软件系统的搭建架构具有可行性.     

集成研发平台构建中的任务管理技术

企业信息化应用的推进过程一般是由点及面、由表及里。由点及面的过程,需要融合诸多"信息孤岛";由表及里的过程,需要提炼业务规则,建立业务环境,集成工具链。基于任务管理技术研究,提出一种集成研发平台构建方案,通过流程/任务库的建立,使得流程和任务得以预置和触发,提高了系统的开放性和业务综合能力,对解决涉及多个遗留(Legacy)系统的复杂业务过程集成问题,有一定的借鉴意义。     

卫星平台模块化柔性热控体系结构

针对传统以被动热控为主的热控体系结构在适应能力、鲁棒性与灵活性方面的不足,以及难以满足目前卫星研制中平台公用化、通用化与诸多快速研制要求等问题,首先对模块化、柔性设计理论与方法进行了分析;然后结合热控技术的发展现状,构建出4种基于热总线的模块化、柔性热控体系结构;并在此基础上梳理出新型模块化、柔性热控体系结构面临的问题与解决途径。研究成果对于推动主动热控技术在我国卫星热控设计中的应用具有参考意义。     

星载CAN总线电接口特性研究

为了保证星载控制器局域网（Controller Area Network,CAN）总线通信的可靠性,基于叠加定理对总线接口建立了等效电路模型,结合节点电压法,计算了接收器输入端差分信号的电压,运用仿真软件绘制出了终端匹配电阻RT=124Ω条件下,电压与传输线电阻RW之间的关系曲线,确定了RW的选取范围;当RW=23Ω时,对电压与RT之间的关系曲线进行了仿真,确定了RT的选取范围;通过计算得出了RW=0Ω、RT=124Ω条件下发送器所能驱动的最多接收器节点数。模型的建立与仿真为CAN总线通信电路设计提供了一种新的模拟和验证方法。     

CAN总线并发通信时下位机应用软件设计

为满足系统通信中的时间性能要求,设计一种利用中断接收和发送CAN总线数据的通信方法,给出了算法的C语言流程图实现.当增加GPS作为总线主节点发送广播引起CAN并发通信导致硬件中断冲突时,针对并发通信的硬件中断冲突原理作了分析,重新设计了下位机CAN总线通信软件,解决CAN总线并发通信冲突.     

基于Event B的中断管理需求和设计形式化建模与验证方法

随着软件复杂度的迅速增长,传统的基于测试的方法逐渐难以满足航天器操作系统的可靠性和安全性需求,形式化方法逐渐成为航天器操作系统安全可靠性的有效保障.基于Rodin平台,采用Event B形式化语言,通过需求和设计重写、制定精化策略并逐步精化的方法,对航天嵌入式操作系统SpaceOS2的中断管理模块建立了需求层和设计层形式化模型,将模型检验和定理证明相结合,验证模型的正确性并且满足安全性质.     

冗余CAN总线在机电管理系统中的应用研究

CAN总线作为现场总线的一种,已在多个军用和民用领域得到了广泛的应用和推广。针对机电管理系统的实时数据采集、实时控制及综合化的设计需求,设计和实现基于冗余CAN总线的分布式机电管理系统的系统构型,重点阐述了系统的容错管理、机电CAN总线的容错及总线调度策略。