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

SCADE Suite 编辑器

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

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

SCADE提供直观而友好的界面

模型的完整性和确定性

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

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

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

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

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

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

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

预定义的数据类型：

• boolean
• integer
• real
• char

用户自定义类型，例如：

• structures
• enumerated
• 导入的C或Ada代码定义

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

简便地创建Look-up table

直接调用用户自定义的C或Ada函数

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

数据流图跟踪

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

SCADE库元件

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