End-to-end validation process for the INTA-Nanosat-1B Attitude Control System

This paper describes the end-to-end validation process for the Attitude Control Subsystem (ACS) of the satellite INTA-NanoSat-1B (NS-1B). This satellite was launched on July 2009 and it has been fully operative since then. The development of its ACS modules required an exhaustive integration and a system-level validation program. Some of the tests were centred on the validation of the drivers of sensors and actuators and were carried out over the flying model of the satellite. Others, more complex, constituted end-to-end tests where the concurrency of modules, the real-time control requirements and even the well-formedness of the telemetry data were verified. This work presents an incremental and highly automatised way for performing the ACS validation program based on two development suites and an end-to-end validation environment. The validation environment combines a Flat Satellite (FlatSat) configuration and a real-time emulator working in closed-loop. The FlatSat is built using the NS-1B Qualification Model (QM) hardware and it can run a complete version of the on-board software with the ACS modules fully integrated. The real-time emulator, running on an industrial PC, samples the actuation signals and emulates the sensors signals to close the control loop with the FlatSat. This validation environment constitutes a low-cost alternative to the classical three axes tilt table, with the advantage of being easily configured for working under specific orbit conditions, in accordance with any of the selected tests. The approach has been successfully applied to the NS-1B in order to verify different ACS modes under multiple orbit scenarios, providing an exhaustive coverage and reducing the risk of eventual errors during the satellite's lifetime. The strategy was applied also during the validation of the maintenance and reconfiguration procedures required once the satellite was launched. This paper describes in detail the complete ACS validation process that was performed and it shows the most relevant errors detected and fixed during testing. Finally it summarises some of the most significant conclusions.     

基于量化分析的软件测试过程的控制技术

论述了软件测试的基本过程以及涉及的文档、角色和活动.在此基础上重点讨论了如何通过在测试过程中提取的有效数据来对整个测试过程进行监督、控制和管理的技术,如对测试进度变化、软件问题分布、人力资源情况、软件问题处理时间以及软件问题重现等情况进行分析的技术.为保证被测系统的质量、提高效率、降低成本和改善测试过程提供支持和帮助.      

基于UML的集成化软件开发环境的研究与实现

统一建模语言UML(Unified Modeling Language)的出现为研制和开发集成化面向对象软件开发环境奠定了基础.针对当前软件开发方法中所表现出的新特点,结合用户在项目开发中的实际需求,讨论了基于UML的集成化软件开发环境的设计思想及应具备的主要功能,介绍了基于该思想开发的可视化建模工具UML/Designer的功能体系结构和实现情况.      

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

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

基于试车数据统计的振动限制值确定方法

统计了某型液体火箭发动机涡轮泵27次地面试车振动数据和某型涡扇发动机28次台架试车振动数据,发现一次试车时间序列的振动特征参数随时间的波动反映了随机误差的变化,符合正态分布;不同台份发动机试车振动参数幅值的波动是发动机健康状态和试验误差共同作用的结果,不遵循正态分布规律,F分布是其分布的重要形式。在此基础上,研究了基于"概率相等法"和"3σ方法"原理的两种发动机振动限制值的确定方法。通过两种方法计算结果的相互验证,以及计算结果和工程实践的对比,说明确定振动限制值方法的正确性和实用性。     

基于灰色系统理论的软件可靠性综合评价框架

从系统工程的角度出发,提出一套完整的基于灰色系统理论的软件可靠性综合评价框架.首先,在ISO/IEC 9126软件质量模型的基础上,建立起软件可靠性综合评价体系,并利用灰关联分析方法计算每个度量元与软件可靠性之间的相关程度,由此确定度量元在评价体系中的权重值.在此基础上,提出基于灰色聚类的软件可靠性综合评价方法.初步的实验结果表明,基于灰色系统理论的软件可靠性综合评价框架具有方便实用、全寿命周期评价、数据来源广泛、且可准确反映当前软件可靠性指标水平等优点,适合于软件可靠性工程决策活动.      

复杂环境下的A/C模式信号处理算法及其实现

本文基于软件无线电的思想,提出一种复杂环境下的A/C模式信号处理算法,该算法从脉冲识别,A/C模式框架判决以及信息代码提取三个方面进行了研究,在识别多目标混叠、拒绝目标幻影,避免异步串扰方面,达到了较好的效果,并在FPGA上实现了该算法.     

软件再工程理论应用研究

软件再工程通过逆向工程、重构和正向工程几个环节,将现存系统开发成新的系统,是有效利用原有系统的现实可行的方法。本文研究了软件再工程的基本概念和目标、再工程的基本框架等理论;介绍了对某显控计算机软件的分析、重构和验证等内容。     

基于CMM L2的外包项目管理研究

如同中国软件外包白皮书中所指出,中国软件企业较弱的项目管理能力已经制约了国内软件外包市场的进一步发展。如何实施有效的项目管理以实现对外包项目成本、进度、质量、效率等的有效控制,确保项目成功成为一个争论话题。针对于此,结合多年软件外包项目管理的实际经验,本文通过对CMM L2项目管理具体要求的分析并结合PM I项目管理知识体系的相关内容,提出了基于CMM L2的外包软件项目管理模型,介绍了此模型的实际应用,在此基础上对外包项目管理的持续改进进行了讨论。     

弹载专用计算机工作软件测试分析

弹载专用计算机软件是影响导弹飞行的关键软件,在研制单位进行软件测试后,应由监造单位组织第三方独立的测试。文中介绍了软件测试的体会,强调对飞行控制软件的测试需要一定的理论支持和丰富的实践经验,在软件测试中,对软件设计提出了修改意见,以加强软件研制的质量监督。