导读:本文包含了运行时监控论文开题报告文献综述及选题提纲参考文献，主要关键词:运行时验证,多线程,源代码插桩,编程语言
运行时监控论文文献综述
陈韬,王明明[1]（2019）在《基于多线程监控器的运行时验证》一文中研究指出运行时验证是一种轻量级的新型自动化验证技术。运用了该技术的验证软件由两部分组成:一部分是被监控的目标程序;另一部分是监控器。对于基于形式化语言的运行时验证方法主要思想就是输入表示描述事件和性质的形式化规约语法,目标程序。输出插桩好的新程序。插桩好的新程序在遇到需要监控的切点时,就会执行相应的函数去判断是否满足形式化规约语法。然而传统的单线程运行时验证监控器在目标程序需要监控的规约性质比较多的时候,重新生成的程序可能会因为要验证比较多的规约性质,造成程序的性能变慢。文中利用多核并行技术,对原型工具Movec进行优化。通过使用串行程序中多个监控器分配到多线程的方法,Clang编译器的插桩技术和多核任务分配方法,实现了Movec原型工具的优化。并将优化之后的Movec与没有改进之前的进行实验数据对比,实验结果表明采用多线程的运行方法具有很好的效果。(本文来源于《计算机技术与发展》期刊2019年02期）
王丹,陈嘉,赵文兵,林九川[2]（2017）在《基于虚拟机的程序运行时监控方法》一文中研究指出为实现在系统层面对程序运行时行为的监控,本文设计了基于虚拟机的程序运行时动态监控框架。利用事件驱动机制,借助虚拟机翻译程序的原理,选取特定事件作为被关注事件进行注册,从虚拟环境中提取CPU状态进行分析,从而获得相关程序动态运行信息。以基于控制流的可疑程序分析作为应用实例,描述了具体实现过程。测试结果表明,该框架能够在系统层进行有效的行为监控,方便获取操作系统内核状态和进程的信息,为程序的动态行为分析提供了有利的支持。(本文来源于《哈尔滨工程大学学报》期刊2017年12期）
史浩[3]（2016）在《基于运行时验证的嵌入式系统监控技术研究》一文中研究指出随着信息技术的迅猛发展,嵌入式系统作为一种灵活地专用操作系统,已经进入了人们生活的方方面面。在一些安全攸关领域中,嵌入式系统的失效可能会导致极为严重的人员伤亡及财产损失。另一方面,随着嵌入式操作系统向智能化、网络化、多媒体化发展,软件在嵌入式系统中的地位越来越高,也越来越复杂。如何针对嵌入式系统的特点,对其进行安全性验证,受到了学术界及工业界的广泛关注及深入研究。运行时验证是一种新兴的轻量级程序验证技术,它通过监控实际系统的运行状态来判断系统的执行是否满足安全需求,是传统软件验证和确认技术的有效补充。它不但可以监测到系统当中的异常行为,也可以在系统违反安全性质时,执行相关代码,对系统进行修复。因此,将运行时验证技术运用于嵌入式系统的行为验证与系统监控中,是一种有效的思路。本文结合运行时验证最新的研究成果,嵌入式系统的特点,以及我们在工程项目中遇到的问题,展开了相关研究,主要工作如下:1.规约语言体系的扩充。根据实际项目中遇到的问题,扩充现有规约语言体系,将离散时间上的MTL应用于实际项目研究,用于表达嵌入式系统中常见的周期性质和实时性质。2.针对周期性质和实时性质的监控方法。基于Discrete-Time MTL,开发周期性质和实时性质的监控框架。设计实现了从Discrete-Time MTL到自动机的两个算法,并形成工具成果。3.面向参数化时序性质的监控方法。基于路径切片技术,在面向C语言的运行时验证框架中,实现了对参数化性质进行监控的框架设计,并进行了实现。4.针对嵌入式C程序的工具扩展。结合LLVM编译框架,面向嵌入式C语言搭建运行时验证框架,并进行了工具实现。(本文来源于《国防科学技术大学》期刊2016-11-01）
陈亮,邹鹏,熊达鹏,王华,王鹏[4]（2016）在《基于探针的Web服务运行时监控方法研究》一文中研究指出为了实时、准确地获取工作流服务及其构件服务的运行状态,提出了一种基于探针的Web服务运行时监测方法。该方法采用面向方面编程(AOP)技术对Web服务进行监测探针插入,以捕获Web服务运行过程中的异常事件和服务质量(QoS)属性相关数据,进而实现对Web服务运行状态的实时监测;针对异常、响应时间、可靠性以及可用性的监测需求分别设计和实现基于AOP的监测探针;在此基础上,基于开放服务网关协议(OSGI)框架设计实现了一个Web服务运行时监测与可视分析原型系统,并通过实验验证了方法的有效性和系统的可用性。(本文来源于《装备学院学报》期刊2016年05期）
徐胜,叶俊民,陈曙,金聪,陈盼[5]（2016）在《运行时验证中的减少监控开销方法研究》一文中研究指出运行时验证中的一个重要研究内容就是减少监控开销,以达到运行时开销对系统影响最小化的目标。总结了近年来运行时验证中减少监控开销技术的研究发展,首先介绍了运行时开销控制的研究现状;然后详细介绍了运行时开销减少的具体方法;最后分析了运行时开销控制技术面临的主要挑战,并对该领域未来的研究方向进行了展望。(本文来源于《计算机科学》期刊2016年05期）
王喆,张琳琳,曹敏姿,张长春[6]（2016）在《一种基于SLA的云服务运行时监控模型》一文中研究指出云服务日益发展的今天,服务质量和服务安全问题受到越来越多的关注。为了保护云服务用户的利益,提高服务质量,对服务的运行过程进行监控至关重要。通过对云环境中的SLA进行分析和研究,对比当前的监控方法,提出基于SLA的云服务运行时监控模型,通过实验验证该模型能够有效提高服务质量。(本文来源于《现代计算机(专业版)》期刊2016年12期）
朱云龙[7]（2016）在《C程序运行时监控和验证的插桩方法研究与应用》一文中研究指出随着软件在社会生活应用中的不断深入,软件系统的体积和复杂度都呈现出迅速增长的态势,软件可靠性问题也相应成为软件行业发展不容忽视的重要方面。在现有的软件验证技术中,运行时验证作为一种轻量级的验证技术,综合了运行时监控技术和形式化规约技术,是当前软件验证领域的一个研究热点问题。而在运行时验证的技术实现中,一方面需要实现待验证性质的描述和相应验证器的生成,另一方面需要将监控器和验证器集成到待监控的软件系统中,即监控和验证代码的插桩。由于软件体积和复杂度的不断增加,基于日志API监控或手动进行监控验证代码插桩明显不能满足不同平台,不同类型系统监控验证的需求。随着编译器技术和面向方面编程技术的不断发展,利用编译器实现代码自动插桩,借助面向方面语言实现插桩位置描述和模块化管理,正在成为推动运行时验证实际应用的重要研究领域。本文分析了C语言的编译流程,LLVM开源编译器框架及其Clang编译器前端,在此基础上参照面向方面编程的概念,设计并实现了一种针对C程序的面向方面语言MOVEC,其相应编译器能够解析监控器插桩位置的描述并利用源代码插桩技术实现插桩需求。同样基于源代码插桩的技术,本文设计并实现了软件中除0,整数溢出和变量使用前未初始化错误验证器的插桩。通过将MOVEC语言编译器和现有针对C/C++程序的面向方面语言编译器AspectC,Aspect C++在准确性,插桩时间,程序性能影响和程序代码膨胀等方面进行对比,表明MOVEC语言能够在保证对程序性能的低影响前提下,实现更高的准确性,更低的插桩时间,更小的代码膨胀率。实验同时验证了叁种常见错误验证器设计和插桩方法的正确性。本文的工作为运行时验证监控器和验证器插桩的自动化,高效率,跨平台实现提供了基础,能够促进运行时验证在实际生活中的应用。(本文来源于《南京航空航天大学》期刊2016-03-01）
吴宗卓[8]（2015）在《软件运行时监控的研究与设计》一文中研究指出本研究旨在提出一种新的软件运行时监控框架,框架以事件模型和指标模型为核心。以保障对软件运行时期监控数据的分析和计算的准确性与实时性,系统提高了监控效率、监控准确性和实时性,改进了软件运行时监控的智能化水平。(本文来源于《科技展望》期刊2015年35期）
王珍,叶俊民,陈曙,辜剑,金聪[9]（2014）在《参数化运行时监控研究》一文中研究指出随着计算机软件广泛应用于各类安全关键系统以及软件日趋复杂,软件可靠性变得越来越重要。作为一种广泛使用于各种平台的软件解决方案,运行时监控是提高软件可靠性的最灵活的解决方案之一。但随着运行时监控技术以及软件技术的发展,人们希望通过运行时监控技术来验证系统的动态属性,从而提出参数化性质的运行时监控技术。由于其在面向对象系统中的适用性,参数化性质的运行时监控已经受到了越来越多的关注。综述了参数化运行时监控的研究进展,提出了参数化运行时监控的问题定义,介绍了这一领域的主要研究内容:参数化运行时监控方法、减少参数化监控开销的技术、多属性规约的参数化运行时监控。(本文来源于《计算机科学》期刊2014年11期）
徐蛟[10]（2014）在《面向列控安全性监控的运行时验证方法研究》一文中研究指出列车控制系统是轨道交通信号系统的重要组成部分之一,是保证列车运行安全的重要部分,测试与形式验证是确保其安全性的主要途径。传统的测试方式由于其不完备性,难以测试可能的运行环境与路径,因此无法保证运行后的系统不存在安全缺陷;模型检验是一种完备的验证系统的方法,但是会遇到模型刻画能力与验证能力矛盾的问题,尤其是状态爆炸问题会使得该方法对于复杂系统难以适用。运行时验证是一种轻量级的验证技术,其验证过程伴随目标系统的实际运行,对系统运行路径是否满足安全性质进行及时监控,是传统测试和验证技术的有效补充,在许多领域逐渐受到人们的关注,并被具体运用到众多对系统安全性有着较高要求的行业。本文针对列控系统中分路不良、无线闭塞中心RBC切换等对列控安全极其重要的问题入手,研究相应的运行时验证技术,包括:(1)分析轨道电路子系统中分路不良场景及其发生的原因,总结了对分路不良进行监控以保证列车安全性的一组关键性质,并提出用线性时序逻辑(LTL)描述和生成监控器的方法。由于分路不良问题需要多个监控监控器同时监控,为了提高监控效率,还提出了了针对分路不良的多监控器调度策略。(2)为了实现监控性质的辅助描述和自动生成,本文针对列控系统安全性监控需要考虑的主要特征,包括监控事件的描述、非插装式的监控器运行机制、列控系统主要采用C语言等,对Java MOP监控工具进行扩展,对其MOP文件格式重新设计,扩展了事件与条件定义语言,并实现了相应的监控器生成工具。(3)为了验证上述方法和工具的有效性,对列控系统中无线闭塞中心RBC子系统的RBC切换场景进行了实验分析,对RBC切换交接过程中必须满足的安全性质进行规约并生成相应的监控器,以及时发现危险情况,取得了良好效果,从而验证了上述方法的适用性以及原型工具的有效性。(本文来源于《国防科学技术大学》期刊2014-11-01）
运行时监控论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
为实现在系统层面对程序运行时行为的监控,本文设计了基于虚拟机的程序运行时动态监控框架。利用事件驱动机制,借助虚拟机翻译程序的原理,选取特定事件作为被关注事件进行注册,从虚拟环境中提取CPU状态进行分析,从而获得相关程序动态运行信息。以基于控制流的可疑程序分析作为应用实例,描述了具体实现过程。测试结果表明,该框架能够在系统层进行有效的行为监控,方便获取操作系统内核状态和进程的信息,为程序的动态行为分析提供了有利的支持。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
运行时监控论文参考文献
[1].陈韬,王明明.基于多线程监控器的运行时验证[J].计算机技术与发展.2019
[2].王丹,陈嘉,赵文兵,林九川.基于虚拟机的程序运行时监控方法[J].哈尔滨工程大学学报.2017
[3].史浩.基于运行时验证的嵌入式系统监控技术研究[D].国防科学技术大学.2016
[4].陈亮,邹鹏,熊达鹏,王华,王鹏.基于探针的Web服务运行时监控方法研究[J].装备学院学报.2016
[5].徐胜,叶俊民,陈曙,金聪,陈盼.运行时验证中的减少监控开销方法研究[J].计算机科学.2016
[6].王喆,张琳琳,曹敏姿,张长春.一种基于SLA的云服务运行时监控模型[J].现代计算机(专业版).2016
[7].朱云龙.C程序运行时监控和验证的插桩方法研究与应用[D].南京航空航天大学.2016
[8].吴宗卓.软件运行时监控的研究与设计[J].科技展望.2015
[9].王珍,叶俊民,陈曙,辜剑,金聪.参数化运行时监控研究[J].计算机科学.2014
[10].徐蛟.面向列控安全性监控的运行时验证方法研究[D].国防科学技术大学.2014