• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>Embedded and Ubiquitous Computing Workshops : UISW, NCUS, SecUbiq, USN, and TAUES >TS-U: Temporal-Spatial Methodology for Application Checking of the Systems in the Ubiquitous Environment
【24h】

TS-U: Temporal-Spatial Methodology for Application Checking of the Systems in the Ubiquitous Environment

机译：TS-U：用于在普遍存在环境中的应用检查系统的时间空间方法

获取原文
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

In the paper a novel methodology, TS-U, is proposed based on existing model checking techniques that were extended to successfully model the systems in a ubiquitous environment by introducing time and space constraints relevant in modeling of some ubiquitous system for its validation. Method proposed requires only slight modification of the existing model checking tools by introducing the notion of a Transition Checking Matrix (TCM) which holds time and space constraints for model’s transitions. By applying TS-U methodology, regular CTL formulae can be used without modifications to successfully check the system’s model as in the traditional model checking based on the Kripke structure.
机译：在纸质中，基于现有模型检查技术提出了一种新的方法TS-U通过在验证的建模中引入与建模中的时间和空间约束来成功模拟普遍存在的环境中的系统。通过引入用于模型的转换的时间和空间约束的过渡检查矩阵（TCM）的概念，所提出的方法仅需要略微修改现有的模型检查工具。通过应用TS-U方法，可以使用常规CTL公式而无需修改以在基于Kripke结构的传统模型检查中成功检查系统的模型。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号