目 录__eol__第1章 引言 1__eol__1.1 系统设计的概念 2__eol__1.2 系统的演变过程 6__eol__1.3 传统的系统设计方法 12__eol__1.3.1 “V-模型”方法的设计流程 13__eol__1.3.2 “V-模型”方法的假设条件 17__eol__1.4 本书组织结构 19__eol__参考文献 21__eol__第2章 系统设计的正确性和复杂性 23__eol__2.1 正确性内涵 24__eol__2.1.1 可信性 25__eol__2.1.2 关键等级 31__eol__2.2 复杂性挑战 36__eol__2.2.1 设计复杂性 37__eol__2.2.2 模型复杂性 39__eol__参考文献 44__eol__第3章 严密系统设计方法 46__eol__3.1 基本思想 47__eol__3.2 关注点分离 50__eol__3.2.1 从需求到应用软件 52__eol__3.2.2 从应用软件到软硬件融合系统 56__eol__3.3 基于组件的设计 59__eol__3.3.1 基本原则 59__eol__3.3.2 组件框架 61__eol__3.4 语义连贯的设计 65__eol__3.5 “构造即正确”的设计 70__eol__3.5.1 基本原理 70__eol__3.5.2 水平正确性 73__eol__3.5.3 垂直正确性 76__eol__3.6 实践讨论 78__eol__参考文献 81__eol__第4章 基于 BIP 的系统设计框架 86__eol__4.1 BIP框架介绍 87__eol__4.2 BIP语言 92__eol__4.2.1 原子组件 93__eol__4.2.2 连接器 98__eol__4.2.3 优先级 103__eol__4.2.4 复合组件 104__eol__4.3 BIP编译器与引擎 108__eol__4.3.1 BIP操作语义 108__eol__4.3.2 BIP编译器 111__eol__4.3.3 BIP引擎 112__eol__4.4 案例：Dala自主机器人 114__eol__4.4.1 自主机器人功能需求建模 114__eol__4.4.2 基于模型的代码生成 120__eol__4.4.3 形式化验证 121__eol__参考文献 123__eol__第5章 自主系统的设计方法 126__eol__5.1 自主系统的内涵 127__eol__5.1.1 自主系统的功能架构 127__eol__5.1.2 自主系统的目标管理 130__eol__5.1.3 自主系统与自动化系统 133__eol__5.1.4 自主系统的混合设计 137__eol__5.2 自主系统的测试 139__eol__5.2.1 测试的基本原理 141__eol__5.2.2 基于仿真的测试 144__eol__5.3 知识的生成与应用 147__eol__5.3.1 知识的类型 148__eol__5.3.2 知识的生成 150__eol__5.4 自主系统的可信性评估 155__eol__参考文献 160__eol__第6章 自主系统的智能测试 164__eol__6.1 智能的内涵 165__eol__6.1.1 自主系统的视角 165__eol__6.1.2 人类智能的视角 167__eol__6.2 智能测试方法 170__eol__6.2.1 替换测试的概念 171__eol__6.2.2 通用测试框架 174__eol__6.3 智能测试的适用性 179__eol__参考文献 183__eol__第7章 系统设计的挑战与展望 189__eol__参考文献 195__eol__