主页>产品介绍>SCADE Suite

SCADE Suite product box

SCADE Suite™

航空领域高安全性嵌入式软件开发的标准

为最高的品质和安全而设计

所生成的代码通过 DO-178B的A级验证：

  • 不存在手工编码错误
  • 在项目早期进行验证，消除后期出现bug的可能性
  • KCG 经验证的代码生成器消除了部分单元测试的必要性
  • KCG 代码生成器实现了投资的快速回报
  • KCG 代码生成器可以在UNIX和Windows 平台下运行
  • KCG 认证包提供Tool Qualification Plan (TQP) 和Tool Accomplishment Summary (TAS)等证书，使您的项目更容易通过验证

Code Generator Settings

Across-the-board的质量和生产力

  • 覆盖了嵌入式开发的整个流程，从需求到实现
  • 严格的建模语义，经过验证的代码生成算法，形式验证技术，友好的用户界面。
  • 高质量、高效的需求获取，文档生成和质量保证手段（仿真、形式验证）
  • 将您的需求规范的体现出来，在模型级进行自动化管理

应用SCADE形式建模，设计者设计出的就是其所想的并能被其他人所理解的

来源于10年的工业软件应用的成功经验

SCADE Suite, 包括 SCADE KCG 经 验证的代码生成器， 被空中客车以及其供应商广泛应用于A380 和 A 400M 关键机载软件的开发 ， 以及 A340-500/600第二代飞行控制系统

François Pilarski, Systems Engineering Framework - Senior Manager Engineering,Systems & Integration Tests; Airbus France.
A380 Taking off

2005年4月27日 ，空中客车A380首航 (April 27th, 2005)

SCADE用户节省的大量资源：

  • 节省了整个项目35%的开发成本
  • 节省至少50%的软件开发成本
  • 后期需求变更之后，回归周期缩短到48小时

基于模型的安全性

创建正确的设计模型

The SCADE editor
  • 使用数据流图和安全状态机，设计出完整而无二义性的系统。
  • 执行对模型语法和语义的早期检测。
  • SCADE编辑器自动进行用户方法学的检查。
  • 保证模型具有良好的模块性。
  • 当用户同时开发时，创建一个常用的用户库。
SSM editor

图形调试和高效率仿真

  • 开发早期的功能验证。
  • 明确的数据监控。
  • 仿真结果＝运行结果。

Simuation Graph

形式验证

  • 验证算法设计。
  • 获取并验证系统级安全性特征。
  • 自动生成反例。
  • 不用使用测试用例即可检测bug。

Design Verifier Flow

生成安全、高效的产品代码

  • 模块化、可移植性、严格符合ANS标准。
  • 优化和安全的可追踪性。
  • 便捷的与您的已有代码和RTOS集成。

文档生成

Report Samples

  • 报告器可随时生成文档，你只需保证设计的正确性。
  • 用TCL脚本方便地对文档模板进行个性化定制，我们已经完成了按照GJB -438A 定制的文档生成。

与现有工作环境的集成

  • Simulink 和 Stateflow: 在SCADE中导入和重用Simulink图形块和Stateflow
  • SCCI: Microsoft SCC API，在开发过程中对多个设计版本进行管理
  • DOORS:强大需求管理工具

© 1999–2008 Esterel Technologies, Inc. All rights reserved.