复杂软件系统可信性分析与验证方法

　　《复杂软件系统可信性分析与验证方法》以开放网络环境中复杂软件的可信性需求为背景，系统地研究和论述复杂软件系统的可信性分析与验证的关键性理论和技术问题，论述了复杂软件系统的可信性质评价方法、软件系统过程建模与验证、软件系统过程可信性质建模与分析、组合软件多维可信性保障方法等问题。
　　《复杂软件系统可信性分析与验证方法》以国家关键应用领域中复杂软件系统的可信性为主攻目标，分析、研究和解决相关科学问题，旨在为提高国家重大工程中的软件可信性提供科学支撑。
　　《复杂软件系统可信性分析与验证方法》面向软件工程、软件可信性方向的研究人员，软件工程方向的高年级研究生，以及工业界对软件产品高可靠性有要求的技术人员。

符宁多年来从事计算机科学软件及理论的研究，积累了良好的计算机专业理论功底和实践经验。主持航天科学技术基金1 项，陕西省重点研发计划1 项、中央高校基本科研业务费项目1 项。

第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 调度模型的分析与验证

参考文献

　　以通信、存储和计算为核心的信息基础设施已经渗透到政治、经济、军事、文化以及社会生活的各个层面，成为当代生产力发展和人类文明进步的强大动力。软件是信息基础设施的灵魂，随着人们对功能需求的不断增加，软件系统变得日趋庞大和难以驾驭。同时，缺陷和漏洞难以避免，很多时候使得软件系统不以人们期望的方式工作，发生各种故障和失效，直接或间接地给用户带来损失。在开放动态网络环境中，如何保证复杂软件系统的可信性是学术界和工业界非常关注的问题。
　　本书以开放网络环境中复杂软件的可信性需求为背景，系统地研究和论述复杂软件系统的可信性分析与验证的关键性理论和技术问题，重点论述复杂软件系统的可信性质评价方法、软件系统过程建模与验证、软件系统过程可信性质建模与分析、组合软件多维可信性保障方法等问题，并结合航空电子软件系统探讨相关方法的实际应用。本书以国家关键应用领域中复杂软件系统的可信性为主攻目标，分析、研究和解决相关科学问题，旨在为提高国家重大工程中的软件可信性提供科学支撑。
　　在编写本书的过程中，参阅了相关文献资料，在此对原作者表示感谢。
　　由于水平有限，书中内容不妥之处，恳请各位专家、读者批评指正。