扫一扫
关注中图网
官方微博
本类五星书更多>
-
>
全国计算机等级考试最新真考题库模拟考场及详解·二级MSOffice高级应用
-
>
决战行测5000题(言语理解与表达)
-
>
软件性能测试.分析与调优实践之路
-
>
第一行代码Android
-
>
C Primer Plus 第6版 中文版
-
>
深度学习
-
>
MATLAB计算机视觉与深度学习实战-赠在线交流卡和本书源码
复杂软件系统可信性分析与验证方法 版权信息
- ISBN：9787561282977
- 条形码：9787561282977 ; 978-7-5612-8297-7
- 装帧：一般胶版纸
- 册数：暂无
- 重量：暂无
- 所属分类：>
复杂软件系统可信性分析与验证方法 内容简介
以通信、存储和计算为核心的信息基础设施已经渗透到政治、经济、军事、文化以及社会生活的各个层面，成为当代生产力发展和人类文明进步的强大动力。软件是信息基础设施的灵魂，随着人们对功能需求的不断增加，软件系统变得日趋庞大和难以驾驶，缺陷和漏洞难以避免，系统越来越脆弱，很多时候不以人们期望的方式工作，经常发生各种故障和失效，直接或间接地给用户带来损失。在开放动态网络环境中，如何保证复杂软件系统的可信性是近年来学术界和工业界非常关注的问题。本书以开放网络环境下复杂软件的可信性需求为背景，系统的研究和论述复杂软件系统的可信性分析与验证的关键性理论和技术问题。重点论述了复杂软件系统及其组合可信性质评价方法、软件系统过程建模与验证、软件系统过程可信性质建模与分析、组合软件多维可信可信性保障方法等问题。并结合航空电子软件系统探讨了相关方法的实际应用。论著以国家关键应用领域中复杂软件系统的可信性主题为主攻目标，分析、研究和解决相关科学问题，旨在为提高国家重大工程中的软件可信度提供科学支撑。著述从可信性分析的角度入手系统论述复杂软件系统的分析与验证方法；系统的论述了形式化方法在复杂软件系统中建模、分析与验证的理论和方法；所论述的理论和方法具有一定的理论创新性；并结合航空电子软件系统这一典型的复杂软件系统进行所论述方法的实例分析，具有较高的理论意义和应用价值。本书面向软件工程、软件可信性方向的研究人员，软件工程方向的高年级研究生，和工业界对软件产品高可靠性有要求的技术人员。
复杂软件系统可信性分析与验证方法 目录
第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 调度模型的分析与验证
参考文献
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 调度模型的分析与验证
参考文献
展开全部
复杂软件系统可信性分析与验证方法 作者简介
符宁多年来从事计算机科学软件及理论的研究，积累了良好的计算机专业理论功底和实践经验。主持航天科学技术基金1 项，陕西省重点研发计划1 项、中央高校基本科研业务费项目1 项。
书友推荐
- >
有舍有得是人生
有舍有得是人生
¥19.4¥45.0 - >
【精装绘本】画给孩子的中国神话
【精装绘本】画给孩子的中国神话
¥17.6¥55.0 - >
新文学天穹两巨星--鲁迅与胡适/红烛学术丛书(红烛学术丛书)
新文学天穹两巨星--鲁迅与胡适/红烛学术丛书(红烛学术丛书)
¥9.9¥23.0 - >
巴金－再思录
巴金－再思录
¥33.1¥46.0 - >
月亮虎
月亮虎
¥15.4¥48.0 - >
罗庸西南联大授课录
罗庸西南联大授课录
¥18.6¥32.0 - >
中国人在乌苏里边疆区:历史与人类学概述
中国人在乌苏里边疆区:历史与人类学概述
¥32.9¥48.0 - >
我与地坛
我与地坛
¥16.8¥28.0
本类畅销
-
2022图书×抽奖盲袋
¥9.9¥25 -
2023读书月阅读盲盒——天黑，闭眼，刀谁？
¥42.3¥158 -
-
2022读者节纪念徽章-三星会员专属
¥45¥45.6 -
2023读书月阅读盲盒——我什么场面没见过？
¥42.3¥158 -
2023读书月阅读盲盒——去码头整点什么薯条？
¥42.3¥158
