机载软件适航标准DO-178B/C研究出版时间:2013年版内容简介 《机载软件适航标准DO-178B/C研究》深入解读了民用飞机机载软件最具代表性的适航符合性方法RTCADO-178B/C标准。在对该标准的相关知识和基本内容介绍的基础上,结合目标、活动和符合性数据,从过程和目标两个方面对RTCADO-178B/C标准进行详细地解读,并对其附加考虑、应用准则和对标准的偏离等进行分析。进一步,通过对与之相关的民机系统研制标准的介绍,系统地解读整套民机机载软件适航符合性方法及项目经验,详细分析DO-178B/C标准各过程阶段的研制要求。最后,通过与其他行业安全相关软件常用研制标准的对比,为研制单位在现有基础上快速建立满足DO-178B/C要求的软件研制体系提供参考。目录1 绪论1.1 机载计算机及机载软件1.1.1 机载计算机1.1.2 机载软件的重要1.1.3 机载软件体系结构1.2 RTCA DO-178B/C标准发展概述2 相关知识概述2.1 适航及民用航空器安全性2.1.1 适航标准2.1.2 适航管理2.1.3 适航技术和符合性方法2.2 机载设备的技术标准2.3 机载设备的适航管理2.4 相关技术发展趋势2.4.1 软件安全性2.4.2 软件可靠性3 基本内容3.1 基本理念3.2 软件生命周期过程3.3 失效条件和软件级别3.4 目标概述3.5 DO-178B标准的主要内容及章节安排3.6 DO-178C标准的新变化4 过程分析4.1 过程的含义4.1.1 软件计划过程4.1.2 软件开发过程4.1.3 软件综合过程4.2 过程的结构4.3 过程间的交互4.4 本章小结5 目标分析5.1 目标的含义5.1.1 目标的详细描述5.1.2 DO-178C新增目标描述5.1.3 目标间的关系5.2 目标的分布与差异5.3 目标和过程之间的关系5.4 本章小结6 DO-178B/C标准的附加考虑6.1 先前开发的软件6.1.1 相关考虑6.1.2 适航影响6.2 使用自动化工具进行软件的开发和验证6.2.1 工具鉴定6.2.2 开发和验证工具的鉴定要求6.2.3 工具操作需求6.2.4 DO-178C中的工具鉴定6.3 使用可实现对DO-178B替代的其他方法6.3.1 形式化方法6.3.2 穷举测试6.3.3 多版本非相似软件6.3.4 服务历史记录6.4 本章小结7 DO-178B/C标准的应用7.1 应用准则7.1.1 系统和软件研制单位的研制准则7.1.2 取证试验7.1.3 整机研制单位的研制准则7.1.4 审查部门的审定方式7.2 对标准的偏离7.2.1 软件级别的确定7.2.2 非激活代码7.2.3 验证试验前软件成熟度7.2.4 单一需求级别7.2.5 商用货架成品软件7.2.6 参数化数据项7.2.7 面向对象技术7.2.8 基于模型的研制和验证7.3 本章小结8 DO-178B标准与相关工业标准关系分析8.1 ARP 4754(关于高度综合或复杂飞机系统的合格审定考虑)8.1.1 标准简介8.1.2 与DO-178B的关系8.2 ARP 4761(民用机载系统和设备安全性评估过程的指南和方法)8.2.1 标准简介8.2.2 与D0-178B的关系8.3 DO-254(机载电子硬件的设计保证指南)8.3.1 标准简介8.3.2 与DO-178B的关系8.4 DO-248B/C(D0178的FAQ)8.4.1 标准简介8.4.2 与D0-178B/C的关系8.5 D0-278(地面和空中交通管制软件标准)8.5.1 标准简介8.5.2 与DO-178B的关系8.6 DO-330(工具鉴定)8.6.1 标准简介8.6.2 与DO-178B的关系8.7 本章小结9 DO-178B标准与相关软件标准比较分析9.1 与GJB 5000A-2008对比分析9.1.1 标准简介9.1.2 与DO-178B的比较9.2 与IEC 61508-3对比分析9.2.1 标准简介9.2.2 与DO-178B的比较9.3 与EN 50128对比分析9.3.1 标准简介9.3.2 与DO-178B的比较9.4 与IEEE-EIA 12207.0对比分析9.4.1 标准简介9.4.2 与DO-178B的比较9.5 与ESA PSS-05-0对比分析9.5.1 标准简介9.5.2 与DO-178B的比较9.6 与FDA指南对比分析9.6.1 标准简介9.6.2 与D0-178B的比较9.7 本章小结10 总结与展望附录A DO-178C及其补充文件的目标矩阵表A-1 Do-178C目标矩阵表A-2 D0-331目标矩阵表A-3 DO-332目标矩阵表A-4 DO-333目标矩阵表附录B 软件审定计划案例参考文献缩略语索引 上一篇: 特种飞机的改装设计 下一篇: 航空舵机系统设计引论