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