| 摘要 | 第1-5页 |
| Abstract | 第5-12页 |
| 第一章 引言 | 第12-24页 |
| ·研究背景 | 第12-16页 |
| ·嵌入式系统软件危机 | 第13-14页 |
| ·提高软件可信性的必要性 | 第14-15页 |
| ·构件化是软件开发的必然趋势 | 第15-16页 |
| ·国内外研究现状 | 第16-21页 |
| ·实时操作系统 | 第16-19页 |
| ·构件化操作系统 | 第19-20页 |
| ·系统可信性研究 | 第20-21页 |
| ·课题来源 | 第21-22页 |
| ·主要研究内容 | 第22页 |
| ·论文结构安排 | 第22-24页 |
| 第二章 可信性与构件化技术 | 第24-40页 |
| ·概述 | 第24页 |
| ·高可信技术研究 | 第24-33页 |
| ·可信性概念 | 第24-28页 |
| ·可信性保障技术 | 第28-33页 |
| ·构件化技术研究 | 第33-39页 |
| ·概述 | 第33-35页 |
| ·构件模型 | 第35-37页 |
| ·构件化软件过程 | 第37-39页 |
| ·本章小结 | 第39-40页 |
| 第三章 GOSSAMER平台研究 | 第40-51页 |
| ·概述 | 第40-42页 |
| ·系统可信部分的划分 | 第41页 |
| ·构件化高可信平台的目标 | 第41-42页 |
| ·GOSSAMER平台的体系结构 | 第42-50页 |
| ·操作系统适配层(OSAL) | 第43页 |
| ·面向对象包装层 | 第43-44页 |
| ·可信性框架层(DFL) | 第44-46页 |
| ·其他框架和构件 | 第46-47页 |
| ·构件库 | 第47-50页 |
| ·本章小结 | 第50-51页 |
| 第四章 GOSSAMER平台设计 | 第51-75页 |
| ·概述 | 第51-54页 |
| ·ERTOS实时内核 | 第51-53页 |
| ·ACE简介 | 第53-54页 |
| ·操作系统适配层的设计 | 第54-57页 |
| ·Facade和Wrapper Facade模式简介 | 第55-56页 |
| ·操作系统适配层API的定义 | 第56-57页 |
| ·面向对象包装技术 | 第57-62页 |
| ·面向对象包装的设计原则 | 第57-58页 |
| ·Socket的面向对象包装 | 第58-59页 |
| ·线程的面向对象包装 | 第59-60页 |
| ·同步技术的面向对象包装 | 第60-61页 |
| ·同步事件多路分离的面向对象包装 | 第61-62页 |
| ·可信性框架的设计 | 第62-69页 |
| ·调度分配器 | 第62-65页 |
| ·可信保障工具 | 第65-68页 |
| ·主干程序 | 第68页 |
| ·策略配置和状态监控 | 第68-69页 |
| ·其他主要框架和构件 | 第69-74页 |
| ·内存管理 | 第69-70页 |
| ·定时器 | 第70-72页 |
| ·容器管理 | 第72-73页 |
| ·GP_Task框架 | 第73-74页 |
| ·本章小结 | 第74-75页 |
| 第五章 GOSSAMER平台的开发环境简介 | 第75-77页 |
| ·概述 | 第75页 |
| ·VIRTEX-4 FX12 | 第75-76页 |
| ·软件开发环境 | 第76页 |
| ·本章小节 | 第76-77页 |
| 第六章 结论与展望 | 第77-79页 |
| ·全文总结 | 第77页 |
| ·主要工作和创新 | 第77-78页 |
| ·问题和不足 | 第78页 |
| ·未来工作的展望 | 第78-79页 |
| 致谢 | 第79-80页 |
| 参考文献 | 第80-87页 |
| 个人简历、在学期间的研究成果及发表的学术论文 | 第87-88页 |