第1章 复杂软件系统
1．1 复杂软件系统的发展
1．2 复杂软件系统的概念和特点
1．3 可信计算与软件可信性
1．4 复杂软件系统中的可信性问题
1．5 软件可信性研究历史与现状
第2章 复杂软件系统可信性质评价方法
2．1 受约束半环及其性质
2．2 原子构件可信性度量
2．3 组合构件的可信特征度量
2．4 可信度的投影与综合评价
2．5 实例分析
2．6 本章小结
第3章 复杂软件系统业务过程的建模与验证
3．1 Pi演算的概念及其基本理论
3．2 基于Pi演算的复杂软件系统业务过程模型
3．3 业务过程验证
3．4 本章小结
第4章 复杂软件系统业务过程可信特征建模方法
4．1 Q代数及其性质
4．2 QPi演算的语法定义
4．3 QPi演算的同构规则
4．4 QPi演算的操作语义
4．5 进程量化互模拟
4．6 量化计算树
4．7 实例研究
4．8 本章小结
第5章 复杂软件可信性质保障方法
5．1 问题描述
5．2 复杂软件系统可信能力预测
5．3 时间维度可信QoS规划方法
5．4 多维可信QoS规划方法
5．5 构件实体选择方法
5．6 实验及结果
5．7 本章小结
第6章 航电系统可信性分析与验证
6．1 航空电子系统概述
6．2 航空CPS系统层级调度模型
6．3 经典时间自动机理论
6．4 非抢占分级调度的时间自动机模型
6．5 加权时间自动机理论
6．6 抢占型分区调度的加权时间自动机模型
6．7 待验证性质的逻辑描述
6．8 调度模型的分析与验证
参考文献
展开
