| 安全关键软件系统概述 |
1.1 什么是安全关键软件
1.1.1 安全关键系统
1.1.2 安全关键软件
1.2 软件安全性概述
1.2.1 软件的安全与可靠
1.2.2 软件安全性工程
1.3 软件需求工程概述
1.3.1 软件的需求
1.3.2 安全关键软件的需求 |
安全关键软件的需求分析技术
|
1 软件需求工程过程
2.1.1 需求的获取
2.1.2 需求的分析
2.1.3 需求的验证与表达
2.2 软件需求的安全性分析
2.2.1 需求级别的FHA分析
2.2.2 软件需求的FMECA分析
2.3其他分析方法介绍
|
| 安全关键软件的需求验证技术 |
3.1 基于需求的测试验证
3.1.1 基于需求的测试过程
3.1.2 基于模型的安全关键软件系统测试（案例+实验+讨论）
3.2 安全关键软件的模型检验技术
3.2.1 系统需求的建模过程；
3.2.2 系统需求的安全约束表达；
3.2.3 模型检验；
3.3 安全关键软件需求的分析与验证综合讨论
|
