运行时验证相关论文
随着信息物理融合系统（CPS）日益复杂，很难捕获其相关行为并以一种可解释的方式检测它。因此本文提出了一种基于线性支持向量机（LSVM）框......
对于大多数Android应用程序而言,图片加载行为是不可避免的。图片加载行为是计算密集型和内存密集型的操作,不恰当的图片加载行为......
信息物理融合系统（Cyber Physical System,CPS）被广泛应用于智能交通、智能建筑等安全攸关领域,其安全性至关重要。如何验证CPS的关......
随着软件系统的复杂化和大型化，保证软件可靠性变的越来越重要。运行时验证作为一种轻量级的的验证框架，它同时具备了形式化方法的准......
随着信息技术的迅猛发展,嵌入式系统作为一种灵活地专用操作系统,已经进入了人们生活的方方面面。在一些安全攸关领域中,嵌入式系......
随着计算机技术的发展和Web2.0时代的到来,尤其是近期互联网+概念的提出,互联网应用已经覆盖到了人们生活的每一个角落。社交网络......
随着物联网的快速发展,物联网服务系统在给人们带来便利的同时,也带来了极大的安全隐患,在运行中系统需要更多的安全保障。已有的......
随着计算机技术的发展,各种应用软件逐渐深入到人们日常生活的各个领域。但是应用软件的微小错误都可能对人们造成极其负面的影响,......
随着互联网和移动终端的发展,基于互联网的社交新媒介不断的出现,人们的社交活动越来越依赖于社交应用。微信是腾讯公司在2011年发......
互联网技术的迅速发展,让现代社会的信息量爆炸式增长。现在人们越来越喜欢在互联网上分享信息,社交网络(Social Network,SN)的出......
服务作为Android应用中经常使用的组件,主要负责在后台执行耗时的操作。虽然服务与应用的图形用户界面无关,但研究发现服务的不恰......
随着计算机技术的蓬勃发展,各种应用软件已经成为人们生活中的重要组成部分,如何提高软件的可靠性与安全性则成为了计算机领域中的......
随着软件系统日益复杂,提高软件可靠性也迫在眉睫,在严重的情况下会给国家安全、经济带来不可估量的损失。然而在提高软件可靠性方......
列车运行控制系统是轨道交通信号系统的重要组成部分之一，是保证列车运行安全的主要因素之一。随着计算机技术在列车运行控制系统中......
随着软件规模的不断增大,如何保证软件的可靠性和安全性成为学术界和工业界越来越关注的问题.运行时验证是一种新型的程序自动验证......
运行时验证一般采用时态逻辑来描述要验证的需求规约,并根据需求规约构造监控器.这对于那些没有形式化经验的软件工程师而言,是一......
随着信息技术的迅速发展,对于硬件、软件、网络等可靠性的高效检验成为急需解决的一个重要问题.在众多验证方法中,运行时验证由于......
