|
民用航行器中的嵌入式软件必须遵循RTCA/EUROCAE定义的DO-178B标准,达到最高的A级安全标准。以前,源代码的验证和每个模块的测试是一项非常费力而且是代价很高的工作(例如代码规则的验证,软件结构覆盖率分析等等)。运用了SCADE以后,KCG不仅能自动生成源代码,而且由于它本身满足DO-178B标准,保证了源代码的正确性,省略了冗长的单元测试和验证。迄今为止,SCADE已经帮助EC成功地通过了JAA八个项目的DO-178B质量认证。
EC引入这项技术的投入很快地在生产力的提高和时间的节约上得到了很好的补偿。在未来的项目开发中,他们还将不断地得到更大的好处。除了上述的自动飞行控制项目外,EC还将使用SCADE进行其它一些有着大规模算法功能的工程的开发。
Jacqes
Doerflinger,航空软件部门主管在EC技术董事会上认为:“我们得益于SCADE的自动代码生成,不再需要手工检查代码。SCADE提供了严格的、无二义性的机制进行需求建模,并且能够从模型生成嵌入式源代码,从而把传统的软件开发的重心转移到了需求及其确认。伴随着开发周期的缩短,SCADE还提高了需求质量的控制。 |