航空和国防
我们致力于解决哪些问题?
航空、航天软件的开发面临着双重挑战,一方面要求开发效率不断提高,另一方面对安全性的要求也越来越高。由于行业对安全性要求的高度重视,所以出现了像DO-178B这类的软件开发认证标准,并适用于大部分的高安全性嵌入式软件开发。开发符合DO-178B标准的嵌入式软件需要消耗大量的资源,特别是其验证工作特别繁琐。SCADE Suite能在降低成本的同时保证和提高嵌入式软件的质量。
AirbusAIRBUS has actively participated in the definition and in the follow up of the qualification process of SCADE Suite's Qualified Code Generator 'KCG', thus enabling its use into qualified development environements for airborne software according to the DO 178B regulation.
AIRBUS has also helped disseminating that technology in the aerospace world, in particular in North America, through conferences, industrial contacts and exchanges with certification authorities
SCADE Suite 4.2 is used by Airbus and its equipment providers for the development of the majority of critical software embedded in the A380 and A 400M aircrafts,
as well as the secondary flight controls of the A340-500/600 in operational use since August 2002
SCADE Suite 如何解决这一问题?
爱斯特尔技术公司将SCADE (Safety-Critical Application Development Environment)进行了标准化和产品化。SCADE代码生成器(KCG)通过了DO-178B A级(该标准中的最高级别)认证标准,这使得空中客车一类民用航空巨头都承认这一产品的安全性。
与其他方法不同, SCADE可以直接生成高质量的嵌入式产品代码。 该设计基于“基于模型、正确构造”方法学并通过经DO-178B认证的代码生成器输出结果,使开发者能够省略对SCADE代码的单元测试,降低30-60%的开发成本。.
SCADE已被60多家知名企业采用,其中包括 Airbus, Pratt & Whitney, Elbit, Rockwell Collins, Honeywell, Hills Air Force Base, EADS Military, Eurocopter, 以及Hispano-Suiza。SCADE Suite还被用于生成自动驾驶仪,飞行控制,发动机控制,刹车系统,驾驶舱显示,动力管理和其他关键系统的代码规范。
SCADE接口模块的功能使得 DOORS®, Simulink®这一类经典开发工具以及几乎所有商用的源代码控制工具都成为SCADE开发流程的补充工具。

优点
- 成本和投放市场的时间缩短了40-60%。
- 代码质量和开发效率大大提高。
- 需求更改之后,系统的回归周期减少了3-4倍。


