运行时验证相关论文
随着信息物理融合系统（CPS）日益复杂，很难捕获其相关行为并以一种可解释的方式检测它。因此本文提出了一种基于线性支持向量机（LSVM）框......
对于大多数Android应用程序而言,图片加载行为是不可避免的。图片加载行为是计算密集型和内存密集型的操作,不恰当的图片加载行为......
信息物理融合系统（Cyber Physical System,CPS）被广泛应用于智能交通、智能建筑等安全攸关领域,其安全性至关重要。如何验证CPS的关......
随着软件系统的复杂化和大型化，保证软件可靠性变的越来越重要。运行时验证作为一种轻量级的的验证框架，它同时具备了形式化方法的准......
随着信息技术的迅猛发展,嵌入式系统作为一种灵活地专用操作系统,已经进入了人们生活的方方面面。在一些安全攸关领域中,嵌入式系......
随着计算机技术的发展和Web2.0时代的到来,尤其是近期互联网+概念的提出,互联网应用已经覆盖到了人们生活的每一个角落。社交网络......
随着物联网的快速发展,物联网服务系统在给人们带来便利的同时,也带来了极大的安全隐患,在运行中系统需要更多的安全保障。已有的......
随着计算机技术的发展,各种应用软件逐渐深入到人们日常生活的各个领域。但是应用软件的微小错误都可能对人们造成极其负面的影响,......
随着互联网和移动终端的发展,基于互联网的社交新媒介不断的出现,人们的社交活动越来越依赖于社交应用。微信是腾讯公司在2011年发......
互联网技术的迅速发展,让现代社会的信息量爆炸式增长。现在人们越来越喜欢在互联网上分享信息,社交网络(Social Network,SN)的出......
服务作为Android应用中经常使用的组件,主要负责在后台执行耗时的操作。虽然服务与应用的图形用户界面无关,但研究发现服务的不恰......
随着计算机技术的蓬勃发展,各种应用软件已经成为人们生活中的重要组成部分,如何提高软件的可靠性与安全性则成为了计算机领域中的......
随着软件系统日益复杂,提高软件可靠性也迫在眉睫,在严重的情况下会给国家安全、经济带来不可估量的损失。然而在提高软件可靠性方......
列车运行控制系统是轨道交通信号系统的重要组成部分之一，是保证列车运行安全的主要因素之一。随着计算机技术在列车运行控制系统中......
随着软件规模的不断增大,如何保证软件的可靠性和安全性成为学术界和工业界越来越关注的问题.运行时验证是一种新型的程序自动验证......
运行时验证一般采用时态逻辑来描述要验证的需求规约,并根据需求规约构造监控器.这对于那些没有形式化经验的软件工程师而言,是一......
随着信息技术的迅速发展,对于硬件、软件、网络等可靠性的高效检验成为急需解决的一个重要问题.在众多验证方法中,运行时验证由于......
在简要介绍PSL的分层结构和语法与语义基础上,综述了PSL验证技术的应用研究现状,分析了各种方法、技术的优缺点,最后指出了PSL验证......
介绍一种基于Monitoring and Checking（MaC）的运行时验证框架。受预测语义概念及一种比较成熟的运行时验证工具MaC的启发,通过研究Ma......
运行时验证是一种轻量级的形式化验证方法,使用可视化的需求规约描述语言建模需求规约场景是运行时验证领域的研究热点。针对目前......
运行时验证中的一个重要研究内容就是减少监控开销,以达到运行时开销对系统影响最小化的目标。总结了近年来运行时验证中减少监控......
运行时验证是一种轻量级的新型自动化验证技术。运用了该技术的验证软件由两部分组成:一部分是被监控的目标程序;另一部分是监控器......
面向动作的上下文感知（activity-oriented context-aware,简称AOCA）应用组织环境中的资源,为用户动作的顺利进行提供支持.为应对环境......
UML是一种标准的可视化建模工具，广泛应用于软件系统的描述、可视化、构建和建立文档。本文介绍了一种UMI。行为图驱动的Java程序运......
运行时验证是一种轻量级的验证方法,通过实时地监测系统的行为,验证系统的正确性,及时发现冲突,并发出警告或作出反应。运行时验证......
在开放和动态环境下,系统或环境的不安全的运行时变化可能为整个系统的正确执行埋下隐患,可能最终导致软件失效.基于监控器的软件......
为了确保用户选择的Web服务的运行时行为与用户需求之间的一致性，提出了一种基于运行时验证的服务选择方法。首先基于自动机原理，对W......
研究软部件设计中的可靠性问题，对这一问题主要诉是，当一个已存软部件的正确性无法得到确认时，在具具体实现不可知的情况下，如何提高它......
随着软件运行时验证技术的发展,出现了许多面向C语言的运行时内存安全验证工具。这些工具大多是基于源代码或者中间代码插桩技术来......
介绍了一种基于自动机理论的参数化LTL（parameterized LTL（1inear temporal logic），简称PALTL）公式运行时预测监控器构造方法．一方面研究......
无人飞行系统（unmanned aerial system，简称UAS）的软、硬件存在缺陷以及遇到外部恶意攻击，会给UAS的安全性带来极大的威胁．由于UAS的运......
运行时验证是提升普适计算应用可靠性的重要手段.这类应用的很多性质同时涉及时间关系和空间位置关系,这样的时空性质给运行时的验......
软件系统在运行过程中的状态和行为是否与其需求规约一致是衡量软件系统服务质量的一个关键指标.提出了一种使用基于模型的软件系......
针对运行时验证中,监控模块对软件系统运行效率产生影响的问题,提出一种基于预测的控制运行时验证开销的方法。该方法主要是通过建......
列车运行控制系统具有分布、动态、多场景融合等特点,系统缺陷在开发阶段难以完全消除。因此,需要在系统部署后实施运行时监控,在......
本文结合作者课题内容，介绍了一种运行时验证技术中的监控器构造方法。该方法完整涵盖了从性质规约到监控器模型再到监控程序的全过......
C语言对内存操作不进行边界安全检测,这使C程序具有高执行效率,但也产生各种安全问题,例如数组越界、指针访问越界、C库函数的非法......
随机系统运行时验证中,由于可靠地传感系统运行状态的成本非常高以及一些事件的监控严重影响系统时间相关的行为,因此,复杂随机系......
利用运行时验证这样一种新兴的轻量级验证技术和AOP的框架结合，检测业务约束之间存在的冗余和冲突。首先对业务约束进行定义，利用约......
随着软件在社会生活应用中的不断深入,软件系统的体积和复杂度都呈现出迅速增长的态势,软件可靠性问题也相应成为软件行业发展不容......
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们......
现代大规模的软件系统一般都是建立在第三方程序库之上的,比如大家所熟知的Java类库。但是,第三方程序库往往对其提供的接口规定了......
针对当前工业控制系统所面临的信息安全问题,提出了一种安全可信的体系架构。首先分析了工控系统特点、整体模型和控制流程,然后结......
通过监控程序运行检验软件运行是否满足给定性质的轻量级验证中常产生高额的时间开销,阻碍了该技术部署后在系统中的应用。如何减......
为了确保包括非功能属性在内的服务规约与服务实际运行行为之间的一致性,提出一种Web服务运行时行为验证方法。首先对UML 2.0序列......
