Esterel Technologies>Products>SCADE Suite>SCADE Suite 建模

SCADE Suite建模器

SCADE Suite 编辑器

编辑器是SCADE Suite开发环境内主要的交互式开发方法。通过对需求的获取，开发人员能够以简明的形式化建模方式获得认证级的SCADE Suite软件开发过程。

数据流与状态机的统一建模

SCADE Suite 通过直观的图形化注释简化了对复杂需求说明。数据流与状态机的无限嵌套层次结构能够使得开发人员构建最为自然的模型结构，而不受工具的限制。

提升开发人员工作效率

通过严格的模型语义语法规则，SCADE Suite自动保证了对需求的完整性表述，开发人员的主要工作是建立正确的应用软件。使用SCADE形式化语言，可确保独立且明晰的需求说明表述。危险的结构与不可预期的操作将排除在模型之外，这样能够避免费时的回归分析与改正。

编辑器提供给开发人员各种各样强大的模型库，以简化复杂的操作。举例来说，数组的乘法可由两个模块搭建而成，而先前得需要许多的操作符才能完成。

功能模块库

SCADE Suite提供了一组标准模块库，以满足需求。无论是飞控计算机还是轨道交通联锁系统，使用SCADE Suite进行开发不需要额外的模块库。

SCADE Suite仿真

SCADE Suite仿真提供了一个基于模型层需求的测试环境。此外，SCADE Suite技术保证了模拟的行为与目标机行为的一致性，即你所仿真的就是你所嵌入的。

应用质量的改进

基于模型的验证，加之仿真行为与目标平台的一致性，确保了开发人员从基于模型设计中获得最高利益。SCADE Suite仿真器支持各种仿真，使用者根据需求可以选择对整个系统进行仿真，对系统的一部分进行仿真，也可以对单个模型进行仿真。

SCADE Suite 仿真器可以提供交互式与批处理模式的仿真。在交互模式下，呈现在开发人员面前的是一个动态的带注解的模型视图，详细说明模型的数据值以及执行流程。断点和停止条件进一步提高了测试环境调试SCADE Suite模型的工作效率。

批处理模式为非交互式仿真提供了一个脚本模式。有了基于TCL/TK的开放式控制接口，开发者可以进行仿真测试，自动探究SCADE模型的行为方式。

SCADE Display的仿真集成

作为嵌入式应用工具和嵌入式显示领域的供应商，借助行业内独一无二的地位，爱斯特尔公司已经创建了SCADE Suite和SCADE Display仿真器的无缝集成。用对话框来创建端口映射，由SCADE Suite运算模型计算出来的值就可以直接被用来驱动SCADE Display的图形描述。