编辑推荐
“图灵奖”得主、中美法欧六院院士发轫之作，洞悉智能自主趋势。
内容简介
本书提出了一种基于形式化模型的严密的系统设计方法，详细阐述了严密系统设计方法的基本原理，介绍了严密系统设计框架BIP的建模语言、形式语义及其工具链。
自主系统是人工智能技术应用落地的重要形态，本书讨论了自主系统设计的趋势和挑战，阐述了一种集成模型驱动方法与数据驱动方法的思路，并提出了一种新的基于替换测试的智能测试方法，用以判断自主系统在完成多种不同类型任务方面的智能水平。
作者简介
作者约瑟夫·希发基思，国际知名计算机科学家，2007年“图灵奖”获得者，法国工程院院士，欧洲科学院院士，法国科学院院士，美国人文和科学院院士，美国工程院院士，中国科学院外籍院士，法国Verimag实验室创始主任，瑞士洛桑联邦理工学院RiSD实验室创始主任。
约瑟夫·希发基思教授是模型检测以及安全关键嵌入式系统设计等研究领域的先驱。在国际上首次提出基于时序逻辑和不动点语义的并发系统验证的思想，提出了实现系统“构造即正确”的严密系统设计的思想，得到一系列开创性理论成果，为模型检测技术的创立和发展奠定了理论基础。
模型检测已成为分析、验证并发系统安全可靠性质的最重要的技术。由于对模型检测技术的开创性贡献，他荣获2007年国际计算机领域最高奖“图灵奖”。
章节目录
版权信息
作者简介
序
第1章 引言
1.1 系统设计的概念
1.2 系统的演变过程
1.3 传统的系统设计方法
1.3.1 “V-模型”方法的设计流程
1.3.2 “V-模型”方法的假设条件
1.4 本书组织结构
第2章 系统设计的正确性和复杂性
2.1 正确性内涵
2.1.1 可信性
2.1.2 关键等级
2.2 复杂性挑战
2.2.1 设计复杂性
2.2.2 模型复杂性
第3章 严密系统设计方法
3.1 基本思想
3.2 关注点分离
3.2.1 从需求到应用软件
3.2.2 从应用软件到软硬件融合系统
3.3 基于组件的设计
3.3.1 基本原则
3.3.2 组件框架
3.4 语义连贯的设计
3.5 “构造即正确”的设计
3.5.1 基本原理
3.5.2 水平正确性
3.5.3 垂直正确性
3.6 实践讨论
第4章 基于BIP的系统设计框架
4.1 BIP框架介绍
4.2 BIP语言
4.2.1 原子组件
4.2.2 连接器
4.2.3 优先级
4.2.4 复合组件
4.3 BIP编译器与引擎
4.3.1 BIP操作语义
4.3.2 BIP编译器
4.3.3 BIP引擎
4.4 案例：Dala自主机器人
4.4.1 自主机器人功能需求建模
4.4.2 基于模型的代码生成
4.4.3 形式化验证
第5章 自主系统的设计方法
5.1 自主系统的内涵
5.1.1 自主系统的功能架构
5.1.2 自主系统的目标管理
5.1.3 自主系统与自动化系统
5.1.4 自主系统的混合设计
5.2 自主系统的测试
5.2.1 测试的基本原理
5.2.2 基于仿真的测试
5.3 知识的生成与应用
5.3.1 知识的类型
5.3.2 知识的生成
5.4 自主系统的可信性评估
第6章 自主系统的智能测试
6.1 智能的内涵
6.1.1 自主系统的视角
6.1.2 人类智能的视角
6.2 智能测试方法
6.2.1 替换测试的概念
6.2.2 通用测试框架
6.3 智能测试的适用性
第7章 系统设计的挑战与展望
严密系统设计：方法、趋势与挑战是2023年由电子工业出版社出版,作者[法] 约瑟夫·希发基思。
得书感谢您对《严密系统设计：方法、趋势与挑战》关注和支持，如本书内容有不良信息或侵权等情形的，请联系本网站。
