软硬件集成过程输出的评审分析方法  

Reviews and Analysis Method of the Outputs of the Software and Hardware Integration Process

作　　者：陈鑫[1] CHEN Xin(China Aeronautical Computing Technique Research Institute,Xi＇an 710068,China)

机构地区：[1]航空工业西安航空计算技术研究所,陕西西安710068

出　　处：《软件》2018年第5期101-105,共5页Software

摘　　要：DO-178B/C适航标准要求在机载嵌入式设备开发过程中对软硬件集成过程的输出进行验证,但国内对如何完成该项活动的细节仍然不甚清楚。在简述DO-178B/C标准对软硬件集成过程输出验证的要求的基础上,指出了该活动与OCA活动的差别,并以GCC工具为例,结合国产机载嵌入式操作系统TM2,提出了一个软硬件集成过程输出验证的详细解决方案,包括对编译器告警、硬件地址错误、软件部件遗漏、内存重叠、内存动态分配失控、编译链接选项错误、加载过程错误等7类缺陷的检查方法和注意事项。Some details about the reviews and analysis methods of the outputs of the software and hardware integration process during the airborne embedded equipment development according to the DO-178 B/C are not clear very much. Based the requirement of the reviews and analysis activities of the outputs of the integration process in the DO-178 B/C, point out the difference between these activities and object coverage analysis（OCA） activities. Take the GCC and the domestic onboard embedded operation system TM2 as the example, discuss the reviews and analysis methods and the matters needing attention of the outputs of the integration process in detail, include the inspections to the seven kinds of defects： compiler warnings, incorrect hardware addresses, missing software components, memory overlaps, memory dynamic allocation out of control, incorrect options of the compiler and linker, incorrect loading procedure.

关 键 词：机载嵌入式软件 DO-178B/C 软硬件集成过程 评审分析 

分 类 号：TP311.5[自动化与计算机技术—计算机软件与理论]