机构名称：
¥ 1.0
工程师们依靠保守的最佳实践和将安全考虑融入组织方方面面的文化来开发安全关键型系统。这些实践反映了 ISO 9001/CMMI ® 1、ISO-IEC SC 7 流程标准套件以及特定于安全关键型软件系统认证的标准和实践，例如 DO-178B 和 C、SAE ARP 4754 和 SAE ARP 4761 [RTCA 1992/2011；SAE 2010, 1996]。2 飞机机载软件的规模和复杂性呈指数增长（图 2）。在当前的“先构建后测试”实践下，当前一代飞机软件的行业成本已达到难以承受的 80 亿美元 [Redman 2010]。同样，美国陆军已经认识到，由于软件规模和交互复杂性的增加，在当前试图实现全代码覆盖的软件测试实践中，对旋翼机适航性的评估已变得越来越不可行 [Boydston 2009]。
提高安全关键型软件质量的四大支柱
主要关键词
相关文件推荐
