SCADE是英文 Safety-Critical Application Development Environment的缩写,它是一个高安全性的应用开发环境。 |
|
1 从需求到代码 | |
SCADE编辑器提供了二套机制来进行图形化建模:数据流图和有限状态机。这二套机制都建立在严格的数学模型基础之上,具有严格的数学语义,它们保证了设计模型的精确性、完整性、一致性、无二义性。这些都是高安全性系统的基本特性。 |
|
SCADE的图形化编辑器界面友好,易学易用,有助于系统设计组同软件设计组之间的交流,从而缩短产品开发时间。 |
模拟仿真 |
|
形式验证 |
|
嵌入式代码的自动生成 KCG 2 与其它工具的桥接 与配置管理工具的桥接 与Simulink的桥接 |