KCG和DO-178B
1 什么是DO-178B标准
民用航空电子系统的开发在提高生产力和保证安全性这两方面有着非常严格的要求。为此，国际航空无线电委员会（RTCA）针对民用航空电子系统的开发制定了DO-178B标准。在欧洲和美国，如果一架民用飞机没有通过DO-178B质量认证就不允许在其领空飞行。越来越多的国家将DO-178B标准作为民航领域必须的资格认证，在中国，DO-178B标准的推行和认证也是民航领域的必然趋势。
执行DO-178B质量认证的权威机构随着各个国家和地区不尽相同。在欧洲，该质量认证由JAA（Joint A viation Authority）执行；在美国由FAA执行；在加拿大则由Transport Canada来执行。通常，被一个机构认证通过的飞机在一定条件下也会被另外一个机构默认通过。
与DO-178B标准密切相关的还有一个国际组织，叫CAST（Certification Authorities Software Team），即权威认证的软件小组。它专门负责DO-178B标准中软件开发流程、软件质量控制以及软件质量认证等事务。该小组由JAA、FAA以及Transport Canada的代表组成，每年举行3-4次聚会来讨论各国的开发标准。
由于SCADE主要面向航空电子中软件的开发，我们与CAST保持着紧密的联系，以保证我们的产品和方法学在提高生产力的同时满足DO-178B标准。
2 SCADE/KCG与DO-178B质量认证
SCADE中的代码生成器KCG是目前世界上唯一的满足DO-178B的民航A级标准的。SCADE的使用不仅很大程度地提高了软件开发的效率，而且对DO-178B的质量认证也带来巨大的帮助。首先请看下面的事实：
著名的航空界泰斗在民用航空电子系统的开发中，为了通过DO-178B质量，都使用了SCADE。例如：空中巴士（Airbus）A340/500-600、A380的飞行控制系统、欧洲直升机（EUROCOPTER）的EC155, EC135, EC145, EC225等等。
用了SCADE以后，已有十多个航空系统成功地通过了DO-178B质量认证。
用了SCADE以后，DO-178B质量认证的成功率达到了100%。
用了SCADE以后，DO-178B质量认证的时间大大缩短了。例如，欧洲直升机的EC155原来的认证时间为20个月，用了SCADE后的认证时间缩短为8个月
如果我们从技术角度来解释这些事实，SCADE在软件开发，软件验证，软件测试，以及技术文档等几个方面为我们节约了大量的工作。
2.1 软件开发
DO-178B标准规定了航空系统开发的软件生命周期必须要经过软件需求进程、软件设计进程、软件编码进程和软件集成进程。每个进程的输出分别为高层需求、低层需求、源代码和可执行目标代码。具体地我们可以用下面的图来表示。
SCADE工具覆盖了软件开发周期中从需求到源代码的整个过程，也就是说，它覆盖了上述的软件需求进程、软件设计进程、软件编码进程。它不仅为软件开发提供了一个很好的平台，而且省略大量的软件编码的工作。
2.2 软件验证
DO-178B标准不仅严格地规定了软件开发的流程，而且还规定了每个流程都必须经过严谨的验证。光有开发进程的验证还不够，为了保证验证工作的质量，它还规定了验证工作本身还要通过验证。详见下图。
| 验证流程 | 软件需求进程的验证 | 软件设计进程的验证 | 软件编码进程 | 软件集成进程 | 验证进程的验证 | 合计 |
| DO-178B | 7个 | 13个 | 6个 | 6个 | 8个 | 40个 |
| 用SCADE可完全省略的工作项 | 4个 | 8个 | 6个 | 0 | 3个 | 21个 |
| 用SCADE可部分省略的工作项 | 3个 | 4个 | 0 | 6个 | 0 | 13个 |
2.3 软件测试
根据DO-178B标准，软件测试要完成如下图所示的7类测试。使用SCADE以后，底层测试可以完全省略，而软件集成测试、软件需求覆盖率分析、软件结构覆盖率分析，以及额外测试等等都可以得到部分的节约。
2.4 技术文档
DO-178B质量认证需要提供大量的文档。这些文档的编制和更新是一个耗费极大劳力和资源的工作。SCADE则很大程度地节约了这方面的工作：它可以自动生成大量的文档，并保持更新；KCG包里还提供了一系列的官方文档，以供DO-178B质量认证使用。
联系客服
