成功加入购物车
蔡喁 、 郑征 、 蔡开元 著 / 上海交通大学出版社 / 2013-10 / 精装
售价 ¥ 128.00
品相 九品
上书时间2026-08-18
机载软件适航标准DO-178B/C研究
《机载软件适航标准DO-178B/C研究》深入解读了民用飞机机载软件最具代表性的适航符合性方法RTCADO-178B/C标准。在对该标准的相关知识和基本内容介绍的基础上,结合目标、活动和符合性数据,从过程和目标两个方面对RTCADO-178B/C标准进行详细地解读,并对其附加考虑、应用准则和对标准的偏离等进行分析。进一步,通过对与之相关的民机系统研制标准的介绍,系统地解读整套民机机载软件适航符合性方法及项目经验,详细分析DO-178B/C标准各过程阶段的研制要求。最后,通过与其他行业安全相关软件常用研制标准的对比,为研制单位在现有基础上快速建立满足DO-178B/C要求的软件研制体系提供参考。
蔡喁,中国民用航空上海航空器适航审定中心电子电气室高级工程师,中国民航C919型号合格审定委员会委员,软件和航空电子硬件审查组长,国际局方软件组织(CAST)成员,全面参与近年来国际主要适航审定局方的政策研究和讨论。曾就职于霍尼韦尔中国研发中心,先后参加了A380、A340、B787等多个型号机载系统的软件研制项目。参加过中国民用航空局对庞巴迪、波音等多个型号的认可审查活动。曾作为编委参加了机载软件D0-178C系列标准的编制工作。主要研究方向包括机载软硬件适航审定、机载综合模块化航电系统、机载网络安保等专题。郑征,中国科学院计算技术研究所博士,现为北京航空航天大学副教授。曾获中国科学院院长奖,重庆市优秀硕士论文奖,并获得国家自然科学基金、航空基金等项目资助,主要研究方向包括软件可靠性与测试,可靠飞行控制等。蔡开元,北京航空航天大学博士,教授。国家杰出青年科学基金获得者,“长江学者奖励计划”特聘教授,曾获“高等学校自然科学奖”一等奖,获“中创软件人才奖”,并入选“新世纪百千万人才工程”国家级人选。’曾应聘于CentreforSoltwareReliability,CityUniversity,London任ResearchFellow。曾为美国PurdueUniversity的VisitingScholar,澳大利亚UniversityofWollongong的VisitingProfessorialFellow。主要研究方向包括软件可靠性与测试,可靠飞行控制,软件控制论等。
1绪论1.1机载计算机及机载软件1.1.1机载计算机1.1.2机载软件的重要1.1.3机载软件体系结构1.2RTCADO-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.5DO-178B标准的主要内容及章节安排3.6DO-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.2DO-178C新增目标描述5.1.3目标间的关系5.2目标的分布与差异5.3目标和过程之间的关系5.4本章小结6DO-178B/C标准的附加考虑6.1先前开发的软件6.1.1相关考虑6.1.2适航影响6.2使用自动化工具进行软件的开发和验证6.2.1工具鉴定6.2.2开发和验证工具的鉴定要求6.2.3工具操作需求6.2.4DO-178C中的工具鉴定6.3使用可实现对DO-178B替代的其他方法6.3.1形式化方法6.3.2穷举测试6.3.3多版本非相似软件6.3.4服务历史记录6.4本章小结7DO-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本章小结8DO-178B标准与相关工业标准关系分析8.1ARP4754(关于高度综合或复杂飞机系统的合格审定考虑)8.1.1标准简介8.1.2与DO-178B的关系8.2ARP4761(民用机载系统和设备安全性评估过程的指南和方法)8.2.1标准简介8.2.2与D0-178B的关系8.3DO-254(机载电子硬件的设计保证指南)8.3.1标准简介8.3.2与DO-178B的关系8.4DO-248B/C(D0178的FAQ)8.4.1标准简介8.4.2与D0-178B/C的关系8.5D0-278(地面和空中交通管制软件标准)8.5.1标准简介8.5.2与DO-178B的关系8.6DO-330(工具鉴定)8.6.1标准简介8.6.2与DO-178B的关系8.7本章小结9DO-178B标准与相关软件标准比较分析9.1与GJB5000A-2008对比分析9.1.1标准简介9.1.2与DO-178B的比较9.2与IEC61508-3对比分析9.2.1标准简介9.2.2与DO-178B的比较9.3与EN50128对比分析9.3.1标准简介9.3.2与DO-178B的比较9.4与IEEE-EIA12207.0对比分析9.4.1标准简介9.4.2与DO-178B的比较9.5与ESAPSS-05-0对比分析9.5.1标准简介9.5.2与DO-178B的比较9.6与FDA指南对比分析9.6.1标准简介9.6.2与D0-178B的比较9.7本章小结10总结与展望附录ADO-178C及其补充文件的目标矩阵表A-1Do-178C目标矩阵表A-2D0-331目标矩阵表A-3DO-332目标矩阵表A-4DO-333目标矩阵表附录B软件审定计划案例参考文献缩略语索引
展开全部
图2
图3
配送说明
...
相似商品
为你推荐
开播时间:09月02日 10:30