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

SCADE Suite 编辑器

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

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

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

Expand ImageIntegrated Data Flow and Safe Stare Machine Editor

数据流与状态机集成编辑器

提升开发人员工作效率

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

Expand Image Result of Quick Check for Model DO-178B-Flight-control

模型快速检查的结果
DO-178B-飞行控制

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

功能模块库

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

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