主页>产品介绍>SCADE Suite>编辑器

SCADE Suite 编辑器

确定的数据流和安全状态机符号的组合

图形化表示的数据流和层级化的状态转换图

SCADE提供直观而友好的界面

Editing a PI node with SCADE

数据流编辑器

Editiong a cruise control state machine with SSM Editor

安全状态机编辑器

模型的完整性和确定性

SCADE检查模型的完整性和确定性,包括死循环检测、类型匹配、数据流匹配等问题。

Quick check of the Cruise Control node from SCADE

结构化模型:可读性和可重用性

call graph视图让您的模型一目了然:

Cruise Cotrol call graph

保证语义的正确性和可读性的强数据类型语言

SCADE是强数据类型的,例如:在使用或门时,期望输入的类型都为布尔型,它不允许Speed输入类型。

Error when using a Speed like a bool

预定义数据类型和用户定义的类型

内置的SCADE类型编辑器允许创建并编辑大量的数据类型。

types used in the Cruise Control Design

预定义的数据类型:

  • boolean
  • integer
  • real
  • char

用户自定义类型,例如:

  • structures
  • enumerated
  • 导入的CAda代码定义

Look-up Table 创建向导和语义句法检查

简便地创建Look-up table

Using a Look-up table with SCADE

直接调用用户自定义的CAda函数

Interface of an imported node in the Framework view

象一个 SCADE 节点一样定义一个 C ADA 函数的界面

Call of an imported node in a SCADE node

象一个 SCADE 节点的使用

使用生成的模板并填入内容.

Filling the generated template

数据流图跟踪

快速浏览数据流图,输出/输出的定义及调用关系等。

The Data Flow browser

SCADE库元件

SCADE提供了许多自定义的库函数,包括:derivatives, integrators, hysteresis, quantizer, filters, gain, flip-flops

Several standard library symbols

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