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

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

控制系统飞行控制软件重用技术研究

探讨了航天型号控制系统飞行控制软件的重用技术。结合航天型号控制系统飞行控制软件的研制现状,针对现行软件开发过程中存在的问题,按照代码重用、任务重用以及代码自动生成的思路阐述了飞行控制软件的重用应用。     

双CPU环境下飞行控制软件的设计

本文介绍运载火箭飞行控制软件在双ＣＰＵ冗余硬件配置下的可靠性设计和可靠性指标分配的方法。文中提到的部分技术经过了实验的检验，证明是可行的     

一种基于模型的飞行控制软件可靠性分析方法

将软件可靠性参数估计的方法引入到航天自动控制领域,在探讨了模型可靠性指标选取原则和评价方法的基础上,提出了一种基于飞行控制软件可靠性模型综合分析的方法。     

运载火箭飞行控制软件的多任务设计方法

为适应新一代运载火箭电气设备数字化、智能化的发展,提出了基于嵌入式实时操作系统的飞行控制软件多任务设计方法。设计了飞行控制、数据管理、精确关机等任务,根据实时性要求设置了相应任务的优先级;设计了飞行控制任务在三冗余处理器中一致性运算的机制;提出了控制周期内多任务共用临界资源的约束性要求作为冗余同步运行的余量指标。本文设计的多任务已在新一代中型运载火箭飞行试验中得到验证。     

软件工程方法在飞行仿真系统开发中的应用

针对飞行仿真系统开发中存在的问题，通过对飞行系统模型及仿真系统的具体分析，引入软件工程方法，结合仿真软件系统的特点，在仿真系统开发模式，仿真软件设计方法，软件的质量管理方法三方面进行了研究，在面向对象模型的基础上，发展了一套完整的仿真系统开发模式，提出了仿真系统的对象建模方法，仿真系统的软件编码原则和质量管理方法。     

飞行软件测试用例设计方法及应用

飞行软件测试用例设计首先按等价类划分法的原理划分等价类，并结合边值分析和因果图等方法设计测试用例，能较好地达到软件功能覆盖准则要求，文中结合飞行软件的特点拓宽了等价类的内涵，使等价类划分法成为飞行软件测试用例设计的普遍适用的方法，从而为习行软件确认测试的充分必提供技术和方法的保证。     

软件FMEA实例研究

软件FMEA(失效模式和影响分析)是硬件或系统FMEA的扩展,并应用于安全关键软件的鉴定,但是,目前缺乏应用经验。本文阐述了SFMEA的原理、实施过程和要点,提出了适用于某嵌入式软件的失效模式及原因,对失效模式的影响进行了严酷度等级分类,给出了对该软件实施SFMEA的过程和结果。结果表明了SFMEA的有效性和实用性。     

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

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

载人航天器应急飞行方案库构建方法

载人航天器在轨飞行过程中出现故障、不能按照正常飞行方案继续飞行时,需要快速决策采用预先设计的应急飞行方案,以确保航天员的安全,并尽可能完成既定飞行任务。文章提出了一种基于应急飞行模式识别矩阵的应急飞行方案库构建方法,即以系统级故障模式为线索,建立应急飞行模式识别矩阵,从静态和动态两个维度覆盖载人航天器全部系统功能和整个飞行阶段,对识别出的应急飞行模式设计相应的应急飞行方案,形成应急飞行方案库。该方法成功应用于天舟一号货运飞船应急飞行方案设计,其研究思路和成果也可推广应用于其他航天器的应急飞行方案设计。     

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

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

航天任务飞行控制分析系统的设计和应用

介绍了一个基于windows环境下的多任务航天任务飞行控制分析系统的设计以及实际应用,该系统为任务分析人员、指挥决策人员在任务准备、实施中快速灵活地进行各种复杂条件下的航天任务分析提供了可视化的操作平台以及全面的图表和文字报告。系统采用数据库技术,为用户提供了各种航天器参数和测站参数等信息。文中介绍了该系统的软件结构、数学模型和功能设计,并给出了具体的仿真应用。     

网络化飞行器执行机构故障自适应容错控制

针对存在随机短时延和外部干扰的网络化飞行器执行机构故障问题,提出了一种自适应容错控制方法。首先利用扩张状态观测器(Extended State Observer, ESO)对系统不确定性进行估计,并构建了自抗扰控制器对不确定性进行补偿。在此基础上,设计了一种基于跟踪误差的自适应容错控制方法。当执行机构发生未知故障后执行机构指令能自适应逼近设计值,使得重构的控制系统精确跟踪参考模型。最后利用Lyapunov函数方法证明了闭环控制系统的有界稳定。数值仿真校验了所提方法的有效性。     

鲁棒调节器设计及其在飞行控制系统中的应用

本文提出一种降低参数灵敏度的鲁棒调节器设计法。它根据灵敏度指标的要求，利用最优调节器的性质设计了状态反馈调节器，所构成的系统具有良好的参数鲁棒性和动态特性。该方法计算简单，实现方便。文中给出了在飞行控制系统中的应用实例。     

飞行控制软件全数字仿真测试环境的搭建与应用

全数字仿真测试环境是嵌入式软件测试的主要平台,从仿真对象上分为目标硬件环境和目标数据环境两个部分。文中详细阐述了利用数字芯片开发工具VTEST,搭建飞行控制软件全数字仿真测试环境的方法,并以某型号飞行控制软件确认测试为背景,介绍了全数字仿真测试环境的应用。利用全数字仿真测试环境能够进行软件功能测试、结构测试、边界值测试,具有较高的测试效率,提高了测试的自动化程度。     

软件潜在分析技术及其应用

软件潜在分析技术的概念及方法在文中作了讨论．对此技术在航天软件中开展和应用前景及具体实施方法作了分析和介绍。