关键词：机载嵌入式软件 软硬件集成过程 评审分析 

摘要：DO-178B/C适航标准要求在机载嵌入式设备开发过程中对软硬件集成过程的输出进行验证,但国内对如何完成该项活动的细节仍然不甚清楚。在简述DO-178B/C标准对软硬件集成过程输出验证的要求的基础上,指出了该活动与OCA活动的差别,并以GCC工具为例,结合国产机载嵌入式操作系统TM2,提出了一个软硬件集成过程输出验证的详细解决方案,包括对编译器告警、硬件地址错误、软件部件遗漏、内存重叠、内存动态分配失控、编译链接选项错误、加载过程错误等7类缺陷的检查方法和注意事项。

软件杂志要求:

{1}来稿若有基金项目或其他资金资助项目，请详细列出基金或其他资金项目类型、名称及编号，每篇来稿的基金项目或其他资金资助项目原则上不超过3个。

{2}编辑部收到稿件后立即编号，并给回执，日后联系时请注明编号。在接到本刊回执3个月未接到稿件处理通知书，系该稿仍在审阅中。

{3}参考文献尽可能使用近5年公开发表的文献，数量在10—30条，采用顺序编码制著录，依照其在文中出现的先后顺序用阿拉伯数字标出，并将序号置于方括号中，排列于文后。

{4}每篇文稿均应标引3～8个中文及英文关键词。

{5}来稿需注明作者的真实姓名、单位、地址、邮编、职务、专业等信息，写明电子邮箱及电话以便联系。凡学生来稿请务必注明学校、专业和年级。

注：因版权方要求，不能公开全文，如需全文，请咨询杂志社