| 摘要 | 第1-4页 |
| Abstract | 第4-7页 |
| 目录 | 第7-12页 |
| 图表索引 | 第12-15页 |
| 主要符号对照表 | 第15-16页 |
| 第1章 前言 | 第16-36页 |
| ·研究背景 | 第17-21页 |
| ·嵌入式软件 | 第17-18页 |
| ·商用嵌入式操作系统 | 第18-19页 |
| ·构件化嵌入式操作系统 | 第19-20页 |
| ·嵌入式构件模型 | 第20-21页 |
| ·相关技术 | 第21-33页 |
| ·构件化的嵌入式操作系统 | 第21-25页 |
| ·Pebble | 第21-23页 |
| ·THINK | 第23页 |
| ·TinyOS | 第23-25页 |
| ·构件化的软件模型 | 第25-31页 |
| ·Click | 第25-26页 |
| ·Koala | 第26-27页 |
| ·Simulink | 第27-29页 |
| ·NP-Click | 第29-31页 |
| ·总结和讨论 | 第31-33页 |
| ·本文的主要内容及组织安排 | 第33-36页 |
| 第2章 多内核构件化嵌入式操作系统Pcanel | 第36-87页 |
| ·多内核操作系统技术 | 第37-48页 |
| ·经典的双内核技术 | 第37-38页 |
| ·多内核技术的定义 | 第38-44页 |
| ·五个内核 | 第44-48页 |
| ·支持构件模型的内核 | 第48-57页 |
| ·面向嵌入式系统 | 第49-50页 |
| ·构件化的软件架构 | 第50-52页 |
| ·构件的开发和运行 | 第52-53页 |
| ·C-Kernel | 第53-56页 |
| ·线程、空间和通信 | 第53-54页 |
| ·构件运行形态 | 第54-55页 |
| ·远程方法调用 | 第55-56页 |
| ·性能评估 | 第56-57页 |
| ·支持数据流框架的内核 | 第57-67页 |
| ·面向数据流应用 | 第58-59页 |
| ·面向数据流的软件框架 | 第59-62页 |
| ·D-Kernel | 第62-66页 |
| ·元件行为的调度 | 第62-64页 |
| ·数据包的传递 | 第64-66页 |
| ·性能评估 | 第66-67页 |
| ·虚拟化平台以及相关的内核 | 第67-85页 |
| ·介绍 | 第67-69页 |
| ·虚拟化平台SmartVP | 第69-70页 |
| ·实时操作系统T-Kernel内核 | 第70-72页 |
| ·通用操作系统Linux内核 | 第72-74页 |
| ·资源分区和共享 | 第74-78页 |
| ·V-Kernel | 第78-81页 |
| ·标准化接口 | 第81-83页 |
| ·性能评估 | 第83-85页 |
| ·小结 | 第85-87页 |
| 第3章 构件模型SmartCM | 第87-121页 |
| ·微内核技术 | 第87-88页 |
| ·C-Kernel的实现 | 第88-101页 |
| ·线程 | 第89-94页 |
| ·组织结构 | 第89-91页 |
| ·特权线程 | 第91-92页 |
| ·优先级 | 第92-94页 |
| ·地址空间 | 第94-95页 |
| ·通信 | 第95-98页 |
| ·数据的传递 | 第95-96页 |
| ·IPC两阶段 | 第96页 |
| ·客户端/服务端模式 | 第96-97页 |
| ·抢占式IPC | 第97-98页 |
| ·地址空间的传递 | 第98页 |
| ·应用二进制接口 | 第98-99页 |
| ·流水线处理 | 第99-101页 |
| ·构件化运行环境 | 第101-116页 |
| ·反射机制 | 第101-106页 |
| ·灵活的自适应性 | 第101-103页 |
| ·反射式调度 | 第103-105页 |
| ·反射式空间管理 | 第105-106页 |
| ·构件的交互 | 第106-112页 |
| ·优先级倒置问题 | 第107-109页 |
| ·基于事务的远程方法调用 | 第109-110页 |
| ·抢占式的远程方法调用 | 第110-112页 |
| ·构件的保护 | 第112-115页 |
| ·共享地址空间 | 第113-114页 |
| ·数据保护机制 | 第114-115页 |
| ·接口编译器 | 第115-116页 |
| ·性能评估 | 第116-120页 |
| ·内核的基础性能 | 第116-118页 |
| ·构件模型的性能 | 第118-120页 |
| ·小结 | 第120-121页 |
| 第4章 数据流框架SmartDF | 第121-167页 |
| ·元件模型 | 第121-136页 |
| ·构件化的数据流应用 | 第121-129页 |
| ·基于IPC传递数据包 | 第123-126页 |
| ·有规律的交互 | 第126-127页 |
| ·调度与通信的分离 | 第127-128页 |
| ·应用分析 | 第128-129页 |
| ·理论模型 | 第129-134页 |
| ·框架与元件 | 第130-132页 |
| ·框架的组合 | 第132-134页 |
| ·计算模型的支持 | 第134-136页 |
| ·D-Kernel的实现 | 第136-144页 |
| ·并发处理 | 第136-139页 |
| ·基于任务和事件的并发 | 第136-137页 |
| ·非阻塞式同步 | 第137-138页 |
| ·分段操作 | 第138-139页 |
| ·控制器的结构 | 第139-144页 |
| ·数据流调度网络 | 第139-140页 |
| ·转换调度队列 | 第140-141页 |
| ·事件控制器 | 第141-142页 |
| ·任务控制器 | 第142-143页 |
| ·模型控制器 | 第143-144页 |
| ·运行环境 | 第144-155页 |
| ·Element | 第144-148页 |
| ·size | 第145-146页 |
| ·Initialize & Destruct | 第146页 |
| ·Refine | 第146-147页 |
| ·Process | 第147页 |
| ·Resolve | 第147-148页 |
| ·Parameter | 第148-149页 |
| ·Port & Relaion | 第149-151页 |
| ·Token | 第150-151页 |
| ·Guard | 第151-152页 |
| ·Model | 第152-154页 |
| ·Director | 第154-155页 |
| ·性能评估 | 第155-166页 |
| ·简单通信 | 第156-158页 |
| ·复杂通信 | 第158-159页 |
| ·调度 | 第159-161页 |
| ·实例研究 | 第161-166页 |
| ·通信 | 第161-162页 |
| ·远程交互系统的数据流模型 | 第162-163页 |
| ·构件化开发 | 第163-164页 |
| ·讨论 | 第164-165页 |
| ·性能测试 | 第165-166页 |
| ·小结 | 第166-167页 |
| 第5章 支持多核处理器的SmartDF | 第167-189页 |
| ·多核处理器的嵌入式系统 | 第167-173页 |
| ·MPSoC架构介绍 | 第167-169页 |
| ·MPSOC软件开发 | 第169-170页 |
| ·多处理器的实时调度 | 第170-173页 |
| ·Earliest Deadline First(EDF) | 第171页 |
| ·Branch-and-Bound Algorithm(B & B) | 第171-172页 |
| ·Pfair | 第172-173页 |
| ·分布式运行环境 | 第173-181页 |
| ·运行模式 | 第174-177页 |
| ·元件的分配 | 第177-179页 |
| ·运行结构 | 第179-181页 |
| ·数据流调度模型 | 第181-188页 |
| ·调度问题 | 第181-183页 |
| ·调度算法 | 第183-187页 |
| ·调度策略1 | 第186页 |
| ·调度策略2 | 第186-187页 |
| ·算法实现 | 第187-188页 |
| ·小结 | 第188-189页 |
| 第6章 结论与展望 | 第189-193页 |
| ·本文工作的总结 | 第189-191页 |
| ·未来工作的展望 | 第191-193页 |
| 附录A 可视化开发环境SmartDesign | 第193-197页 |
| A.1 GME工具 | 第193-194页 |
| A.2 建模和设计 | 第194-197页 |
| 参考文献 | 第197-206页 |
| 攻读博士学位期间取得的研究成果 | 第206-208页 |
| 致谢 | 第208页 |