Esterel Technologies>Industries>航空与国防

航空航天和国防领域

在航空航天和国防领域有超过50个项目（无论是人工操纵的还是无人驾驶的，也包括 SCADE 生成的应用达到 DO-178B A 级的应用工具）都使用了爱斯特尔的解决方案，来对高安全性嵌入式控制应用进行延展，爱斯特尔的解决方案包括 SCADE® 家族产品和其专业服务的配套。 SCADE 用户遍布世界上大部分航空航天、国防、航海和军用汽车制造商，其中包括空中客车， BAE 系统，波音， EADS ，通用， Lockheed ， Rolls-Royce ， Pratt & Whitney ， 美军和 Embraer 。 这里只能列出一小部分名单。

这些产品为高安全系统和任务的研发者提供了一个优化的，基于模型的，特别为高安全应用研发而设计的开发环境。 SCADE Suite® 和 SCADE Display® 提供形式化的，无二义性的，基于模型的开发， 从而分别使高安全性嵌入式控制应用和高安全性图表演示应用成为构造正确的设计。 用该形式化、基于模型的方法，高安全系统的研发者不再需要等待进程后期的测试和验证，来保证他们的系统是安全的，并满足预期的需求。 研发人员可以高效地创建基于模型的设计，它是形式化的，无二义的正确构造。 由于严格的语义， SCADE 提供验证和经认证合格的代码生成技术，提高设计的重用性，可维护性，以及研发人员的生产力。 使用 SCADE ，需求可以很轻松地被追踪，而且在整个设计过程中，设计文档可以保证是实时更新的。 SCADE 和整个生命周期开发的工具链相连接，促进了开发组成员间的交流与合作。

在航空航天和国防应用中的证明

使用 SCADE 的应用程序有:

SCADE 生成的应用工具达到 DO-178B A 级水平

SCADE 已经被 FAA, EASA, 和 Transport Canada 认证，达到 DO-178B A 级水平. 使用SCADE正在研发中的以及已经开发出的应用包括：

• UK MoD Watchkeeper (UAV flight controls)
• Hispano Suiza Rafale Fighter (FADEC)
• Eurocopter EC 725 Caracal (Cockpit Display System)
• Eurocopter EC 145 (Autopilot, flight controls, displays)
• Black Hawk UH-60 (Cockpit display logic)
• Airbus A400M (Flight controls, load management, fuel control, anti-icing, high-lift controls, braking and steering, displays-primary,
• navigation, engine warning, system, oxygen control, guidance and inertial navigation)

SCADE 给航空航天和国防带来的益处

• 进入形式化的，无二义的图形设计
• 通过正确构造设计、自动验证和合格的代码生成，来提高研发人员的生产力
• 合格的代码生成可加速迭代开发进程
• 基于模型的设计提高了对需求变化的应对能力，提高了软件的可重用性和可维护性
• 充分集成的工具链和生命周期确保了在这个生命周期中的既无缝衔接，又高效的工作流程
• 促进了国际供应商、飞机制造商和OEM在形式化、基于模型的设计中的交流与协作