Title: Policy-Independent Real-Time Operating System Mechanism For Timing Error Detection, Handling, And Monitoring
Authors: David B. Stewart and Pradeep K. Khosla
Conference: IEEE Workshop on High Assurance Systems Engineering
Location: Niagara-on-the-Lake, Canada
Date: Oct. 21-22, 1996
Pages: 150-157
Link: to portable document file hase96.pdf, 59 KBytes

Abstract
Most research focusing on timing errors deals with scheduling policies that avoid the errors. Since many of the policies are based on estimates of worst-case execution times for each task, reliability is a function of the accuracy of the estimates. As a result, many hard real-time systems are implemented with the dangerous assumption that due to correct design and testing, a missed deadline will never occur. We have designed novel policy-independent mechanisms for detecting and handling timing errors, and for monitoring real-time tasks. The detection and handling requires less than 1 microsecond overhead per reschedule operation, and has a latency approximately the length of one context switch for handling an error. The monitoring mechanism uses 6 microseconds per context switch, and requires only 1Kbyte of memory per 32 processes in the system.



<< Back to the PUBLICATIONS Page

© 1999 University of Maryland, College Park, MD 20742. All Rights Reserved.
For more information on the SERTS Laboratory, contact Dr. D. Stewart at
dstewart@eng.umd.edu