C/C++软件的危险函数静态检查研究

C/C++软件开发过程中,源代码中若使用了危险函数,会造成内存缓冲区溢出,产生严重的安全漏洞和隐患,因此对源代码进行危险函数检查非常重要.对于大型软件模块需要将危险函数静态检查工具集成到持续集成工具上,对源代码进行危险函数检测.结合工作实践,介绍了危险函数检测工具,叙述了对源代码进行检查的流程;详细叙述了基于持续集成的危险函数检查过程;最后介绍了两个典型案例.工作实践表明,进行危险函数检查有助于及时发现和处理软件中的危险函数隐患,从而提高软件产品的质量和安全性.     

μC/OS-Ⅱ操作系统在飞机座椅电源模块软件设计中的应用

基于座椅电源模块的实时性需求,在产品软件设计中引入μC/OS-Ⅱ操作系统,并对基于μC/OS-Ⅱ操作系统的软件设计进行了详细论述,包括软件总体设计、μC/OS-Ⅱ操作系统移植及任务优先级的划分,并对软件设计进行了验证,验证结果表明,该产品软件具有很好的实时性和稳定性。     

从DO-178C的新变化透视软件适航关注点

深刻理解DO-178C标准对于提升机载软件开发能力具有重要意义。分别从软件生存周期过程活动和过程目标两个维度对比和分析DO-178C与DO-178B的差异,按照计划过程、开发过程、验证过程、配置管理过程、质量保证过程和合格审定联络过程分类,列举了每个过程新增的或变更的考虑内容,并详细分析了过程目标的变化。根据差异分析,从强调以目标为中心、源代码到目标码的映射、参数数据、双向追踪、基于需求的鲁棒性测试和耦合性验证6个方面解析了DO-178C强调的思想,并总结了一些可行的实践。     

基于ARM下VxWorks的嵌入式车载图形系统设计

为了实现嵌入式车载系统设计,采用软硬件协同设计技术路线。研究了基于ARM9的S3C2410处理器为核心的嵌入式车载软件的运行机制,包括系统硬件初始化,VxWorks操作系统内核的配置与装载,Vxworks下的LCD显示技术和触摸屏控制技术的应用实现车载仪表信息的显示与交换功能,并通过VxWorks多任务的进行控制。通过实验测试,系统随时进行车载娱乐、自主导航、信息查询等功能。方案实时性好,操作方便。     

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

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

基于VxWoks的直升机飞控系统半物理仿真软件技术

开发高性能可靠的飞控计算机是直升机研制的重要一步,在试飞之前,需要对飞控系统进行全面的仿真测试.结合控制律软件设计,提出一种基于嵌入式VxWorks操作系统,结合RTW工具箱进行飞控系统半物理仿真研究的方案.详细说明了使用RTW生成实时目标代码的过程和外部模式的配置.开发了半物理仿真平台的软件,并与控制律软件、飞机模型、飞控操纵台进行联合调试.解决了RTW生成模块中信号量访问、仿真软件各功能模块优先级划分、串口数据读写等问题.最后给出了联合调试的实际仿真结果,并验证了该方案的软硬件的可靠性.可以应用到进一步的试飞工作中.     

一种远程维护发布系统的设计与实现

为了满足高密度测控任务需求,有效缩短软件维护发布周期,提高工作效率,加强任务软件的有效配置、管理及控制,提供海上测控软件远程支持,研究了一种海上测控软件远程维护发布系统,该系统可实现测控软件的统一维护发布、安装、使用和更新等远程管理。文章详细阐述了该系统的体系结构、C/S模式的软件组成（包括服务器端系统发布管理软件和客户端更新代理软件）、主要功能模块及客户端工作流程,分析阐述了该系统的安全机制等技术。     

嵌入式处理器P2020机器码程序到C语言源程序的溯源方法

处理器PowerPC P2020在航空航天等嵌入式领域被广泛应用,以RTCA/DO-178C中A级软件的适航要求作为研究的出发点,提出了从文件、函数声明、函数体代码3层次实现P2020机器码程序到C源程序的溯源方法。在获取C语言源程序与PowerPC P2020机器码程序文件名列表的基础上,实现PowerPC P2020机器码文件主名的溯源;通过遍历C源程序抽象语法树和PowerPC P2020机器码获取函数名列表,实现PowerPC P2020机器码函数声明的溯源;通过定义C语言程序抽象语法树节点生成期望汇编指令序列的规则,实现PowerPC P2020机器码函数体的溯源。通过设计245个C源程序文件与345个PowerPC P2020机器码程序文件,1 111个C语言函数声明与1 273个PowerPC P2020机器码函数声明,以及覆盖C语言程序23类语法结构的460个测试用例,验证了PowerPC P2020机器码程序到C源程序的自动化溯源方法的有效性。结果表明：文件溯源和函数声明溯源的追溯匹配率达100%,程序函数体代码的平均溯源匹配率达97.22%。溯源匹配结果可以检查PowerPC P2020机器码程序是否在编译过程插入例外异常代码,以防止其带来的安全隐患,保证航空航天嵌入式安全关键软件机器码的安全性和可靠性。     

基于TMS320C6713B的远程软件加载设计与实现

针对以TMS320C6713B为核心的某嵌入式系统要求通过RS422/485进行系统应用软件的加载与固化,摆脱JTAG口调试电缆的长度限制的问题,描述了一种采用RS422/485进行软件加载与BOOTLOAD的设计方法,从硬件设计、软件设计两大方面说明基于C6713B的远程软件加载系统的实现,对TMS320C6713B使用DSP/BIOS配置、EMIF总线外挂大容量SDRAM等一些新特点进行软件加载系统的设计,从而满足了嵌入式系统对远程加载软件大数据量,快速传输的要求.     

电镀金刚石工具“以磨代铣”C/E复合材料的试验研究

针对硬质合金铣刀铣削加工碳纤维/树脂(C/E)复合材料极易产生毛刺、纤维撕裂等缺陷且刀具磨损严重的特点,尝试采用研制的电镀金刚石工具对C/E复合材料盲槽进行干式加工试验,并与传统的硬质合金铣刀进行对比。通过对加工后的盲槽表面质量、加工力以及刀具磨损分析,确认用"以磨代铣"的工艺方式实现C/E复合材料盲槽加工是可行的。     

基于CATIA／CAA数模属性自动校验技术研究

针对在CATIA中使用人工审核方法检测工装数模规范性时效率低、易漏检等问题,提出了一种对工装数模规范性进行自动校验的方法。该方法基于CAA,以CATIA为平台,Visual C＋＋为编程工具,能够自动怏速准确进行检验,解决了订货单信息、数模信息自动获取的难题。缩短了工装设计周期中用于校验的时间,提高了工作效率,为模具设计部门对工装数模规范性实现高效检测提供了帮助。     

基于RTW和嵌入式操作系统VxWorks的飞控系统半物理仿真实现

提出一个飞控系统半物理仿真方案。仿真系统基于嵌入式实时操作系统VxWorks，使用RTW工具箱将飞机的Simulink仿真模型下载到PCI04计算机平台，提高了半物理仿真的效率和可靠性。设计开发支持PC104嵌入式计算机的VxWorks板载支持包，研究RTW的代码生成过程，解决了实现该方案的关键技术。     

基于PC104总线的VxWorks BSP设计

设计开发了嵌入式实时操作系统VxWorks的一种基于PC104总线的板载支持包,完成了相关的外围驱动程序设计和调试工作。     

高速圆柱滚子轴承工作温度研究

将滚子与套圈滚道摩擦生热视为移动热源,建立了高速圆柱滚子轴承温度场计算模型;使用ANSYS的APDL语言发展了轴承工作温度分析的参数化程序,输入热流密度等边界条件,程序能够自动建模精确的分析高速圆柱滚子轴承工作温度.以一个型号轴承为例,分析了不同工况参数对轴承工作温度的影响,结果显示轴承内圈转速、径向载荷和润滑油入口油温对轴承工作温度影响显著.      

基于模型检验的飞机系统安全性分析方法研究

传统的安全性分析方法,受到分析人员自身技能和经验等因素的影响,容易疏漏系统的失效状态或误判失效的影响。模型检验利用遍历算法,既可以从数学上保证搜索出系统的所有状态,不会发生疏漏;又可以利用计算机检验工具,实现自动分析过程,减少对分析人员技能和经验的依赖。将模型检验引入飞机系统安全性领域,提出了一种基于模型检验的安全性分析方法,以SAE ARP 4761标准附录中的机轮刹车系统为例,利用模型检验工具NuSMV对其安全性进行了分析,自动识别出导致某系统顶事件发生的最小失效组合,完成了传统故障树分析的目的。     

主动网络拓扑结构和操作系统伪装技术

详细介绍了一种新的基于欺骗的主动网络拓扑结构和操作系统伪装技术。通过linux系统内核驱动编程,拦截TCP/IP协议栈的数据包,根据操作系统的指纹库和网络伪装的策略改写报头信息,并跟踪会话信息,实现数据透明传输。通过大量伪装IP地址隐藏信息流向,保护重要主机;同时诱骗入侵者,及早发现入侵者。完成该伪装还需要伪装IP地址管理、动态地址分配和微路由技术的分工合作。     

构建基于自主可控平台遥感影像处理应用系统关键技术

为了满足构建基于自主可控平台遥感影像处理系统的需求,对国产软硬件环境与主流商用系统差异进行了分析,在此基础上对软硬件兼容技术进行了研究.针对硬件环境、操作系统和开发平台差异提出源代码一致的跨平台程序设计方法,屏蔽底层平台差异,可不更改源代码在不同平台上直接编译运行,大大提高了跨平台程序设计开发效率.在此基础上构建的基于自主可控平台的遥感影像处理系统,可在Windows和麒麟平台上无差异运行,提高了基于国产平台开发军事应用系统的能力.