Slack-aware opportunistic monitoring for real-time systems
Slack-aware opportunistic monitoring for real-time systems
复制标题
实时系统的 Slack 感知机会监控
DOI：
--
复制
发表时间：
2014
期刊：
影响因子：
--
通讯作者：
G. Suh
中科院分区：
文献类型：
--
作者：
Daniel Lo;Mohamed Ismail;Tao Chen;G. Suh
最近的研究表明，运行时监控是提高计算机系统安全性和可靠性的一种很有前途的方法。本文提出了一种将运行时监控应用于硬实时系统的框架和体系结构。在此框架中，只有当存在足够的动态松弛时才执行监视，以确保监视不会影响任务的定时保证。如果松弛不足，则运行drop操作，以最大限度地减少对任务的定时影响，同时确保没有误报发生。我们提出了一种新的硬件架构，可以在一个周期内执行此丢弃操作，以匹配被监视任务的吞吐量。因此，可以随机地应用运行时监视，而不会对任务的最坏情况执行时间产生影响。我们对三种不同监测技术的实验结果证实，时间从未被违反，也从未发生误报。此外，根据监视技术的不同，平均可以实现15-66%的监视覆盖率，而对任务的最坏情况执行时间没有影响。使用基于fpga的监视器，根据监测技术的不同，监测的平均覆盖率在62% -86%之间。
Recent studies have shown that run-time monitoring is a promising approach for improving the security and reliability of computer systems. In this paper, we present a framework and architecture for applying run-time monitoring to hard real-time systems. In this framework, monitoring is only performed when enough dynamic slack exists in order to ensure that the monitoring does not impact the timing guarantees of tasks. If the slack is insufficient, a dropping operation is run which minimizes the timing impact on the task while ensuring that no false positives occur. We present a novel hardware architecture that can perform this dropping operation in a single cycle, matching the throughput of the task being monitored. Thus, run-time monitoring is able to be applied opportunistically, with no impact on the worst-case execution time of tasks. Our experimental results for three different monitoring techniques verify that timing is never violated and that false positives never occur. In addition, on average, 15-66% of monitoring coverage is achieved with no impact on the worst-case execution times of tasks depending on the monitoring technique. With an FPGA-based monitor, this average coverage of monitoring ranged from 62-86% depending on the monitoring technique.