采用AADL建模的日志分析技术研究与支撑工具设计
| 摘要 | 第1-6页 |
| Abstract | 第6-8页 |
| 目录 | 第8-10页 |
| 插图索引 | 第10-11页 |
| 附表索引 | 第11-12页 |
| 第1章 绪论 | 第12-17页 |
| ·课题来源 | 第12页 |
| ·研究背景 | 第12-13页 |
| ·研究意义 | 第13-15页 |
| ·研究内容 | 第15页 |
| ·本文组织结构 | 第15-17页 |
| 第2章 相关理论及技术基础 | 第17-32页 |
| ·日志分析基础 | 第17-20页 |
| ·日志文件 | 第17-18页 |
| ·日志分析方法 | 第18-19页 |
| ·日志分析示例 | 第19-20页 |
| ·AADL 及相关研究 | 第20-28页 |
| ·进程构件 | 第22-23页 |
| ·线程构件 | 第23-24页 |
| ·数据构件 | 第24-25页 |
| ·子程序构件 | 第25-26页 |
| ·执行平台构件 | 第26页 |
| ·系统构件 | 第26-27页 |
| ·AADL 模式 | 第27-28页 |
| ·AADL 仿真工具 | 第28-31页 |
| ·Eclipse 插件技术 | 第29页 |
| ·ADeS 介绍 | 第29-30页 |
| ·AADL 元模型 | 第30-31页 |
| ·小结 | 第31-32页 |
| 第3章 AADL 日志建模框架设计 | 第32-42页 |
| ·日志格式及其形式化 | 第32-33页 |
| ·AADL 日志建模框架与流程 | 第33-36页 |
| ·日志分析建模框架 | 第33-34页 |
| ·日志分析 AADL 模型建模挑战 | 第34-35页 |
| ·日志分析建模流程 | 第35-36页 |
| ·采用 AADL 的日志建模基础 | 第36-40页 |
| ·小结 | 第40-42页 |
| 第4章 AADL 日志建模分析方法 | 第42-57页 |
| ·日志预处理 | 第42-43页 |
| ·消息邮箱建模及故障检测 | 第43-50页 |
| ·消息邮箱模型抽象 | 第43-44页 |
| ·模型实现 | 第44-47页 |
| ·故障检测方法 | 第47-48页 |
| ·模型仿真 | 第48-50页 |
| ·内存访问建模及故障检测 | 第50-56页 |
| ·内存模型抽象 | 第50-51页 |
| ·模型实现 | 第51-53页 |
| ·故障检测方法 | 第53-54页 |
| ·模型仿真 | 第54-56页 |
| ·小结 | 第56-57页 |
| 第5章 日志分析支撑工具设计 | 第57-67页 |
| ·工具实现流程 | 第57-58页 |
| ·插件依赖关系设置 | 第58页 |
| ·模型遍历代码实现 | 第58-60页 |
| ·AADL 模型 XML 文件解析实现 | 第60-62页 |
| ·action 类实现 | 第62-64页 |
| ·示例测试 | 第64-66页 |
| ·小结 | 第66-67页 |
| 总结与展望 | 第67-69页 |
| 参考文献 | 第69-73页 |
| 致谢 | 第73-74页 |
| 附录A 攻读学位期间所发表的学术论文 | 第74-75页 |
| 附录B 攻读硕士期间参与的项目列表 | 第75页 |
