|
嵌入式系统/自动化软件展厅 |
|
| 请选择展区 |
|
|
| |
|
|
| |
|
|
|
|
| SCADE Editor & SSM Editor
|
|
SCADE基本模块由SCADEAdvanced Modeler（SCADE高级建模器）以及SCADE KCG（代码生成器）组成。其中SCADE Advanced Modeler包含以下5个模块：
SCADE Editor
SCADE Simulator
SCADE SSM Editor
SCADE SSM Simulator
SCADE Configuration Management Gateway
SCADE Editor & SSM Editor（数据流及状态机建模模块）
该模块主要有如下两个功能：
根据需求建立模型
该模块可以根据需求，运用数据流图和状态机来建立模型，数据流图特别适合于连续系统的建模，状态机则适合于离散系统的建模。这两套开发机制可以混合使用，适合于不同类型的系统尤其是混合系统的开发。
SCADE提供的这两套建模机制都建立在严格的数学模型基础之上，具有严格的数学语义，它们保证了设计模型的精确性、完整性、一致性和无二义性。SCADE模型就是需求的一种明确、无歧义的表达方式。因此，它可以作为一种良好的介质来实现不同项目组、制造商与供应商之间的需求交流。
检查模型的合法性
建立模型后，该模块还可以静态检查模型的合法性，帮助我们在开发的早期就排除模型中的错误。通过这一检查，主要保证模型的一致性（如数据流的平衡和匹配等）和完整性（所有输出和操作都已经明确定义等）。
|
| 参考价格：1 |
| 公司其它产品：
| |
| |
|
|
|
| | |
| 上海葩星信息科技有限公司 |
|
地址： |
上海·上海市徐汇区斜土路2601号嘉汇广场T1楼28F
|
|
电话： |
请点击此处与厂家联系
|
|
对 嵌入式系统/自动化软件 有何见解？请到
嵌入式系统/自动化软件论坛 畅所欲言吧！
|
