首页> 外文会议>International symposium on leveraging applications of formal method, verification and validation >Flexible Monitor Deployment for Runtime Verification of Large Scale Software
【24h】

Flexible Monitor Deployment for Runtime Verification of Large Scale Software

机译:灵活的监控器部署,用于大型软件的运行时验证

获取原文

摘要

The paper presents a brief overview of the SMEDL monitoring system that provides flexible and scalable deployment of monitors for large-scale software. The SMEDL specification language expresses monitoring logic as a collection of monitoring objects and monitoring architecture as flows of information between the monitored system and monitoring objects. The system supports synchronous as well as asynchronous deployment of monitoring objects and dynamic instantiation of monitoring objects on demand. The application of the SMEDL system for the monitoring of a target tracking application is briefly discussed.
机译:本文简要介绍了SMEDL监视系统,该系统为大型软件提供了灵活,可扩展的监视器部署。 SMEDL规范语言将监视逻辑表示为监视对象的集合,并将监视体系结构表示为被监视系统和监视对象之间的信息流。该系统支持监视对象的同步和异步部署以及按需监视对象的动态实例化。简要讨论了SMEDL系统在目标跟踪应用程序监视中的应用。

著录项

相似文献

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

客服邮箱:kefu@zhangqiaokeyan.com

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

  • 服务号