白皮书
基于SCADE套件的DO-178C目标安全航电软件的高效开发
本文档详细解释了DO-178C和DO-331指南中描述的符合DO-178C的软件生命周期。它还简要介绍了ARP 4754A符合系统生命周期的概述，并解释了如何使用适当的建模技术和从模型中生成合格的代码可以大大提高安全关键软件开发和验证的生产力。
白皮书
本文档详细解释了DO-178C和DO-331指南中描述的符合DO-178C的软件生命周期。它还简要介绍了ARP 4754A符合系统生命周期的概述，并解释了如何使用适当的建模技术和从模型中生成合格的代码可以大大提高安全关键软件开发和验证的生产力。
