一种DSP建模及时序分析工具的设计与实现
| 摘要 | 第1-4页 |
| Abstract | 第4-8页 |
| 第一章 绪论 | 第8-12页 |
| ·课题背景 | 第8页 |
| ·国内外研究现状 | 第8-10页 |
| ·建模系统的发展现状 | 第8-10页 |
| ·时序分析的研究现状 | 第10页 |
| ·主要工作 | 第10-11页 |
| ·论文的组织结构 | 第11-12页 |
| 第二章 相关概念和技术介绍 | 第12-26页 |
| ·嵌入式系统简介 | 第12页 |
| ·DSP简介 | 第12-14页 |
| ·嵌入式建模技术 | 第14-18页 |
| ·软件建模 | 第14-15页 |
| ·嵌入式软件特征 | 第15-16页 |
| ·嵌入式软件建模目的 | 第16-17页 |
| ·嵌入式软件建模方法 | 第17-18页 |
| ·WCET分析技术 | 第18-24页 |
| ·WCET分析的定义 | 第18页 |
| ·一般WCET分析的框架 | 第18-19页 |
| ·程序路径分析 | 第19-20页 |
| ·底层分析 | 第20页 |
| ·计算方法 | 第20-22页 |
| ·WCET分析的基本方法 | 第22-24页 |
| ·本章小结 | 第24-26页 |
| 第三章 DSP建模系统的设计 | 第26-40页 |
| ·数据流驱动运算介绍 | 第26-27页 |
| ·系统的设计原则 | 第27-29页 |
| ·易操作性 | 第27-28页 |
| ·开闭原则 | 第28页 |
| ·模块独立性 | 第28-29页 |
| ·系统总体架构设计 | 第29-30页 |
| ·系统模块划分 | 第29-30页 |
| ·系统模块执行流程 | 第30页 |
| ·基于数据流驱动的建模模块 | 第30-32页 |
| ·建模模块设计 | 第31-32页 |
| ·建模模块的界面设计 | 第32页 |
| ·时序分析模块 | 第32-35页 |
| ·需求分析 | 第33-34页 |
| ·时序分析模块设计 | 第34-35页 |
| ·内存调试模块 | 第35-37页 |
| ·内存调试模块设计 | 第35-36页 |
| ·子模块描述 | 第36-37页 |
| ·代码生成模块 | 第37-39页 |
| ·代码生成模块设计 | 第37-38页 |
| ·子模块描述 | 第38-39页 |
| ·本章小结 | 第39-40页 |
| 第四章 建模和时序分析工具的实现 | 第40-58页 |
| ·建模模块的类结构 | 第40-42页 |
| ·模块类的抽象父类结构 | 第40-41页 |
| ·原子模块类结构 | 第41页 |
| ·控制模块类结构 | 第41-42页 |
| ·子系统模块类结构 | 第42页 |
| ·建模模块的实现类 | 第42-45页 |
| ·模块的实现类 | 第43-44页 |
| ·连线的实现类 | 第44-45页 |
| ·模型的实现类 | 第45页 |
| ·模型检测模块实现 | 第45-47页 |
| ·模型拓扑排序 | 第45-46页 |
| ·模型完整性检测算法 | 第46-47页 |
| ·单处理器时序分析模块实现 | 第47-51页 |
| ·实现细节 | 第48-49页 |
| ·子系统模块运行时间预估算法 | 第49-50页 |
| ·模型提取算法 | 第50-51页 |
| ·多处理器时序分析模块实现 | 第51-54页 |
| ·多处理器建模的实现界面 | 第52页 |
| ·多处理器负载均衡算法 | 第52-54页 |
| ·进一步的工作 | 第54-56页 |
| ·总体设计 | 第54-55页 |
| ·程序路径分析部分的设计 | 第55-56页 |
| ·计算部分的设计 | 第56页 |
| ·本章小结 | 第56-58页 |
| 第五章 系统验证与测试 | 第58-66页 |
| ·应用实例简介 | 第58-59页 |
| ·工具实用性检测 | 第59-64页 |
| ·建模工具检测 | 第59-63页 |
| ·时序分析工具检测 | 第63-64页 |
| ·本章小结 | 第64-66页 |
| 第六章 总结与展望 | 第66-68页 |
| ·总结 | 第66页 |
| ·进一步展望 | 第66-68页 |
| 致谢 | 第68-70页 |
| 参考文献 | 第70-72页 |
| 作者在读期间的研究成果 | 第72页 |
