基于运行时验证的软件监控关键技术研究
| 摘要 | 第1-11页 |
| Abstract | 第11-13页 |
| 第一章 绪论 | 第13-33页 |
| ·研究背景 | 第13-14页 |
| ·相关概念 | 第14-21页 |
| ·运行时验证 | 第14-18页 |
| ·系统控制及软件控 | 第18-21页 |
| ·相关工作 | 第21-28页 |
| ·监控语义相关研究 | 第21-23页 |
| ·监控器构造方法相关研究 | 第23-25页 |
| ·运行时控制相关技术究 | 第25-27页 |
| ·面向动态属性的运行时验证相研究 | 第27-28页 |
| ·论文主要工作 | 第28-30页 |
| ·论文结构 | 第30-33页 |
| 第二章 理论基础 | 第33-43页 |
| ·语言及自动机 | 第33-37页 |
| ·Kripke结构及其言 | 第33页 |
| ·有穷状态自动机及动机 | 第33-35页 |
| ·交错自动机及交错自机 | 第35-37页 |
| ·线性时序逻辑 | 第37-39页 |
| ·坏前缀和informative缀 | 第39-40页 |
| ·监控属性和不可监控属 | 第40-42页 |
| ·小结 | 第42-43页 |
| 第三章 面向LTL的高效预测监控器构造术 | 第43-53页 |
| ·引言 | 第43-44页 |
| ·LTL的预测语义 | 第44-45页 |
| ·面向LTL的高效预测监控器造 | 第45-51页 |
| ·静态构造过程 | 第46-47页 |
| ·运行过程 | 第47-48页 |
| ·优化 | 第48-51页 |
| ·小结 | 第51-53页 |
| 第四章 基于LTL的软件主动监控术 | 第53-71页 |
| ·软件主动监控思想 | 第53-54页 |
| ·软件行为控制特征 | 第54-56页 |
| ·面向主动监控的软件系统型 | 第56-59页 |
| ·基于模型的控制论 | 第59-61页 |
| ·软件主动监控方法 | 第61-65页 |
| ·问题描述 | 第61-63页 |
| ·主动监控框架 | 第63-65页 |
| ·实例分析 | 第65-69页 |
| ·哲学家进餐题 | 第65-67页 |
| ·十字道口控制统 | 第67-69页 |
| ·小结 | 第69-71页 |
| 第五章 面向参数化LTL的预测监控器构术 | 第71-89页 |
| ·引言 | 第71-72页 |
| ·预测语义及预测监器 | 第72-73页 |
| ·参数化的LTI | 第73-78页 |
| ·PALTL语法 | 第74-75页 |
| ·PALTL语义及预测义 | 第75-78页 |
| ·面向PALTL的参数化预测监器 | 第78-87页 |
| ·静态构造 | 第80-86页 |
| ·动态运行 | 第86-87页 |
| ·小结 | 第87-89页 |
| 第六章 面向LTL Schema的运行时证 | 第89-103页 |
| ·引言 | 第89-91页 |
| ·LTL Schema | 第91-94页 |
| ·相关定义 | 第91-93页 |
| ·LTL Schema 语法和义 | 第93-94页 |
| ·LTL schema的预测语义及预测监器 | 第94-97页 |
| ·LTL Schema的预测义 | 第94-95页 |
| ·LTL Schema的预测监器 | 第95-97页 |
| ·在线的LTL Schema控 | 第97-99页 |
| ·实例分析 | 第99-101页 |
| ·实现 | 第99-101页 |
| ·试验 | 第101页 |
| ·小结 | 第101-103页 |
| 第七章 基于软件主动监控的安全目标确保 | 第103-119页 |
| ·引言 | 第103-104页 |
| ·安全信息流模型和安全目标 | 第104-110页 |
| ·相关定义 | 第104-105页 |
| ·安全信息流模型 | 第105-108页 |
| ·安全目标 | 第108-110页 |
| ·在线安全目标确保 | 第110-114页 |
| ·安全信息流模型及其语言 | 第110-112页 |
| ·基于安全信息流模型的控制理论 | 第112-114页 |
| ·实例分析 | 第114-117页 |
| ·实现框架 | 第114-116页 |
| ·试验 | 第116-117页 |
| ·小结 | 第117-119页 |
| 第八章 结束语 | 第119-123页 |
| ·论文工作总结 | 第119-120页 |
| ·进一步工作 | 第120-123页 |
| 致谢 | 第123-125页 |
| 参考文献 | 第125-135页 |
| 攻读博士期间取得的学术成果 | 第135-137页 |
| 攻读博士期间参加的科研项目 | 第137页 |
