• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>Computer aided verification >PSyHCoS: Parameter Synthesis for Hierarchical Concurrent Real-Time Systems
【24h】

PSyHCoS: Parameter Synthesis for Hierarchical Concurrent Real-Time Systems

机译：PSyHCoS：分层并行实时系统的参数综合

获取原文
获取原文并翻译 | 示例
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

Real-time systems are often hard to control, due to their complicated structures, quantitative time factors and even unknown delays. We present here PSyHCoS, a tool for analyzing parametric real-time systems specified using the hierarchical modeling language PSTCSP. PSyHCoS supports several algorithms for parameter synthesis and model checking, as well as state space reduction techniques. Its architecture favors reusability in terms of syntax, semantics, and algorithms. It comes with a friendly user interface that can be used to edit, simulate and verify PSTCSP models. Experiments show its efficiency and applicability.
机译：由于其复杂的结构，定量的时间因素甚至未知的延迟，实时系统通常难以控制。我们在这里介绍PSyHCoS，这是一种用于分析使用分层建模语言PSTCSP指定的参数实时系统的工具。 PSyHCoS支持多种用于参数合成和模型检查的算法，以及状态空间缩减技术。它的体系结构在语法，语义和算法方面都支持可重用性。它带有友好的用户界面，可用于编辑，模拟和验证PSTCSP模型。实验证明了其有效性和适用性。

著录项

  • 来源
    《Computer aided verification》|2013年|984-989|共6页
  • 会议地点 Saint Petersburg(RU)
  • 作者

    Etienne Andre; Yang Liu; Jun Sun; Jin Song Dong; Shang-Wei Lin;

  • 作者单位

    Universite Paris 13, Sorbonne Paris Cite, LIPN, F-93430, Villetaneuse, France;

    Nanyang Technological University, Singapore;

    Singapore University of Technology and Design, Singapore;

    School of Computing, National University of Singapore;

    Temasek Laboratories, National University of Singapore;

  • 会议组织
  • 原文格式 PDF
  • 正文语种 eng
  • 中图分类
  • 关键词

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号