| 摘要 | 第1-7页 |
| Abstract | 第7-9页 |
| 第一章 概述 | 第9-23页 |
| ·研究背景 | 第9-17页 |
| ·嵌入式系统简介 | 第9-10页 |
| ·嵌入式系统发展趋势 | 第10-17页 |
| ·相关研究 | 第17-20页 |
| ·基于交易模型的系统级设计 | 第17-19页 |
| ·支持可重构嵌入式系统的操作系统 | 第19-20页 |
| ·本文的组成 | 第20-23页 |
| 第二章 交易级模型 | 第23-45页 |
| ·交易级模型的发展现状 | 第23-25页 |
| ·SystemC交易级模型 | 第25-39页 |
| ·SystemC简介 | 第25-29页 |
| ·SystemC交易级模型抽象层次结构 | 第29-31页 |
| ·SystemC交易级模型的实现机制 | 第31-33页 |
| ·从程序员视角模型到RTL模型的抽象建模层次 | 第33-35页 |
| ·SystemC-TLM建议的典型SOC建模范型 | 第35-37页 |
| ·通信拓扑结构探索 | 第37-39页 |
| ·RTOS交易级建模 | 第39-44页 |
| ·交易级RTOS接口类tlm_rtos_if定义 | 第40-41页 |
| ·非抢占式任务调度模拟 | 第41-43页 |
| ·抢占式任务调度模拟 | 第43-44页 |
| ·交易级模型的发展前景 | 第44-45页 |
| 第三章 基于SystemC交易级模型的系统快速原型 | 第45-57页 |
| ·概述 | 第45-46页 |
| ·用SystemC交易级模型建立系统快速原型 | 第46-50页 |
| ·原型设计流 | 第46-48页 |
| ·模型化方法 | 第48-49页 |
| ·模块集成和协同模拟环境 | 第49-50页 |
| ·原型开发环境 | 第50-51页 |
| ·基于Eclipse的开发平台 | 第50-51页 |
| ·交易踪迹图 | 第51页 |
| ·实例研究 | 第51-55页 |
| ·语音通信系统 | 第51-52页 |
| ·应用层协议验证 | 第52-53页 |
| ·结构探索 | 第53-54页 |
| ·性能评价 | 第54-55页 |
| ·本章小结 | 第55-57页 |
| 第四章 可重构嵌入式系统设计建模 | 第57-78页 |
| ·可重构计算概念 | 第57-64页 |
| ·可重构计算系统的基本结构 | 第58-60页 |
| ·系统重构方式 | 第60-62页 |
| ·缩短重构时间的方法 | 第62-64页 |
| ·软硬件协同设计与可重构 | 第64-67页 |
| ·动态可重构系统设计流程 | 第65-66页 |
| ·可重构系统功能划分的灵活性及约束 | 第66-67页 |
| ·可重构嵌入式系统平台原型 | 第67-71页 |
| ·平台物理结构 | 第68-69页 |
| ·平台逻辑结构 | 第69-70页 |
| ·用户硬件逻辑设计 | 第70-71页 |
| ·可重构嵌入式系统的操作系统建模 | 第71-77页 |
| ·基于统一多任务的操作系统模型 | 第72-76页 |
| ·部分可重构FPGA资源管理模型 | 第76-77页 |
| ·本章小结 | 第77-78页 |
| 第五章 采用预配置策略的混合任务调度 | 第78-90页 |
| ·概述 | 第78-79页 |
| ·可重构资源抽象模型 | 第79-80页 |
| ·混合任务DAG | 第80-81页 |
| ·混合任务调度算法 | 第81-87页 |
| ·混合任务调度 | 第81页 |
| ·硬件任务预配置 | 第81-84页 |
| ·动态层预配置优先级(Dynamic Level Pre-Configuration Priorities-DLPCP) | 第84-85页 |
| ·基于DLPCP的混合任务调度 | 第85-87页 |
| ·实验及结果分析 | 第87-89页 |
| ·模拟实验设计 | 第87-88页 |
| ·实验结果分析 | 第88-89页 |
| ·本章小结 | 第89-90页 |
| 第六章 混合任务动态调度 | 第90-106页 |
| ·概述 | 第90-91页 |
| ·CPU+FPGA计算平台抽象及应用划分 | 第91-92页 |
| ·CPU+FPGA计算平台抽象 | 第91-92页 |
| ·应用划分 | 第92页 |
| ·可重构资源抽象模型及任务形式化 | 第92-94页 |
| ·一维变宽可重构资源模型 | 第92-93页 |
| ·任务的形式化描述 | 第93-94页 |
| ·动态混合任务调度 | 第94-101页 |
| ·调度器模型 | 第94-95页 |
| ·任务分配 | 第95-96页 |
| ·任务放置 | 第96-98页 |
| ·任务迁移 | 第98-99页 |
| ·算法伪代码 | 第99-101页 |
| ·算法复杂度分析 | 第101页 |
| ·模拟实验 | 第101-104页 |
| ·实验设计 | 第101-102页 |
| ·实验结果及分析 | 第102-104页 |
| ·本章小结 | 第104-106页 |
| 第七章 结论和展望 | 第106-109页 |
| ·本文主要贡献 | 第106-108页 |
| ·今后研究工作 | 第108-109页 |
| 参考文献 | 第109-119页 |
| 致谢 | 第119-121页 |
| 附录 攻读博士期间科研工作 | 第121-122页 |