嵌入式操作系统运行时验证技术研究

摘要	第1-10页
ABSTRACT	第10-12页
第一章 绪论	第12-22页
·研究背景	第12-14页
·国内外研究现状	第14-20页
·运行时验证研究现状	第14-18页
·操作系统监控研究现状	第18-20页
·主要工作及创新	第20-21页
·论文组织结构	第21-22页
第二章 面向嵌入式操作系统的运行时验证框架	第22-34页
·嵌入式操作系统的运行时验证框架	第22-25页
·规约语言设计	第25-32页
·线性时序逻辑 LTL	第26-27页
·事件与条件机制	第27-29页
·事件定义语言	第29-32页
·小结	第32-34页
第三章 嵌入式操作系统监控接口设计	第34-42页
·FreeRTOS 的结构和运行机制	第34-36页
·FreeRTOS 的运行信息获取	第36-40页
·反馈控制接口	第40-41页
·小结	第41-42页
第四章 监控器构造与实现	第42-50页
·LTL 的三值语义	第42-43页
·监控器模型及监控程序的实现	第43-48页
·监控器模型的生成	第43-44页
·监控程序的实现	第44-48页
·小结	第48-50页
第五章 案例分析	第50-57页
·待验证性质规约定义与监控器构造	第50页
·事件、条件定义	第50-51页
·系统运行时验证过程	第51-56页
·小结	第56-57页
第六章 结论与展望	第57-59页
致谢	第59-60页
参考文献	第60-63页
作者在学期间取得的学术成果	第63页