DO-178C[[i]]在核心文档在DO-178B的基础上进行了重要改进，其中补充文档对特定的技术—软件形式化方法进行了详细的说明。DO-178C首次正式地承认了机载软件开发过程当中使用形式化方法的有效性。形式化方法是一类用于机载软件的规约、开发和验证的基于技术的数学方法，例如:形式化方法工具可以用来表达飞机上的数学表达控制原则以及它们到飞机计算机上的软件代码的转换。形式化方法可以应用到软件开发的...

特别声明： 版权声明：本文内容由网络用户投稿，版权归原作者所有，本站不拥有其著作权，亦不承担相应法律责任。如果您发现本站中有涉嫌抄袭或描述失实的内容，请联系我们jiasou666@gmail.com 处理，核实后本网站将在24小时内删除侵权内容。