SCADE入门指南
SCADE入门指南将通过一个完整的例子来指导用户如何使用SCADE的基本功能。 您将学会SCADE工作流程的基本原理并能参与进来。
如您想深入了解我们的产品以及它的方法学，可以联系相关爱斯特尔公司代表处，他们将很乐意按照您的需求来制定一个培训计划。
第一章：引言
通过这一章，您可接触SCADE开发环境以及工作流程，熟悉SCADE工作空间以及了解如何进行SCADE工程管理（新建，打开，关闭一个工作空间）。
第二章：建模
在工作流程的初始阶段，您将学会如何使用SCADE编辑器来设计数据流与控制流的混合模型。为了完成模型设计，需要设计相应的数据结构，例如数据类型与常量。
另外，您可学会如何为模型添加信息，以改善代码可追溯性与可读性，理解模型的层次感，如何运用库来共享操作符与模型。
最后，通过SCADE模型，您可以生成相关的设计文档。
第三章：模型仿真
工作流程的第二阶段又可细分成三个阶段。首先，您将学会如何检查模型的一致性（包含语义语法以及循环检查）。
然后您可用SCADE进行交互式仿真动态地确认模型， 了解生成的仿真代码，并学会运用测试场景。
最后，您将看到如何在仿真环境下形式验证模型的行为。
第四章：代码生成
在这一章，您将看到设计的模型是如何自动生成代码的。
获取SCADE入门
