SFMEA方法在飞行控制软件中的应用

为提高飞行控制软件的安全性,分析了飞行控制软件的安全性薄弱环节,探讨了影响飞行控制软件安全性的隐患。简要阐述了软件失效模式、影响(SFMEA)方法,给出软件失效模式分类的方法以及飞行控制软件常见的失效模式,给出适用于航天飞行控制软件的软件危害性等级,结合某型号飞行控制软件进行了SFMEA方法的尝试性应用,分析了软件失效的局部影响和最终影响,形成了52个SFMEA的分析表格,总结了302个飞行控制软件的失效模式,发现了部分安全性薄弱环节,并提出了相应的改进措施,结果表明,SFMEA方法对提高飞行控制软件的安全性有一定的工程价值。     

运载火箭飞行控制软件可重用架构设计方法研究

面对运载火箭飞行控制软件规模和复杂程度急剧增加、研制周期越来越短的现状,如何运用新的软件开发模式替换传统的研制模式,来提高飞行控制软件的研制效率已成为当前的研究重点。应用可重用软件开发技术能够有效提高软件研制效率,对提高运载火箭飞行控制软件的设计质量和缩短研制周期具有重要的意义。本文基于可重用软件开发技术在需求分析、概要设计和详细设计阶段的具体内容,提出了一种运载火箭飞行控制软件可重用架构设计方法,从而用于提高设计效率,降低维护成本,对运载火箭飞行控制软件研制具有较强的应用价值。     

基于代码自动生成的计算机辅助系统设计与实现

主要探讨航天型号中的时序控制软件的辅助生成,结合航天型号时序控制软件的研制现状,针对现行软件研制过程中存在的问题,设计实现基于自动生成的计算机辅助系统,代替人工生成模式,切实提高航天工程中软件的研发效率和可靠性。     

飞行控制软件可靠性设计探讨

控制系统飞行软件 (飞行控制软件 )是关系到弹箭飞行成败的关键部分 ,本文从一些实例出发对如何提高飞行控制软件设计的可靠性做了探讨。     

启动软件重用库工程 推进航天型号软件标准化

概述了国际上软件重用技术的发展和应用状况,阐明了软件重用技术是提高软件质量特性的有效措施,也是推进航天型号软件开发、应用工程化和标准化的重要技术基础工作,并系统地论述了建设航天软件重用库的必要性、迫切性和可行性,初步提出了航天软件重用库工程的实施建议。     

反汇编技术在嵌入式软件安全性分析中的应用

分析了航天型号嵌入式软件代码安全性分析中对目标码进行反汇编的必要性,总结了两种静态反汇编技术的优缺点,提出了适用于航天型号嵌入式软件代码安全性分析的反汇编算法,并介绍了结合编译信息的反汇编算法在软件安全性分析中的应用。     

飞行软件通用仿真测试平台中1553B接口测试方法的研究

航天飞行软件是航天飞行器控制系统中最重要的部分之一,1553B总线在航天飞行器中的应用越来越广泛,因此模拟一个1553B总线环境成为仿真测试中不可或缺的一部分,然而由于不同型号飞行软件的独立性,各个型号都需要设计专用的仿真测试平台,造成软硬件的浪费.本文在提出一种通用的仿真测试平台的基础上,对平台中1553B总线测试功能模块进行研究,分别在驱动层、逻辑层和用户层上对总线的需求和结构进行了详细设计,使其能够通用于任何一种支持1553B总线的飞行软件,大大节约了软件测试成本,有效缩短了测试周期.     

基于SPARC与RTEMS的飞行控制软件开发技术

实时多任务操作系统的引入改变了传统飞行控制软件开发模式.本文结合RTEMS实时多任务系统部分源代码,深入剖析了该系统的任务管理、任务调度机制、SPARC寄存器窗口管理、中断管理、RTEMS系统初始化及系统配置等关键技术.并结合某型号开发经验,给出飞行控制软件的系统建模、任务划分、任务调度等开发过程.该过程为提高飞行控制软件的实时性、安全性和可靠性提供了很好的保障.     

基于实时操作系统的多核分布式飞行软件架构设计

基于对飞行器飞行控制软件的需求(包括功能需求以及性能需求)的分析结果，提出一种基于战星嵌入式实时操作系统的多核分布式飞行控制软件架构，架构共分为5层，从下至上依次为：操作系统层、硬件接口层、框架层、应用层和重用构件层。该架构目前已经应用于多个项目，具有可移植性好、可靠性高、实时性强等特点，能够降低项目研制时间与成本，提高飞行控制软件的可靠性与安全性。     

软件可靠性度量在航天控制软件中的应用

在软件开发中如何使用软件可靠性度量是航天软件开发过程中亟待解决的问题,为了解决这个问题,本文对11个软件可靠性度量在航天某型号控制软件中进行了应用,度量的结果验证了推荐出的软件可靠性度量具有可操作性和实用性。     

WL_Net在导弹飞行控制软件安全性分析中的应用

提出了应用工作流逻辑网(WL_Net)进行软件安全性分析的新方法。介绍了运用WL_Net对导弹飞行控制软件进行安全性分析的步骤并分析了其优缺点和未来的发展方向。首先,综合考虑可能引起危险和风险的条件和环境构建WL_Net结构模型;然后使用可达树或关联矩阵对模型的合理性以及危险或风险出现的可能性进行分析,以确定该飞行控制软件是否安全。WL_Net能较好的完成对系统的建模和对软件安全性的分析,从一定程度上解决模型可读性和网结构爆炸的问题。     

一种用于航天器飞控演练的数管模拟器设计

飞控模拟器用于航天器飞控任务的演练,对确保飞控任务安全可靠起着关键作用.数管模拟器是飞控模拟器最重要的组成部分之一,用于模拟航天器的遥测、遥控、信息处理和传输等功能.文章介绍了一种航天器数管模拟器设计方案,它由通用工控机、通用和专用板卡、数管仿真软件几部分组成,具有真实性高、通用性高、灵活性高的特点,已在嫦娥一号和嫦娥...     

Features of RadioAstron Mission Control

Support means of the Spektr-R spacecraft flight and features of the Mission Control Center operation and spacecraft control are considered. Software for scheduling and preparing sessions of controlling and simulating for the spacecraft operation are considered. The problems of ballistic navigation support of the spacecraft flight are presented. Ground spacecraft control segment and software for analyzing and imaging telemetric information are considered.     

基于MCF5235无人机飞行控制系统设计与实现

为了满足无人机飞行控制系统向高精度和小型化方向发展的需要,以高性能的32位微处理器MCF5235为核心,搭建了高性能的数字式无人机飞行控制系统;并根据无人机飞行控制系统的控制原理和控制策略,进行了飞行控制软件的功能模块和任务划分,着重分析了嵌入式Linux实时操作系统下主函数的任务调度机制。MCF5235以它的高集成度、低功耗和强大的处理能力提高了系统的可靠性,减少了系统的体积;尤其是嵌入式Linux的使用,进一步提高了系统的可靠性,增强了系统的实时性。     

中国巴西地球资源卫星的轨道捕获和轨迹交会控制

中巴地球资源卫星一号(CBERS-1)是中国和巴西合作研制的第一颗运行在太阳同步轨道上的地球资源卫星.CBERS-1于1999年10月14日由中国自行研制的长征运载工具按预定计划准时发射,进入设计轨道,随后通过轨道捕获、星下点轨迹控制和多次轨道保持机动等一系列轨道测控操作,该卫星已按遥感用户的要求正常运行在高精度的太阳同步、回归冻结轨道上.本文简要阐明CBERS-1轨道控制系统的任务目标、系统结构、轨道控制策略、控制性能、飞行软件和在轨操作以及飞行结果.     

微型无人直升机飞控系统的设计及其半实物仿真

介绍一种以DSP和CPLD作为硬件核心的微型无人直升机飞行控制系统,包括系统传感器数据采集电路、串口扩展电路、舵机控制电路、电源电路等硬件功能模块的设计和实现。在此基础上辅以传感器信息融合、姿态解算、飞行控制算法等系统软件。最后构建一个半实物仿真系统,仿真结果表明该飞控系统的可行性。     

基于M56F807的无人机飞控系统设计

针对小型无人机飞控系统在功耗、成本、可靠性以及集成度等方面的较高要求,设计了一种基于Freescale M56F807型DSP和PID控制策略的飞控系统。针对某型号的无人机,详细阐述了系统的设计思想及其基本硬件和软件结构。采用了时域信号的取样积累平均方法,减少了算法的实现难度,提高了采样精度。对硬件设计中的关键技术进行了研究,系统具有设计精炼,可靠性高,开放性好等优点。基于DSP的现代高速数字处理飞控系统,能够赋予无人机更大的机动性、更高的灵活性和更广泛的适用性。