基于Klocwork的C/C++软件静态检查

为了保证基于Linux与VxWorks操作系统的C/C++软件代码的质量,需要对软件源代码进行Klocwork检查。分别以SVN与ClearCase作为配置管理工具,将Klocwork工具分别在不同的操作系统下完成安装与配置之后,对C/C++源代码进行Klocwork检查。介绍了Linux环境下配置管理工具SVN客户端安装、SVN版本库的代码更新、Klocwork工具的安装与配置、ClearCase版本库的代码更新、以及Klocwork分别在Linux与VxWorks操作系统下进行Klocwork检查的步骤。给出了Klocwork检查分别在Linux与VxWorks操作系统中的详细检查步骤与检查脚本,以及对已经被检查出来的缺陷的处理。典型案例表明,Klocwork检查有助于及时发现并解决C/C++软件源代码的各种缺陷,从而提高软件质量和安全性。     

数学表达式遥测工程参数解析系统实现

为解决航天靶场测控中心实时遥测数据处理软件开发过程中航天器工程参数类型多、数据量大,遥测参数必须频繁更动源代码的问题,引入了数学表达式解析方法。论述了表达式解析系统的设计思想,并从理论上对表达式解析系统的需求和设计原则进行简要分析,在Qt集成开发环境中结合标准C++库进行了系统实现,提出了逆序函数处理思想,有效解决了函数嵌套的问题,最后通过举例详细说明了表达式解析系统的处理过程,并通过测试字符串表达式验证了系统的正确性。     

机载适航标准DO-178B/C软件开发过程研究

介绍了DO-178B/C标准的发展历程,结合对DO-178B/C标准机载软件生命周期过程的研究,分析了机载软件开发过程需求、设计、编码和集成子过程的关系及输入输出数据,在分析机载软件需求、设计、编码及集成子过程的目标、活动和转换准则的基础上,给出了各子过程的过程模型.展望了DO-178B/C标准的未来研究方向.     

基于DO-178C的机载软件质量保证与管理

DO-178C 作为机载软件适航可接受的符合性标准,明确要求机载软件综合过程中必须包含软件质量保证（SQA）过程。以机载软件的软件生命周期定义、过程和数据为基础,从目标、活动和符合性评审三个方面分析基于DO-178C 的软件质量保证过程的实施;结合软件项目质量管理技术和工具,从规划软件质量管理、管理软件质量和控制软件质量三个过程研究基于DO-178C 的软件质量管理方法并给出工程实践建议。结果表明：本文将软件质量保证与质量管理紧密结合,形成了适航要求的相关证据,提供了符合需求的民用机载软件,有效保证了机载软件的质量和持续改进措施。     

C/C复合材料与金属连接及接头力学性能测试

对C/C 复合材料与铜合金的真空钎焊方法进行了介绍,着重列出了近年来出现的活性钎料及相关的焊接工艺参数,并将VIB元素对C/C复合材料表面的改性效果作了对照;介绍了银基活性钎料连接 C/C复合材料与钛合金技术,对该过程钎料和母材相互扩散机理做了描述;概述了C/C复合材料和铝合金、镍和不锈钢金属的粘结及钎焊工艺,列出了 C/C 复合材料与金属接头的剪切强度、冲击热应力等的测试方法.     

嵌入式数据库SQLite在Windows程序中的应用

介绍了SQLite 系统的特点和体系结构,数据库应用环境是零配置,可以减少应用程序的体积.阐述了在Windows平台上的应用方法,利用SQLite提供的C语言API函数,完成了Windows平台对SQLite嵌入式数据库系统操作,提出了将Sqlite的源代码直接嵌入到应用程序中的开发方法,对数据库安全提供有效保证.     

HP1120C／1125C喷墨打印机维护诀窍

介绍了HP1120C及1125C喷墨打印机使用过程中常见故障的检查及解决办法，对拥有HP1120C或1125C喷墨打印机的各单位有一定参考价值，对其他打印机的维护、保养亦有借鉴作用。     

MATLAB与C＋＋结合复杂动态对象仿真建模方法

MATLAB/S imu link是一个强大的自动控制系统工程仿真工具,但在进行复杂动态对象仿真建模时需要大量的S imu link模块的堆叠,难度之大使得实现建模上花费的时间预计占系统开发周期的大半,而且得到的仿真模块通常具有可读性差、容易出错等缺点,运行时占用大量的系统时间和内存空间,对其进行调试和修改也很困难。本文介绍了作者探寻的使用MATLAB/S imu link结合C++编写成的现成类库进行复杂对象仿真建模方法,详细论述了C++m ex函数工程创建编译的过程和利用m ex函数和S imu link S-function进行复杂动态对象整体仿真建模的思路。通过应用实践表明,这种仿真建模方法不但减少了重复劳动的代价,加速了自动控制系统设计周期,使得复杂动态对象仿真模块简洁高效,还可以起到保护数据安全和知识产权的作用。     

浅谈DO-178C中附加代码验证目标的实现

DO-178C要求基于需求的测试结构覆盖率分析可以在源代码、目标码或者可执行目标码级别开展,如果结构覆盖率分析在源代码级别开展,那么测试覆盖分析并不包含对编译器、链接器产生的附加代码的验证。DO-178C要求A级软件应特别关注这些附加代码,对附加代码进行识别,并按照正常代码的验证要求对附加代码进行验证。在分析DO-178C、DO-248C、CAST-12的基础上,从适航认证角度探讨了基于源代码执行结构覆盖分析时,A级软件如何满足DO-178C表A-7目标9“不能追踪到源代码的附加代码的验证已完成”。     

C919民用飞机飞控系统鉴定试验环境设计

C919 试验环境设计为C919 主飞控电子鉴定试验提供工具和手段,为机载设备适航检查提供支撑数据和证明材料。介绍C919 飞控系统鉴定试验的必要性以及主要的试验类型,对C919 飞控系统鉴定试验环境进行设计,包括试验环境的主要组成、功能以及测试时序和监控逻辑的设计等,并对民用飞机飞控系统鉴定试验环境的设计结果进行测试和评定。结果表明：该设计能够满足民用飞机鉴定试验要求,易于工程实现,过程数据处理算法以及鉴定试验结论报告能够支持适航符合性要求。     

嵌入式处理器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机器码程序是否在编译过程插入例外异常代码,以防止其带来的安全隐患,保证航空航天嵌入式安全关键软件机器码的安全性和可靠性。     

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

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

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

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

Developing error-free software

The authors describe experience gained in designing reconfiguration-error-free software at IBM's Federal Systems Division in Houston. From 1982-5, this division reduced software product defects to 0.11 errors per thousand lines of source code. Four measurements defining software quality are described. Also discussed is NASA's development of a standardized software support environment, and the US Department of Defense Software Technology for Adaptive Reliable Systems (STARS) program. These environments provide for early control, standardization, and integration of requirements, leading to more easily maintained software and reduction of critical skill level for its maintenance     

TMS320C6678多核DSP的加载配置和实现方法

程序代码正确的固化加载运行是多核DSP应用的前提和基础.简要介绍了DSP的加载器和加载过程,阐述了多核处理器件的加载配置管理方法.以TI公司的多核DSP TMS320C6678为例,介绍了多核DSP的加载模式和流程,详细阐述了EMIF16的Nor FLASH加载实现方法,可以实现多核DSP软件的正确、可靠加载运行.     

基于PMAC的板材渐进成形数控系统的开发与研究

开发一种基于PMAC运动控制卡的渐进成形数控系统,它具有很强的扩展性和移植性.介绍了该数控系统的软硬件结构,详述通过VC++6.0MFC开发数控系统上位机软件的方法.为了解决在高速加工复杂轨迹时容易出现的工件过切和机床异常振动的问题,引入了一种实时的进给速度前瞻控制方法.     

基于模型的自动驾驶仪软件开发

针对传统自动驾驶仪软件开发效率低、周期长、成本高及难度高的缺点,提出基于模型的自动驾驶仪软件开发方法。详细介绍了利用MatLab/Simulink自动代码生成技术进行自动驾驶仪软件开发的完整过程,对自动生成的代码进行了分析及整合,最后利用嵌入式平台MSP430进行功能性验证具有一定的工程应用价值。     

脉冲超宽带信号测量性能分析

超宽带技术是一项新兴的无线通信技术,具有极其广阔的发展前景,但目前仅用于室内短距离通信,少见用于航天测控系统。为了将超宽带技术应用于测控系统中,以模糊函数为工具,对脉冲超宽带信号的测量性能进行分析。首先推导矩形脉冲串信号和载波调制矩形脉冲串信号的模糊函数,并对其模糊特性进行仿真分析。在此基础上,主要针对用于测控系统的伪码调制脉冲超宽带信号,利用其模糊函数分析其测距测速性能。结果表明:该超宽带信号具有良好的测距测速性能,其最大无模糊距离为1个伪码周期,最大无模糊多普勒频率为脉冲重复频率的倒数;单脉冲宽度越窄,其测距性能越好而测速性能越差。