检测认证人脉交流通讯录
SCADE Editor & SSM Editor SCADE数据流及状态机建模模块 SCADE基本模块
- 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模型就是需求的一种明确、无歧义的表达方式。因此，它可以作为一种良好的介质来实现不同项目组、制造商与供应商之间的需求交流。
检查模型的合法性
建立模型后，该模块还可以静态检查模型的合法性，帮助我们在开发的早期就排除模型中的错误。通过这一检查，主要保证模型的一致性（如数据流的平衡和匹配等）和完整性（所有输出和操作都已经明确定义等）。
