主页>产品介绍>SCADE Suite>Simulink桥接

Simulink™ 桥接

SCADE的Simulink桥接工具可以用于连接MathWorks的Simulink和SCADE. 对于期望在高安全性的嵌入式开发中直接使用Simulink模型的用户，这是一个非常重要的桥接。因为虽然SCADE和Simulink 都是建模工具， 但是在形式化的描述能力和生成“正确构造”的代码的能力方面，二者还是有很大区别的。通过SCADE与Simulink的桥接，现在我们可以保存原来的模型，帮助它们通过桥接安全的过渡到SCADE中，并继续生成安全的嵌入式代码。

控制理论和软件开发之间的断层无缝的桥接

SCADE Simulink 桥接

• 检测出Simulink模型中不安全的结构。
• 将Simulink建模的离散控制器翻译为SCADE的描述方式。
• Simulink模型更改之后，自动更新SCADE模型
• 使用SCADE 生成的产品代码在Simulink中进行全局的仿真
• 与Simulink3.0, 4.0, 4.1, 5.0以及6.0兼容 （MathWorks Inc.R11, R12, R12.1, R13 和R14）。
• Stateflow导入器将Stateflow导入为SCADE安全状态机提供了便利。