您的位置： 专家智库 > >

余俊

作品数：5 被引量：0H指数：0
供职机构：河海大学更多>>
发文基金：中国博士后科学基金国家教育部博士点基金国家自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 4篇专利
  • 1篇期刊文章

领域

  • 2篇自动化与计算...

主题

  • 3篇序列图
  • 2篇日志
  • 2篇图形化
  • 2篇模块化
  • 2篇模块化系统
  • 2篇内存
  • 2篇内存空间
  • 2篇计算资源
  • 2篇监控系统
  • 2篇监听
  • 2篇监听器
  • 2篇编辑器
  • 2篇ANDROI...
  • 1篇语义
  • 1篇日志分析
  • 1篇图生成
  • 1篇面向方面编程
  • 1篇监控器
  • 1篇编程
  • 1篇博弈

机构

  • 5篇河海大学
  • 1篇南京大学

作者

  • 5篇张鹏程
  • 5篇余俊
  • 3篇刘宗磊
  • 3篇周宇鹏
  • 2篇朱跃龙
  • 2篇万定生
  • 2篇冯钧
  • 2篇肖艳
  • 2篇庄媛

传媒

  • 1篇计算机科学

年份

  • 2篇2017
  • 1篇2015
  • 2篇2014
共 5 条 记 录，以下是 1-5
全选 清除 导出
排序方式：
一种Android平台下的模块化系统的监控系统及方法
本发明公开一种Android平台下的模块化系统的监控系统及方法，根据系统行为计算出相应的监控系数，如果监控系数大于目标监控系数则通过远程云端对已知系统进行监控，反之，如果小于目标监控系数则在本地对系统进行监控，从而阻止系...
张鹏程余俊冯钧朱跃龙万定生刘宗磊庄媛周宇鹏肖艳
文献传递
一种基于属性序列图的监听器生成系统和方法
本发明公开一种基于属性序列图的监听器生成系统和方法，通过属性序列图对已知系统的行为的描述，得到与之对应的博弈结构，最终得到与系统以及环境中参加交互的组件一一对应的监听器，对已知系统进行监控，从而达到阻止系统失效的发生的目...
张鹏程余俊
文献传递
一种基于属性序列图的监听器生成系统和方法
本发明公开一种基于属性序列图的监听器生成系统和方法，通过属性序列图对已知系统的行为的描述，得到与之对应的博弈结构，最终得到与系统以及环境中参加交互的组件一一对应的监听器，对已知系统进行监控，从而达到阻止系统失效的发生的目...
张鹏程余俊
一种Android平台下的模块化系统的监控系统及方法
本发明公开一种Android平台下的模块化系统的监控系统及方法，根据系统行为计算出相应的监控系数，如果监控系数大于目标监控系数则通过远程云端对已知系统进行监控，反之，如果小于目标监控系数则在本地对系统进行监控，从而阻止系...
张鹏程余俊冯钧朱跃龙万定生刘宗磊庄媛周宇鹏肖艳
文献传递
PSC2GS:一个基于属性序列图的监控器生成工具
2014年
在开放和动态环境下,系统或环境的不安全的运行时变化可能为整个系统的正确执行埋下隐患,可能最终导致软件失效。基于监控器的软件运行时验证技术已经成为开放环境下侦测软件失效行为的基本方法,该工具采用了一种基于博弈论的从Property Sequence Charts(属性序列图)中自动生成监控器的方法。监控器被赋予多值语义:满足、无限可控、系统有限可控、系统紧急可控、环境有限可控、环境紧急可控以及违例。监控器可以提供足够的信息用来预测系统失效。正文中将描述一个名为"PSC2GS"的工具,该工具具有设计属性序列图、基于属性序列图生成博弈结构、基于博弈结构生成Aspect Oriented Programming(面向方面编程)代码(监控器)等一系列功能。PSC2GS提供的完全图形化的前端接口使软件设计者可以不用处理任何特殊的文本或者逻辑公式。
余俊张鹏程周宇鹏刘宗磊
关键词：监控器面向方面编程
全选 清除 导出
共1页<1>
聚类工具0