一种星载软件在轨编程功能的设计和实现技术

对卫星姿轨控计算机软件在轨编程功能的设计和工程实现技术进行了研究，给出了在轨编程的原理、实现方法、可靠性设计、资源分配、接口要求和在轨编程的操作步骤。试验结果证明，提出的星载软件在轨编程原理和实现方法合理可行。     

基于StP CASE工具的软件自动测试环境的设计与实现

在软件开发过程中,软件测试费用占总成本的50％左右,为降低测试费用和进一步提高软件测试质量,软件测试自动化是必要的。本文以 StP CASE为例,构造了基于StP的自动测试环境,并通过实例进行了验证。研究表明,这种自动测试环境具有测试效率高、可靠性好、易维护等优点,对今后开展这方面的测试研究具有一定的参考价值。     

基于反熔丝型FPGA的有效载荷可重构技术

针对在轨卫星功能维护、扩展和更新的需求，设计一种星载FPGA可重构方法。通过硬件三模冗余、软件三模比对，提高星载信号处理FPGA配置的可靠性；通过地面向卫星配置FPGA发送擦除、写、读指令，实现星载配置数据存储FLASH芯片的擦除、写、读操作，从而实现星载信号处理FPGA的重构，进而可以实现有效载荷功能的在轨更新或升级，减少硬件重复开发，降低成本。     

一种软件科斯塔斯环的模型建立与实现

文章通过双线性变换法建立了科斯塔斯环的Z域模型，分析了Z域模型下环路各项性能指标和环路参数之间的关系，系统总结了设计步骤和参数的选择方法。试验仿真结果证明捕获与跟踪性能符合理论分析。最后给出了科斯塔斯环在FPGA中的硬件实现结构。     

几种特定判定形式的MC／DC评估分析

介绍了对几种特殊形式的判定进行修正的条件／判定覆盖评估分析的方法。这些形式包括比较运算判定、带短路逻辑的判定、顺序if结构、位运算判定、带反馈判定和带屏蔽判定。     

软件设计评判的研究

以软件工程学为基础，从软件设计的三个方面──软件概要设计、软件详细设计手段及软件详细设计出发，通过考察它们在软件设计中的地位和作用以及完成的主要工作，本文研究了对这三个方面的评判，分析了影响评判的主要因素，定义了各因素的影响程度，给出了有关量的取值依据，最后提出了软件设计综合评判的定量模型。     

基于软件接收机的分布式深组合仿真系统研究

为实现高动态环境下组合导航系统稳定导航定位,设计基于软件接收机的分布式深组合导航仿真系统方案,采用改进的基于伪距、伪距率的组合滤波器校正SINS误差,并利用校正后的SINS信息对GNSS跟踪环路进行频率辅助。结合VC++和Matlab各自的特点,采用VC++与Matlab混合编程,搭建基于GNSS软件接收机的分布式深组合导航仿真系统,实现SINS与GNSS双向辅助。实验结果表明:高动态环境下,深组合导航系统能有效提高GNSS接收机动态跟踪性能,具有良好的组合导航定位能力。     

应变测量仪自动校准系统设计CSCD

针对飞机静力、疲劳、铁鸟及风洞等强度试验中大量使用由LXI EX1629应变测量仪组成的大型应变测量系统通道数多校准项目多,采用手动校准工作量大、周期长、效率低、并容易出错等问题。利用标准仪器通信接口和被校设备的LXI标准网络化测控系统的嵌入式设备高可靠性及快速通讯方式,在VEE Pro软件开发平台上,设计开发出一套应变测量仪自动校准系统,实现了应变量测量仪和应变量放大器多路同步快速自动校准。系统包括设备管理、校准及打印输出三个主模块。试验结果表明:系统运行可靠、有效、精度高。该校准系统在飞机研发试验中发挥了重要作用,具有广泛的应用前景。     

软件评测技术研究与实践

从软件评测工作实际出发,对软件评测方案进行了介绍,包括评价模型的建立,评价环境、测试用例的设计,测试过程的管理,对软件评测工作具有一定的指导意义。     

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.