Home // International Journal On Advances in Software, volume 2, number 4, 2009 // View article

Temporal Robustness of Real-Time Architectures Specified by EstimatedWCETs

Authors:
Lamine Bougueroua
Laurent George
Serge Midonnet

Keywords: Real-time System; fault tolerance; estimated WCET; allowance; slack time; temporal robustness

Abstract:
Real-time dimensioning depends on the Worst Case Execution Time (WCET) of its tasks. Using estimated WCETs for the dimensioning is less conservative but execution overruns are more likely to happen. Fault tolerant mechanisms must be implemented to preserve the real-time system from timing failures, associated to late task termination deadlines misses, in the case of WCETs overruns. We show in this article how to compute the extra duration (allowance) on the WCETs that can be given to faulty tasks while still preserving all the deadline constraints of the tasks. This allowance is used on-line to tolerate WCET overruns. We present a mechanism called the Latest Execution Time (LET) using the allowance of the tasks for the temporal robustness of real-time systems. This mechanism only requires classical timers. Its benefits are presented in the context of a java virtual machine meeting the Real-Time Specification for Java (RTSJ) with estimated WCETs.

Pages: 359 to 371

Copyright: Copyright (c) to authors, 2009. Used with permission.

Publication date: March 17, 2010

Published in: journal

ISSN: 1942-2628