单片机软件死锁问题和配置技术设计探讨

围绕单片机软件中存在的死锁和代码数据关联度高等问题进行分析探讨。以任务运行最大CPU需求时间作为“死锁”的干预策略,提高了软件系统对“死锁”的干预能力;提出采用配置技术进行设计,降低代码和数据的关联度,并给出详细的配置流程和说明。     

姿态控制系统数控模型仿真软件设计

本文详细分析了运载火箭姿态控制系统的箭体数控模型的特点。提出运用组合算法进行运载火箭姿态控制系统数控模型仿真软件设计,介绍了箭体方程、数控差分方程常用的计算方法。所设计的仿真软件结构和处理技巧,对于缩短仿真时间,完成各种状态下的仿真任务行之有效。通过实例计算和比较,表明这些方法和措施不仅可用于全数学仿真,亦可用于半实物仿真。     

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

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

仿真软件YHSIM中“集中－混合”式数值积分技术

连续系统实时仿真软件ＹＨＳＩＭ中所采用的运用多种数值积分方法进行“集中一混合”式数值积分的积分程序的工作原理和实现技术,在本文中作了介绍。     

卫星导航系统监测站软件设计与实现

从卫星导航系统监测站的需求出发,介绍监测站软件系统结构设计,从可靠性和实时性的角度论述软件采用的实现策略,详细讨论有关数据处理技术和主备机切换技术的具体设计和实现。     

一个ATS平行测试程序的实现

自动测试系统(ATS)测试软件通常设计为一系列的数据采集、计算、显示(打印)的组合串,此法虽能完成给定的任务,但效率较低。本文介绍了一个ATS测试软件的平行程序设计方法,文中讨论了该软件的程序结构、通讯和同步,也介绍了ATS的系统配置、被测仪表特点及特殊要求。     

可编程数字下变频器的关键技术

可靠、灵活的数字下变频技术在无线通信系统中得到越来越广泛的应用。文中指出影响数字下变频器性能的主要因素 ,并提出采用经典的 CORDIC算法来降低硬件电路的复杂性。最后 ,用线性内插的方法实现了输入输出速率的分数倍变换     

一种软件实现的程序控制流错误检测方法

在太空环境中，由于宇宙射线的存在，计算机系统的硬件经常发生各种瞬态或永久故障，致使软件系统的执行流程产生错误。针对太空环境的强辐射特点，提出了一种对程序的控制流进行检查的纯软件方法RSCFC，它首先把程序划分为“基本模块”，然后给每个基本模块赋予一“关系标记”和错误探测指令。通过对程序运行期间生成的“即时标记”和事先嵌入程序的模块位置信息的“与”运算来探测控制流错误。该方法在几个C语言标准程序上进行了实现，并进行了故障注入实验，结果表明在没有RSCFC时，大约20．7％～68．8％的分支故障会产生探测不到的不正确输出，而在RSCFC存在的情况下，该区间会降低到2．8％～20．4％。与其它的软件控制流错误检测方法相比较，它具有探测率高，对原始代码影响小的特点。     

VSTS工作项模板二次开发在软件研制项目流程管理中的应用研究

项目流程管理在软件开发过程中至关重要，而有效的流程管理工具则又是项目管理工作开展的平台，是项目管理的基本前提和直接手段。微软研发的团队开发产品VSTS（Visual Studio Team System)则正是这样一款涵盖产品开发的全生命周期，为建模、开发、测试、自动构建以及缺陷管理、项目决策分析、源代码管理等提供强有力支持的配置和流程管理工具。为本文所关注的是其所提供的将配置管理与项目流程管理整合于一体的工作项管理功能。针对这一区别于其它配置管理工具的特点，在实际使用并试图发挥出该项附加功能最大作用的过程中，本文提出了 VSTS 工作项模板二次开发的方法。经过在多个具有特性化流程管理需求的组织中的推广和使用，证实这是一种便捷有效定制实现适用于不同业务特点的软件项目管理流程的方法。     

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

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