• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Ada user journal >NORTH - Non-intrusive Observation and RunTime Verification of Cyber-Physical Systems
【24h】

NORTH - Non-intrusive Observation and RunTime Verification of Cyber-Physical Systems

机译：NORTH-网络物理系统的非侵入式观察和运行时验证

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

摘要

The increasing usage of autonomous vehicles and other cyber-physical systems has motivated the adoption of Runtime Verification (RV) techniques for embedded systems. This stems from the criticality of such systems, which call for the assurance of correct operation, both on value and time domains. However, traditional RV techniques (mostly based on code instrumentation) may inevitably pose significant overheads, both in performance and timeliness, due to their inherent intrusive-ness, which make them clearly unfit for critical systems. This paper aims at advancing the state-of-art in RV techniques by presenting an innovative research observation and runtime verification method, supported in non-intrusive monitoring machinery. The negative effects of traditional techniques (ranging from function call interception to source code annotation with observation points) are avoided, making this novel approach relevant to virtually all (critical) cyber-physical systems.
机译：自动驾驶汽车和其他网络物理系统的使用不断增加，促使嵌入式系统采用运行时验证（RV）技术。这源于此类系统的重要性，它要求在价值和时域上确保正确运行。但是，传统的RV技术（主要基于代码工具）由于其固有的侵入性，不可避免地会在性能和及时性上造成巨大的开销，这显然使它们不适用于关键系统。本文旨在通过提出一种创新的研究性观察和运行时间验证方法来提高RV技术的最新水平，并在非侵入式监视机制中提供支持。避免了传统技术的负面影响（范围从函数调用拦截到带有观察点的源代码注释），从而使这种新颖的方法与几乎所有（关键）网络物理系统相关。

著录项

  • 来源
    《Ada user journal》 |2018年第4期|278-281|共4页
  • 作者

    Jose Rufino; Antonio Casimiro; Antonia Lopes; Frank Singhojf; Stephane Rubini; Valerie-Anne Nicolas; Mounir Lallali; Mourad Dridi; Jalil Boukhobza; Lyes Attache;

  • 作者单位

    LASIGE, Faculdade de Ciencias, Universidade de Lisboa, Portugal;

    LASIGE, Faculdade de Ciencias, Universidade de Lisboa, Portugal;

    LASIGE, Faculdade de Ciencias, Universidade de Lisboa, Portugal;

    Lab-STICC UMR CNRS 6285, Universite de Bretagne Occidentale, UBL, Brest, France;

    Lab-STICC UMR CNRS 6285, Universite de Bretagne Occidentale, UBL, Brest, France;

    Lab-STICC UMR CNRS 6285, Universite de Bretagne Occidentale, UBL, Brest, France;

    Lab-STICC UMR CNRS 6285, Universite de Bretagne Occidentale, UBL, Brest, France;

    Lab-STICC UMR CNRS 6285, Universite de Bretagne Occidentale, UBL, Brest, France;

    Lab-STICC UMR CNRS 6285, Universite de Bretagne Occidentale, UBL, Brest, France;

    Lab-STICC UMR CNRS 6285, Universite de Bretagne Occidentale, UBL, Brest, France;

  • 收录信息
  • 原文格式 PDF
  • 正文语种 eng
  • 中图分类
  • 关键词

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号