信息物理系统课程知识图谱：同步、异步与安全性

# 信息物理系统课程知识图谱
## 一、信息物理系统概述
### 1. 定义
### 2. 来源
### 3. 层次特征
### 4. 体系架构
### 学习成效要求
#### 1) 了解物理世界规律与信息系统的联系
#### 2) 了解组织与调度方法，建立宏观概念
## 二、同步系统
### 1. 理论基础
#### 1) 反应式构件
##### - 定义
##### - 重要性
#### 2) 构件属性与构件构成
##### - 属性列表
##### - 构成示例
### 2. 反应式构件分类及特点
#### 1) 复合构件
##### - 特点
##### - 应用实例
#### 2) 事件/非事件触发构件
##### - 定义及差异
#### 3) 确定/非确定事件触发构件
##### - 概念解析
#### 4) 良构构件
##### - 定义
### 3. 状态扩展状态机
#### 1) 任务图
##### - 概念
##### - 图示例
#### 2) 等待依赖关系
##### - 定义
##### - 例子
### 学习成效要求
#### 1) 理解反应式构件模型特点
#### 2) 理解同步系统的一般性质
## 三、安全性需求
### 1. 安全性规约
#### 1) 定义
#### 2) 实用示例
### 2. 迁移系统反应式构件的可达状态
#### 1) 可达状态概念
#### 2) 实际应用
### 3. 不变量验证问题
#### 1) 定义
#### 2) 验证方法
### 学习成效要求
#### 1) 理解安全性验证问题
#### 2) 了解迁移系统原理与可达状态概念
#### 3) 掌握符号搜索原理与算法
## 四、异步进程
### 1. 异步系统结构
#### 1) 输入、输出任务
##### - 输任务实例
##### - 出任务实例
#### 2) 内部任务异步融合技术
##### - 技术原理
##### - 应用场景
### 2. 异步进程组合
#### 1) 组合方式
#### 2) 示例
### 3. 安全性需求与死锁理论
#### 1) 安全性需求
##### - 定义
##### - 应用
#### 2) 死锁理论
##### - 定义
##### - 预防死锁的策略
### 学习成效要求
#### 1) 理解异步系统特点与动态规约
#### 2) 理解异步系统一般性质