Worst-Case Execution Time Analysis for Parallel Run-Time Monitoring

被引：0

作者：

Lo, Daniel ^{[1
]}

Suh, G. Edward ^{[1
]}

机构：

[1] Cornell Univ, Ithaca, NY 14853 USA

来源：

2012 49TH ACM/EDAC/IEEE DESIGN AUTOMATION CONFERENCE (DAC) | 2012年

关键词：

WCET analysis; run-time monitoring; real-time systems;

D O I：

暂无

中图分类号：

TM [电工技术]; TN [电子技术、通信技术];

学科分类号：

0808 ; 0809 ;

摘要：

The increasing safety-critical role of real-time systems requires increased attention to their security and reliability. Several recent studies have shown that parallel run-time monitoring of programs can significantly improve the security and reliability of computing systems. However, these techniques cannot be applied to real-time systems without first estimating their impact on worst-case execution time (WCET). In this paper, we present a method for determining the impact of parallel monitoring on WCET using a mixed integer linear programming (MILP) formulation. We use our method to estimate the WCET for seven benchmark programs and two possible monitoring techniques. This estimate is compared against observed execution times from simulation and an upper bound based on sequential monitoring. The results show that our method estimates a WCET within 71% of worst-case observed execution times and up to 74% lower than the sequential bound.

引用

页码：421 / 429

页数：9