前言
第1章 开启SCADE之旅
1.1 背景概念简介
1.1.1 嵌入式系统
1.1.2 安全关键系统
1.1.3 机载软件的适航标准
1.1.4 基于模型的开发与验证
1.2 SCADE介绍
1.2.1 同步语言介绍
1.2.2 SCADE产品的演进
1.2.3 SCADE Suite的特点
1.2.4 SCA:DE产品未来发展的路线图
1.3 SCADE快速入门
1.3.1 SCADE的适用环境和安装步骤
1.3.2 创建SCADE Suite工程
1.3.3 SCADE Suite操作符和输入输出
的创建
1.3.4 飞机滚转角示例
练习题
第2章 SCADE Suite建模基础
2.1 SCADE Suite集成开发环境常见操作
2.2 SCADE数据类型
2.2.1 预定义数据类型
2.2.2 自定义数据类型
2.3 常量
2.3.1 常量的定义
2.3.2 常量的使用
2.4 操作符
2.4.1 预定义操作符
2.4.2 自定义操作符
2.5 条件模块
2.5.1 条件模块的概念
2.5.2 条件模块的创建与编辑
2.5.3 条件模块中变量的隐式赋值
2.6 导入元素
2.6.1 导入常量
2.6.2 外部引用变量(Sensor)
2.6.3 导入操作符
2.6.4 导入静态库
练习题
第3章 SCADE Suite安全状态机
3.1 安全状态机
3.1.1 状态机的组成
3.1.2 状态机的创建
3.2 状态的设置
3.2.1 状态
3.2.2 初始状态和终止状态
3.2.3 状态的编辑
3.3 迁移的设置
3.3.1 迁移