基于运行时验证的嵌入式系统监控技术研究

《基于运行时验证的嵌入式系统监控技术研究》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、分类号TP301学号14060007ＵＤＣ004密级公开工学硕士学位论文基于运行时验证的嵌入式系统监控技术研究硕士生姓名史浩学科专业微电子与固体电子学研究方向运行时验证指导教师齐治昌教授国防科学技术大学研究生院二〇一六年十一月ResearchonMonitoringTechnologyforEmbeddedSystemBasedonRuntimeVerificationCandidate：ShiHaoAdvisor：Prof.QiZhichangAthesisSubmittedinpartial

2、fulfillmentoftherequirementsforthedegreeofMasterofEngineeringinElectronicsScienceandTechnologyGraduateSchoolofNationalUniversityofDefenseTechnologyChangsha，Hunan，P.R.ChinaNovember，2016国防科学技术大学研究生院硕士学位论文目录摘要............................................

3、.....................................................................iABSTRACT.........................................................................................................ii第一章绪论............................................................

4、..........................................11.1课题研究背景...................................................................................................11.2国内外研究现状........................................................................................

5、.......31.3本文主要工作...................................................................................................71.3.1主要工作................................................................................................71.3.2创新点...................

6、.................................................................................71.4论文结构...........................................................................................................8第二章软件运行时验证技术.........................................

7、....................................92.1基本概念...........................................................................................................92.1.1运行时验证........................................................................................

8、....92.1.2监控器..................................................................................................102.1.3监控语义..............................................................................................102.2理论基础.........................