Hardware Support to Non-intrusive Runtime Verification on Processor Technologies

Jose Rufino

首页> 外文期刊>Ada user journal >Hardware Support to Non-intrusive Runtime Verification on Processor Technologies

【24h】

Hardware Support to Non-intrusive Runtime Verification on Processor Technologies

机译：对处理器技术进行非侵入式运行时验证的硬件支持

获取原文

获取原文并翻译 | 示例

掌桥外文数据库（机构版） >>

开具论文收录证明 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

Software-based instrumentation probes always disturbs the functional and non-functional properties of a system, even if in a minimal way. To avoid the disturbance of system operation, by instrumentation probes, nonintru-sive runtime verification must rely on hardware-based technology. This paper reviews classical processor technology to understand which kind of support is provided on each processor family, its intrusiveness, functionality and offered system support.

机译：基于软件的检测探针总是会干扰系统的功能和非功能属性，即使是最小的方式也是如此。为了避免对系统操作的干扰，通过仪表探针，非侵入式运行时验证必须依靠基于硬件的技术。本文回顾了经典的处理器技术，以了解每个处理器系列提供了哪种支持，其介入性，功能和所提供的系统支持。

著录项

来源
《Ada user journal》 |2018年第4期|287-290|共4页
作者
Jose Rufino;
展开▼
作者单位

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

展开▼
收录信息
原文格式 PDF
正文语种 eng
中图分类
关键词
Hardware-based runtime verification;

机译：基于硬件的运行时验证;

相似文献

外文文献
中文文献
专利

1. Non-intrusive Observation and Runtime Verification of Avionic Systems [J] . Jose Rufino Ada user journal . 2018,第4期

机译：航空电子系统的非侵入式观察和运行时验证
2. NORTH - Non-intrusive Observation and RunTime Verification of Cyber-Physical Systems [J] . Jose Rufino, Antonio Casimiro, Antonia Lopes, Ada user journal . 2018,第4期

机译：NORTH-网络物理系统的非侵入式观察和运行时验证
3. Non-intrusive Runtime Verification within a System-on-Chip [J] . Jose Rufino, Antonio Casimiro, Felix Dino Lange, Ada user journal . 2018,第4期

机译：片上系统中的非侵入式运行时验证
4. Hardware-Based Runtime Verification with Embedded Tracing Units and Stream Processing [C] . Lukas Convent, Sebastian Hungerecker, Torben Scheffel, International conference on runtime verification . 2018

机译：具有嵌入式跟踪单元和流处理的基于硬件的运行时验证
5. Computer support interactions: Verifying a process model of problem trajectory in an information technology support environment [D] . Strauss, Christopher Eric 2006

机译：计算机支持交互：在信息技术支持环境中验证问题轨迹的过程模型
6. Process Analytical Technology Tools for Monitoring Pharmaceutical Unit Operations: A Control Strategy for Continuous Process Verification [O] . Eun Ji Kim, Ji Hyeon Kim, Min-Soo Kim, 2021

机译：用于监测药品单位操作的过程分析技术工具：连续流程验证的控制策略
7. Runtime Filesystem Support for Reconfigurable FPGA Hardware Processes in BORPH [O] . Hayden Kwok-hay So, Robert Brodersen 2015

机译：运行时文件系统支持BORpH中的可重配置FpGa硬件进程

Hardware Support to Non-intrusive Runtime Verification on Processor Technologies

摘要

著录项

相似文献

相关主题

期刊订阅