嵌入式系统设计的验证与调试技术2025|PDF|Epub|mobi|kindle电子书版本百度云盘下载

嵌入式系统设计的验证与调试技术PDF格式电子书版下载

注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具

第1章　嵌入式系统验证简介1

第2章　模型验证5

2.1　平台与系统行为6

2.2　模型设计准则8

2.3　非形式化需求：案例分析9

2.3.1　需求文档10

2.3.2　非形式化需求简化11

2.4　通用建模概念13

2.4.1　有限状态机13

2.4.2　FSM通信16

2.4.3　基于消息顺序图的模型22

2.5　建模概念讨论31

2.6　模型仿真33

2.6.1　FSM仿真35

2.6.2　基于MSC的系统模型仿真39

2.7　基于模型的测试43

2.8　模型校验50

2.8.1　属性规范50

2.8.2　校验过程63

2.9　SPIN验证工具71

2.10　SMV验证工具74

2.11 案例分析：空中交通管制器77

2.12　参考文献79

2.13 习题80

第3章　通信验证83

3.1　常见不兼容性86

3.1.1 以不同的顺序发送／接收信号86

3.1.2　处理不同的信号字母表87

3.1.3　数据格式不匹配89

3.1.4　数据率不匹配91

3.2　转换器合成92

3.2.1　本地协议和转换器的表示92

3.2.2　转换器合成的基本思想94

3.2.3　各种协议转换策略100

3.2.4　避免不推进循环101

3.2.5　避免死锁的投机传输102

3.3　改变工作设计105

3.4　参考文献106

3.5　习题107

第4章　性能验证109

4.1　传统时间抽象110

4.2　预测程序执行时间114

4.2.1　WCET计算116

4.2.2　微体系结构建模127

4.3　处理单元内部的干扰135

4.3.1　来自环境的中断135

4.3.2　竞争与抢占137

4.3.3　共享处理器缓存141

4.4　系统级通信分析144

4.5　设计可预测时间的系统147

4.5.1　中间结果存储器147

4.5.2　时间触发通信152

4.6　新兴应用154

4.7　参考文献154

4.8　习题155

第5章　功能验证157

5.1　动态或基于轨迹的校验159

5.1.1　动态切片163

5.1.2　错误定位171

5.1.3　导引测试方法177

5.2　形式化校核180

5.2.1　谓词抽象183

5.2.2　通过谓词抽象进行软件校验189

5.2.3　形式化校核与测试的结合195

5.3　参考文献198

5.4　习题199