ANSYSSCADESuite建模基础/ANSYS核心产品系列/万水ANSYS技术丛书

封面
书名
版权
前言
目录
第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  SCADE产品未来发展的路线图
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  迁移
3.3.2  迁移的条件和行为
3.3.3  迁移的触发
3.3.4  迁移和初始状态
3.3.5  迁移的编辑
3.4  状态机中变量的隐式赋值
3.4.1  变量的隐式赋值
3.4.2  定义变量的Last值
3.4.3  定义变量的Default值
3.4.4  同时定义变量的Last值和Default值
3.4.5  同时不定义变量的Last值和Default值
3.5  Signal（信号量）
练习题
第4章  SCADE Suite高级建模设计
4.1  数组操作
4.1.1  数组的创建
4.1.2  数组元素的获取
4.1.3  数组操作
4.2  结构体操作
4.2.1  Data Structure操作符
4.2.2  Make操作符
4.2.3  Flatter操作符
4.2.4  Project操作符
4.3  迭代器建模
4.3.1  迭代器的创建和循环次数设置
4.3.2  map迭代器
4.3.3  fold迭代器
4.3.4  mapfold迭代器
4.3.5  mapi迭代器
4.3.6  foldi迭代器
4.3.7  mapw迭代器
4.3.8  foldw迭代器
4.3.9  mapwi迭代器
4.3.10  foldwi迭代器
4.3.11  mapfoldi迭代器
4.3.12  mapfoldw迭代器
4.3.13  mapfoldwi迭代器
4.4  条件激活操作
4.4.1  条件激活操作符的创建
4.4.2  Boolean Activate操作符
4.4.3  Restart操作符
4.5  多态建模
4.5.1  数组大小的参数化
4.5.2  变量类型的参数化
4.5.3  操作符行为的参数化
4.6  仿真相关的设置
4.6.1  Assume和Guarantee
4.6.2  精度的设置
练习题
第5章  SCADE Suite基于模型的验证
5.1  基于SCADE Suite模型的验证流程
5.1.1  DO-178C的传统验证手段
5.1.2  基于SCADE Suite模型的验证工作
5.2  基础验证活动
5.2.1  SCADE模型检查器
5.2.2  SCADE模型仿真
5.2.3  SCADE覆盖分析
5.3  认证级测试环境QTE
5.3.1  SCADE QTE的工作流
5.3.2  创建测试工程
5.3.3  设计仿真用例和仿真规程
5.3.4  QTE在主机上的功能测试
5.3.5  QTE在主机上的模型覆盖分析
5.3.6  QTE在主机上的代码覆盖分析
5.3.7  QTE在目标机上的测试
5.3.8  QTE下多操作符验证的注意事项
5.3.9  仿真结果的评审
5.4  SCADE的形式化验证
5.4.1  安全属性
5.4.2  形式化验证的工作流
5.4.3  形式化验证工具Design Verifier
5.4.4  形式化验证实例
5.5  SCADE编译器验证套件
5.5.1  编译器的验证
5.5.2  C语言安全子集
5.5.3  CVK的内容与使用方法
5.5.4  使用SCADE CVK的注意事项
练习题
第6章  代码和其他目标的生成
6.1  代码生成
6.1.1  代码生成的配置
6.1.2  单个操作符的代码生成配置
6.1.3  创建并保存自定义配置
6.2  代码集成
6.2.1  代码生成步骤
6.2.2  生成代码的集成
6.2.3  代码集成的其他考虑
6.3  Simulink的S函数生成
6.4  NI VeriStand生成
6.5  FMU生成
6.5.1  Modelica协会与统一建模语言
6.5.2  FMI标准与FMU文件
6.5.3  Suite生成FMU文件
6.6  Adaptor生成
6.7  设计文档生成
练习题
第7章  SCADE Suite模型的优化
7.1  模型优化的目标和基准
7.1.1  安全关键系统的软件规模在增长
7.1.2  MBDV方法的优势
7.1.3  模型优化的目标和准则
7.2  布局格式优化
7.2.1  布局格式的推荐规范
7.2.2  编辑技巧
7.2.3  自定义样式
7.3  模型优化
7.3.1  模型优化的内容和要点
7.3.2  模型优化示例
7.4  最坏运行时间与堆栈分析
7.4.1  TSO介绍
7.4.2  TSO使用方法
7.5  性能优化案例
7.5.1  算法一：基于过程的传统C语言编程的思维
7.5.2  算法二：优化的基于过程的思维
7.5.3  算法三：选择恰当的迭代子
7.5.4  算法四：关注数据的SCADE Suite建模最佳方式
7.5.5  WCET分析结果
7.5.6  堆栈分析结果
练习题
第8章  项目管理
8.1  项目组织
8.1.1  命名规则
8.1.2  工程管理
8.1.3  文件管理
8.2  追踪管理
8.2.1  DO-178C中追踪管理的要求
8.2.2  SCADE RM Gateway
8.2.3  普通文本类型文件的追踪
8.2.4  SCADE文件的追踪
8.2.5  验证相关文档的追踪
8.2.6  生成快照
8.2.7  生成追踪矩阵
8.3  配置管理
8.4  建模规范
练习题
第9章  综合案例
9.1  目标
9.2  中位数计算设计实例
9.2.1  Torben算法求中位数简述
9.2.2  实例创建步骤
附录1  缩略词汇总和常用词定义
附录2  SCADE Suite关于DO-178C/DO-331目标的符合性矩阵
参考文献