• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Software and systems modeling >Runtime verification of component-based systems in the BIP framework with formally-proved sound and complete instrumentation
【24h】

Runtime verification of component-based systems in the BIP framework with formally-proved sound and complete instrumentation

机译：BIP框架中基于组件的系统的运行时验证，具有经过正式验证的健全且完整的工具

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

摘要

Verification of component-based systems still suffers from limitations such as state space explosion since a large number of different components may interact in a heterogeneous environment. These limitations entail the need for complementary verification methods such as runtime verification. Runtime verification is a dynamic analysis technique and is prone to scalability. In this paper, we integrate runtime verification into the BIP (Behavior, Interaction and Priority) framework. BIP is a powerful and expressive component-based framework for the formal construction of heterogeneous systems. Our method augments BIP systems with monitors to check specifications at runtime. This method has been implemented in RV-BIP, a prototype tool that we used to validate the whole approach on a robotic application.
机译：由于大量不同组件可能在异构环境中交互，因此基于组件的系统的验证仍然受到状态空间爆炸之类的限制。这些限制导致需要补充的验证方法，例如运行时验证。运行时验证是一种动态分析技术，易于扩展。在本文中，我们将运行时验证集成到BIP（行为，交互和优先级）框架中。 BIP是一个功能强大且基于组件的可表达框架，用于异构系统的正式构建。我们的方法使用监视器来增强BIP系统，以在运行时检查规格。该方法已在RV-BIP中实现，RV-BIP是我们用于验证机器人应用程序上整个方法的原型工具。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号