高速缓存影响的航天器控制软件调度设计方法

针对高速缓存引起的程序执行时间抖动对航天器控制软件任务调度造成的困难,提出一种基于循环调度的调度设计方法,该方法利用任务程序执行时间的概率分布设计具有不同可靠性的系统模式,通过模式切换,使处理器得到充分利用,同时能够提供一定的可靠性保障,为航天器控制软件的任务调度提供参考.     

基于模型架构的航天器控制软件研制方式研究

开展基于模型设计研究,旨在解决当前航天器控制软件研制所面临的需求描述准确性、设计验证充分性以及软件产品可靠性等问题.针对基于模型设计过程中的代码胶合接口复杂且操作繁琐问题,提出一种基于模型架构的航天器控制软件研制方式,搭建软件模型驱动框架,通过模型封装方式将既有代码资产或新编写代码嵌入到软件模型驱动框架,简化代码胶合过程.同时,建设航天器控制领域通用模型库来提高成熟算法模型的复用效率及自动生成代码可靠性.本方法研究为推进航天器控制软件向模型驱动开发方式转变夯实基础.     

一种面向航天器综合电子的ASIC芯片设计

航天器综合电子系统通用功能集成并芯片化是目前航天器电子系统的发展趋势. 针对中国航天器电子系统小型化、综合化的应用需求,提出一种面向航天器综合电子的ASIC芯片设计方案,分析了ASIC芯片设计中的关键技术,包括芯片系统工作模式、IP核的开发应用、可靠性和低功耗设计,1553B简易终端控制模式是芯片的技术特色和典型应用. ASIC芯片的功能设计、系统仿真验证、FPGA验证和物理设计均已完成,进入流片状态. 芯片的FPGA验证结果证明了芯片设计的有效性和可靠性. ASIC芯片旨在达到国军标548S的要求,应用场景是航天器内数据总线接口单元和遥测遥控.      

载人航天器系统防操作失误设计分析

载人航天中任何人为操作错误都会对载人航天器系统和航天员的安全构成威胁。文章对载人航天器系统中人的操作特点进行了论述,并对保证载人航天器安全而进行的防操作失误设计问题进行了探讨。在此基础上,提出了进行载人航天器系统防操作失误设计的方法以及提高航天员操作可靠性的措施。     

基于Event B的中断管理需求和设计形式化建模与验证方法

随着软件复杂度的迅速增长,传统的基于测试的方法逐渐难以满足航天器操作系统的可靠性和安全性需求,形式化方法逐渐成为航天器操作系统安全可靠性的有效保障.基于Rodin平台,采用Event B形式化语言,通过需求和设计重写、制定精化策略并逐步精化的方法,对航天嵌入式操作系统SpaceOS2的中断管理模块建立了需求层和设计层形式化模型,将模型检验和定理证明相结合,验证模型的正确性并且满足安全性质.     

基于黑盒测试环境的交会对接软件时序分析技术及应用

航天器空间交会对接难度大,GNC软件对任务的完成起到重要作用.由于交会对接控制软件功能复杂,时序要求严格,这对软件测试提出了很高的要求.基于黑盒测试环境,利用FPGA设计方法和时序分析技术,实现了对交会对接软件重要数据运行时序的捕获和对上下行信号相位关系的跟踪,完善了故障触发和上行注入手段.该测试环境在交会对接软件研制过程中起到重要作用.     

航天器机械可靠性特征量裕度的概率设计方法

提出了可靠性特征量裕度的概率设计方法,建立了可靠性指标、裕度系数和特征量设计值之间的定量关系,分别论述了航天器的机构传动裕度、密封件密封裕度、防热结构防热裕度、火工连接解锁装置装药裕度的概率设计方法,为航天器机械产品可靠性量化设计提供了技术途径。     

一种“白黑白”盒混合型航天器软件单元测试技术

软件测试是软件质量保障的基础,而单元测试是软件测试中不可或缺的重要环节.充分的单元测试对发现和排除软件中的缺陷非常有效,并且花费成本较小.基于航天器软件其较高的软件可靠性、健壮度等设计要求特点,归纳总结航天器软件单元测试的常见典型问题.结合航天器软件单元测试的具体实践,提出了"白-黑-白"盒混合的单元测试方法,旨在提高单元测试的质量与效率,从而保证航天器软件可靠性.     

航天器太阳翼展开可靠性的评估方法

作为航天器的电能供给装置,太阳翼对于航天器飞行的成功起着重要作用.文章基于航天器太阳翼展开过程的分析,确定了以太阳翼铰链的总驱动力矩作为展开可靠性的特征量.基于“应力—强度”干涉理论,提出了利用太阳翼铰链线驱动力矩和阻力矩等测试数据进行太阳翼展开可靠性定量评估的方法,并给出了某卫星星座用太阳翼展开可靠性评估的应用示例,为航天器太阳翼的可靠性验证提供了技术途径.     

基于拜占庭容错体系构架的航天器控制系统测试性设计与分析

摘要： 飞行控制系统作为航天飞行器的关键机载系统,其运行情况直接关系到飞行任务的成败.通过良好的测试性设计,可以提高系统的可靠性和安全性,减少维修人力及其他保障资源,降低寿命周期费用.对拜占庭容错体系结构的航天器控制系统和分层多信号流图模型的测试性设计和建模方法进行了详细的叙述,并对基于拜占庭容错体系结构的航天器控制系统进行了测试性建模,通过测试性建模和分析系统（TMAS软件）验证控制系统测试性设计的正确性和有效性.     

面向航天型号软件的混成建模语言研究

随着我国航天事业的快速发展，软件在航天器中的作用和地位越来越突出，航天软件逐渐成为航天型号任务成败的关键之一.航天型号软件普遍具有实时性高、可靠性要求高、运行环境复杂以及航天器结构复杂、资源受限等特点，这给航天型号软件的描述、设计、分析和实现带来了巨大的挑战.嵌入式周期控制系统语言(SPARDL)仅关注了离散时间的动力系统，为了描述物理世界的连续行为，希望发展一种面向航天型号软件建模特征的混成描述语言(HSPARDL)，使其能够统一地描述其运行的物理过程与软件的控制行为，以及它们之间的协同交互机制，同时，为其提供严格的形式语义模型确保嵌入式软件设计的正确性和可靠性，最终为航天型号软件的设计和实现提供坚实的理论基础和方法支撑.     

天宫一号目标飞行器控制计算机的设计与验证

与载人航天一期＂轨道舱＂相比,载人航天二期天宫一号目标飞行器对控制计算机的功能、性能和环境适应性都提出了更高的要求.依据GNC分系统对控制计算机的功能与可靠度需求,介绍天宫一号目标飞行器控制计算机的容错方案、硬件设计、系统软件设计、可靠性分析和试验验证情况,地面验证结果表明：天宫一号目标飞行器控制计算机设计满足GNC分系统的需求.     

用于空间站的四重冗余对接控制系统设计

针对空间站所处太空环境的特殊性、对接机构对空间站正常运行的重要性,以及对航天器可靠性要求日益增加的问题,提出在对接控制系统中增加可靠性设计,实现整个机构的高质量、平稳运转。在完成正常控制功能的基础上,在系统中采用了四重冗余的工作机制,包括主备机双热备份、自动/手动控制模式切换、自动控制关闭指令双线发送和工作模式的三取二判断,对四重冗余设计的具体判断流程进行了详细地解释。对控制系统软件进行仿真验证,结果表明：由本文所述方法设计的对接控制系统具有高可靠性和故障容错能力。     

一个模糊软件可靠性模型的进一步确认

事实已经表明,概率方法在软件可靠性建模中遇到困难。本文介绍一个有效性业已初步确认的模糊软件可靠性模型。通过分析一个实际飞控软件的可靠性行为,进一步确认该模型的有效性。     

天宫一号目标飞行器GNC分系统容错策略设计

天宫一号目标飞行器是中国研制的新一代专门用于交会对接的大型载人航天器.为保证其长期在轨安全可靠运行,顺利完成与载人飞船的交会对接任务,以及单体飞行和组合体飞行期间的姿态和轨道控制任务,要求GNC分系统设计充分的容错策略.对GNC分系统软硬件平台进行介绍,对敏感器、执行机构以及控制器的软硬件容错策略进行详述.该策略在实际应用中得到验证,结果表明设计合理,可以有效提高GNC分系统的系统性能和可靠性.     

软件可靠性测试充分性问题的理论研究

在分析了软件可靠性测试充分性准则研究的重要意义的基础上,阐述了软件测试充分性准则的概念、分类以及软件可靠性测试充分性准则与整个软件测试充分性准则体系的关系,提出了其在软件可靠性测试中的一种实现方法,是借鉴已有的软件测试充分性方面的理论,对软件可靠性测试充分性问题进行的初步探索.      

软件可靠性参数研究

确定软件可靠性的定量要求是软件可靠性工程面临的首要工作内容.本文讨论了软件可靠性定量要求的意义、特点、描述,对一般的软件可靠性参数进行了分析,提出了结合武器装备特点的软件可靠性参数,并给出了软件可靠性参数的选取及其指标确定应考虑的因素.      

软件可靠性预计方法研究及实现

软件可靠性评估可以估计和预计软件可靠性水平.为了解决软件可靠性预计过程中存在的问题,提出了一种软件可靠性预计方法.该方法通过分析和改进模型的预计质量来选择模型进行预计,对模型预计质量的分析使用了U图、Y图和对数PLR图,再标定法和组合法被用于改进模型的预计质量.在该方法的基础上开发了软件可靠性分析工具,此工具可以进行多种软件可靠性模型的原始预计、预计质量分析和改进原始模型的预计质量.