| 摘要 | 第1-7页 |
| Abstract | 第7-8页 |
| 目录 | 第8-10页 |
| 第一章 引言 | 第10-16页 |
| ·自动化计算简介 | 第10-12页 |
| ·自动化计算系统的结构 | 第12-13页 |
| ·本文研究目标及贡献 | 第13-15页 |
| ·本文结构 | 第15-16页 |
| 第二章 DMARF技术及进程代数CSP | 第16-24页 |
| ·DMARF技术 | 第16-19页 |
| ·进程代数CSP | 第19-22页 |
| ·PAT工具 | 第22-24页 |
| 第三章 DMARF系统抽象模型构架及自保护性质模型分析 | 第24-32页 |
| ·DMARF系统抽象模型构架 | 第24-25页 |
| ·DMARF系统自保护性质分析及模型 | 第25-31页 |
| ·本章小结 | 第31-32页 |
| 第四章 DMARF系统自优化及自恢复性质分析 | 第32-42页 |
| ·DMARF系统自优化性质分析及模型 | 第32-34页 |
| ·DMARF系统自恢复性质分析及模型 | 第34-40页 |
| ·本章小结 | 第40-42页 |
| 第五章 自动化性质验证 | 第42-48页 |
| ·前提条件的设置 | 第42页 |
| ·基于PAT的模块表达 | 第42-44页 |
| ·可达性断言及验证 | 第44-47页 |
| ·本章小结 | 第47-48页 |
| 第六章 总结及展望 | 第48-50页 |
| ·总结 | 第48-49页 |
| ·展望 | 第49-50页 |
| 参考文献 | 第50-53页 |
| 附录 可达性验证代码 | 第53-55页 |
| 作者研究生阶段参加的项目及发表文章情况 | 第55-56页 |
| 后记 | 第56页 |