航天器真空热环境适应性试验、分析及评价软件平台

基于国内外热试验软件的发展情况,文章提出了航天器真空热环境适应性试验、分析及评价一体化软件平台。在国内现有热试验测控软件的基础上,软件平台集成了国内关于热试验偏差、真空热环境效应及试验污染效应等研究的最新成果,同时又扩展了一些必需的功能模块。最后详细描述了该软件平台的基本组成和各模块的功能。     

HW/SW Co-design of the Instrument Control Unit for the Energetic Particle Detector on-board Solar Orbiter

ESA’s medium-class Solar Orbiter mission is conceived to perform a close-up study of our Sun and its inner heliosphere to better understand the behaviour of our star. The mission will provide the clues to discover how the Sun creates and controls the solar wind and thereby affects the environments of all the planets. The spacecraft is equipped with a comprehensive suite of instruments. The Energetic Particle Detector (EPD) is one of the in-situ instruments on-board Solar Orbiter. EPD is composed of five different sensors, all of them sharing the Instrument Control Unit or ICU that is the sole interface with the spacecraft. This paper emphasises on how the hardware/software co-design approach can lead to a decrease in software complexity and highlights the versatility of the toolset that supports the development process. Following a model-driven engineering approach, these tools are capable of generating the high-level code of the software application, as well as of facilitating its configuration control and its deployment on the hardware platforms used in the different stages of the development process. Moreover, the use of the Leon2ViP virtual platform, with fault injection capabilities, allows an early software-before-hardware verification and validation and also a hardware–software co-simulation. The adopted solutions reduce development time without compromising the whole process reliability that is essential to the EPD success.     

星载1553B总线通信接口研究

为保证星载1553B总线通信的可靠性,在忽略容性、感性阻抗的情况下,基于叠加定理对变压器耦合方式下总线接口电路建立了等效模型,计算出接口变压器的等效输入阻抗,得出总线终端输入电压信号U。在假定双绞传输线理想状态下,利用软件分别对U与隔离电阻Rs、终端匹配电阻R,和传输线阻抗Rw之间的关系曲线进行了仿真,确定了相关电阻的选取范围。该模型的建立与仿真,为1553B总线接口设计提供了一种新的模型和验证方法,具有一定的工程应用价值。     

嵌入式软件仿真测试平台构件化技术研究

软件测试在航天嵌入式软件研制过程中占有极为重要的地位,使用全数字仿真测试平台进行软件测试是行之有效的方法.对仿真测试平台进行层次化构件分解和构件设计,研究航天软件仿真测试平台构件化开发方法,并给出应用实例,证明了该方法可大幅提高平台开发效率.     

一种基于MiniGUI的多任务嵌入式软件设计

分析图形界面支持系统MiniGUI的消息循环机制、介绍了MiniGUI分层设计的体系结构,设计了一种基于MiniGUI的多任务多窗口嵌入式软件。该软件采用消息队列和信号量处理机制以及多窗口共用一个消息循环的设计思想,加强了基于MiniGUI的嵌入式软件的应用性,对于嵌入式软件图形开发有很强的借鉴意义。     

大型火箭发动机地面试验系统测控软件架构设计

通过对国内大型火箭发动机地面试验测控系统软件开发模式现状的分析,提出采用Rational统一过程"4+1"视图法,结合面向对象设计思想对测控系统软件进行建模,构建出一整套有针对性的面向对象测控系统软件设计模型,为解决现在大型火箭发动机地面试验测控系统软件开发普遍低效、问题反复和难维护等问题奠定良好的基础。     

基于本体的软件安全性需求建模和验证

由软件引起的灾难性事故原因往往源于安全性需求,目前主观的人工评审方法并不能满足软件安全性需求严格的验证要求.因此,讨论了软件安全性需求的定义,遴选了国内外公认的相关标准和手册作为需求验证的知识基础,根据"七步法"建立了本体模型,利用本体模型中的概念和关联来形式化地描述规则以支持验证;同时基于以上研究内容设计和实现了软件安全性需求形式化建模和验证的工具原型,并对使用工具实施验证和使用人工评审实施验证进行了对比分析实验.实验结果表明形式化工具原型在验证时间和验证次数上都大大优于人工验证方法,同时工具原型具有良好的易用性.     

基于Linux QT技术的空间环境模拟器控制系统组态软件的开发

文章主要介绍如何在Linux系统下建立一套空间环境模拟器控制系统组态软件。首先给出该软件设计的整体结构与基本原理,软件架构基于QT平台搭建;研发了一套针对Linux操作系统的OPC驱动,成功地实现了硬件设备和上位软件之间的多对多通信;针对该驱动提出了扫描优先级算法,这种算法相对于Windows下的顺序扫描逻辑方式更加优化而高效。该组态软件已通过现场实际应用,控制效果良好,达到预期的结果。     

无人机飞行控制计算机余度管理软件

针对样例余度配置的无人机飞行控制计算机体系结构,提出了一种输出信息余度管理方案.设计了数据交叉链路通讯、同步、输出信息表决、成员关系计算和系统重构等算法,采用多任务方案实现了相应的余度管理软件.最后,在样例三余度飞行控制计算机上进行了余度管理算法测试,结果表明所提出的方案正确,算法功能与性能满足工程应用要求.     

三维四步法编织复合材料结构的计算机仿真

针对三维四步法编织技术特点,分析了编织纱线的空间位置,通过计算机模拟编织纱线运动,并采用Bézier曲线对纱线运动轨迹进行拟合,利用计算机图形技术对三维编织结构进行显示,获得了一种设计与实现三维四步法编织复合材料的计算机仿真方法.根据编织工艺参数间的关系,在UG软件中实现了参数化设计,可方便生成不同编织尺寸和编织角情况下的三维编织预制件及复合材料的实体模型,所建立的实体模型形状和编织物真实结构非常接近,表明本文的仿真方法具有很好的效果.