| 摘要 | 第1-7页 |
| Abstract | 第7-10页 |
| 第一章 引言 | 第10-17页 |
| 第二章 嵌入式系统自动化设计原理 | 第17-30页 |
| ·几个典型的嵌入式系统实现原理 | 第17-26页 |
| ·Cool系统 | 第17-18页 |
| ·Cosyma系统的实现原理 | 第18-20页 |
| ·SpecSyn系统的实现原理 | 第20-21页 |
| ·Chinook系统的实现原理 | 第21-23页 |
| ·Polis系统的实现原理 | 第23-24页 |
| ·Corsair系统的实现原理 | 第24-26页 |
| ·现有系统的评价 | 第26-27页 |
| ·一个新的嵌入式系统开发环境 | 第27-30页 |
| 第三章 嵌入式系统的描述 | 第30-69页 |
| ·嵌入式系统描述语言介绍 | 第30-43页 |
| ·形式化描述技术 | 第30-40页 |
| ·可执行语言 | 第40-43页 |
| ·描述语言的评述 | 第43-44页 |
| ·基于UML的系统描述 | 第44-60页 |
| ·基于UML的嵌入式描述的优势和不利之处 | 第44-46页 |
| ·基于UML的嵌入式系统描述方法 | 第46-60页 |
| ·基于UML的ATM机设计 | 第60-69页 |
| 第四章 UML到SystemC转换 | 第69-101页 |
| ·RoseUML文件格式分析和相关文件的生成 | 第69-89页 |
| ·用例图的格式分析和constraint文件的生成 | 第69-70页 |
| ·顺序图的格式分析和sequence文件的生成 | 第70-76页 |
| ·类图格式分析和class文件的生成 | 第76-78页 |
| ·状态图／活动图格式分析和state／activity文件的生成 | 第78-88页 |
| ·时间约束信息文件timecon的生成 | 第88-89页 |
| ·SystemC | 第89-90页 |
| ·SystemC代码的产生 | 第90-101页 |
| ·SystemC模块文件的生成 | 第91-95页 |
| ·SystemC主函数文件的生成 | 第95-101页 |
| 第五章 硬／软件划分 | 第101-113页 |
| ·硬／软件划分原理 | 第101-104页 |
| ·进程节点参数的获取原理 | 第104-105页 |
| ·节点类别的确定 | 第105-106页 |
| ·约束紧迫度计算 | 第106-107页 |
| ·硬／软件划分算法 | 第107-111页 |
| ·测试结果及其结论 | 第111-113页 |
| 第六章 结论 | 第113-114页 |
| 参考文献 | 第114-120页 |
| 致谢 | 第120-121页 |
| 附录 攻读博士期间科研工作 | 第121-122页 |