主页>服务产品>培训>SCADE培训
SCADE培训
全面的培训课程
由于我们不仅开发SCADE,还进行销售及售后,所以我们与客户建立了密切的联系。
客户的反馈意见能使我们不断改进我们培训的针对性,通过这一全面的培训课程,有助于我们相互的交流。
重实践是我们的强项
将近一半的课程时间将用于实例的开发与讨论。
极具竞争力的培训队伍
我们的员有着扎实的计算机理论基础,丰富的项目开发经验。
培训地点
在巴黎的Elancourt,尼斯的Villeneuve-Loubet,图卢兹,我们都设有培训中心。
如果培训是在客户这边进行,则计算机的最低配置为:
- Processor
- 1,5 Ghz Pentium 4
- RAM
- 512 Mo
- Disk space
- 40 Go
- Peripherals
- CD Driver, USB port
- System
- Windows XP Professional
- Screen
- 17″
- Input Devices
- Keyboard
- Mouse
- Microsoft Visual 6 C++ is recommended, though SCADE comes with the GCC (MinGW)
free compiler.
资料
爱斯特尔公了相关的培训资料,包括:
- Training Manuals
- Reference Cards
- Reference Guide
- 以上资料的电子版,并包括相关的练习
SCADE培训基本内容
SCADE培训内容按模块进行划分。每一个模块对应于开发过程中的具体某个阶段,有时也对应于SCADE的某一特殊功能。
SCADE培训内容共有5个模块构成,从M1到M5。Figure1描述了每一个模块具体的功能。各模块名称如下:
- 模块 M1: 基于模型的设计
- 模块 M2: 基于模型的验证
- 模块 M3: 基于模型的自动代码生成
- 模块 M4: 项目管理
- 模块 M5: SCADE高级功能
Figure 1:SCADE培训模块
模块 M1: 基于模型的设计
目的
该模块用于准确描述软件需求,确保从系统需求到软件需求的可追溯性。
内容
| 课程 1: SCADE设计基础 |
参考 : M1 – C1 |
| • SCADE 语言 |
|
| • 设计构架 |
|
| • 编辑 |
|
| • 数据类型 |
|
| • SCADE 库 |
|
| • 预备知识: 基本的编程知识 |
|
| 课程 2: SSM设计基础 |
参考 : M1 – C2 |
| • SSM 输入与输出 |
|
| • SSM 状态 |
|
| • SSM 迁移条件 |
|
| • SSM 宏状态 |
|
| • 预备知识: SCADE基础 |
|
| 课程 3: Simulink 导入 |
参考: M1 – C3 |
| • Simulink 桥接器基础 |
|
| • 从 Simulink 到 SCADE |
|
| • 从 SCADE 到 Simulink |
|
| • 高级用法 |
|
| • 预备知识: SCADE基础 |
|
| 课程 4: 可追溯管理 |
参考 : M1 – C4 |
| • 需求可追溯 |
|
| • DOORS™ 桥接器 |
|
| • SCADE 注释 |
|
| • 代码生成与追溯 |
|
| • 预备知识: SCADE基础 |
|
模块 M2: 基于模型的验证
目的
该模块包含了验证模型与需求的一致性。
内容
| 课程 1: 模型检查 |
参考 : M2 – C1 |
| • SCADE 模型检查 |
|
| • 预备知识: SCADE基础 |
|
| 课程 2: 仿真 |
参考 : M2 – C2 |
| • 仿真界面 |
|
| • 数据显示 |
|
| • 断点与停止条件 |
|
| • 预备知识: SCADE基础 |
|
| Course 3: Model Test Coverage |
参考 : M2 – C3 |
| • 软件开发与验证 |
|
| • 基于模型的软件开发 |
|
| • 模型覆盖率分析 |
|
| • 例子 |
|
| • 案例分析及练习 |
|
| • 预备知识: SCADE与SCADE 仿真器的基础知识 |
|
模块 M3: 基于模型的代码生成
目的
该模块是关于SCADE KCG 代码生成器以及代码集成的相关内容。
内容
| 课程 1: KCG 代码生成器 |
参考 : M3 – C1 |
| • 生成机制 |
|
| • 代码生成 |
|
| • 优化 |
|
| • 预备知识: SCADE 与 C 的基础知识 |
|
| 课程 2: 导入代码集成 |
参考 : M3 – C2 |
| • 导入实体: 节点,类型,常量 |
|
| • 预备知识: SCADE 与 C 的基础知识 |
|
| 课程 3: 实时环境集成 |
参考 : M3 – C3 |
| • 模块集成 |
|
| • 预备知识: SCADE 与 C 的基础知识 |
|
模块 M4: SCADE 项目管理
目标
该模块是关于如何管理SCADE工程。
内容
| 课程 1: SCADE 工程结构 |
参考 : M4 – C1 |
| • 工程文件 |
|
| • 配置 |
|
| • 符号自定义 |
|
| • 预备知识: 无 |
|
| 课程 2: 配置管理 |
参考 : M4 – C2 |
| • SCADE 与配置管理工具的集成器 |
|
| • 预备知识: 配置管理工具基础知识 |
|
| 课程 3: SCADE 文档生成器 |
参考 : M4 – C3 |
| • 文档生成与自定义 |
|
| • 预备知识: SCADE 基础知识 |
|
| 课程 4: 使用 SCADE 时的认证 |
参考 : M4 – C4 |
| • 集成测试流程 |
|
| • SCADE 认证包 |
|
| • SCADE 的优势 |
|
| • 预备知识: 认证标准基础知识 |
|
模块 M5: SCADE 高级功能
目的
该模块是关于SCADE 开发的高级技巧。
Contents
| 课程 1: SCADE 高级设计 |
参考 : M5 – C1 |
| • Activation 结构 |
|
| • Iteration 结构 |
|
| • Preemption 结构 |
|
| • 多态性 |
|
| • 参数化 |
|
| • 预备知识: SCADE 基础知识 |
|
| 课程 2: SCADE RM 桥接器高级功能 |
参考 : M5 – C2 |
| • 分析过程 |
|
| • 定义文件类型 |
|
| • 定义分析方法 |
|
| • 预备知识: SCADE 与 SCADE RM 桥接器基础知识 |
|
| 课程 4: 形式验证 |
参考 : M5 – C4 |
| • 形式验证 |
|
| • 形式验证基础 |
|
| • 编写验证对象 |
|
| • 进行验证 |
|
| • 方法学 |
|
| • 预备知识: SCADE 基础知识 |
|