严密系统设计：方法、趋势与挑战

📚 基本信息

  • 书名：严密系统设计：方法、趋势与挑战
  • 作者：[法] 约瑟夫·希发基思, 王强 译著, 张继勇 译著
  • 出版社：电子工业出版社
  • 出版时间：2023/12/1
  • 字数：86千字

💡 推荐语

“图灵奖”得主、中美法欧六院院士发轫之作，洞悉智能自主趋势。

📖 内容简介

本书提出了一种基于形式化模型的严密的系统设计方法，详细阐述了严密系统设计方法的基本原理，介绍了严密系统设计框架BIP的建模语言、形式语义及其工具链。

自主系统是人工智能技术应用落地的重要形态，本书讨论了自主系统设计的趋势和挑战，阐述了一种集成模型驱动方法与数据驱动方法的思路，并提出了一种新的基于替换测试的智能测试方法，用以判断自主系统在完成多种不同类型任务方面的智能水平。

✍️ 作者简介

作者约瑟夫·希发基思，国际知名计算机科学家，2007年“图灵奖”获得者，法国工程院院士，欧洲科学院院士，法国科学院院士，美国人文和科学院院士，美国工程院院士，中国科学院外籍院士，法国Verimag实验室创始主任，瑞士洛桑联邦理工学院RiSD实验室创始主任。

约瑟夫·希发基思教授是模型检测以及安全关键嵌入式系统设计等研究领域的先驱。在国际上首次提出基于时序逻辑和不动点语义的并发系统验证的思想，提出了实现系统“构造即正确”的严密系统设计的思想，得到一系列开创性理论成果，为模型检测技术的创立和发展奠定了理论基础。

模型检测已成为分析、验证并发系统安全可靠性质的最重要的技术。由于对模型检测技术的开创性贡献，他荣获2007年国际计算机领域最高奖“图灵奖”。

🏢 出版社介绍

电子工业出版社成立于1982年10月，是国务院独资、工信部直属的中央级科技与教育出版社，是专业的信息技术知识集成和服务提供商。经过三十多年的建设与发展，已成为一家以科技和教育出版、期刊、网络、行业支撑服务、数字出版、软件研发、软科学研究、职业培训和教育为核心业务的现代知识服务集团。出版物内容涵盖了电子信息技术的各个分支及工业技术、经济管理、科普与少儿、社科人文等领域，综合出版能力位居全国出版行业前列。
声明：本站所有文章，如无特殊说明或标注，均为本站原创发布。任何个人或组织，在未征得本站同意时，禁止复制、盗用、采集、发布本站内容到任何网站、书籍等各类媒体平台。如若本站内容侵犯了原著者的合法权益，可联系我们进行处理。