The Timely Computing Base: Timely Actions in the Presence of Uncertain Timeliness

Abstract

Real-time behavior is specified in compliance with timeliness requirements, which in essence calls for synchronous system models. However, systems often rely on unpredictable and unreliable infrastructures, that suggest the use of asynchronous models. Several models have been proposed to address this issue. We propose an architectural construct that takes a generic approach to the problem of programming in the presence of uncertain timeliness. We assume the existence of a component, capable of executing timely functions, which helps applications with varying degrees of synchrony to behave reliably despite the occurrence of timing failures. We call this component the Timely Computing Base, TCB. This paper describes the TCB architecture and model, and discusses the application programming interface for accessing the TCB services. The implementation of the TCB services uses fail-awareness techniques to increase the coverage of TCB properties.

4 Figures and Tables

Statistics

01020'01'03'05'07'09'11'13'15'17
Citations per Year

54 Citations

Semantic Scholar estimates that this publication has 54 citations based on the available data.

See our FAQ for additional information.

Cite this paper

@inproceedings{Verssimo2000TheTC, title={The Timely Computing Base: Timely Actions in the Presence of Uncertain Timeliness}, author={Paulo Verı́ssimo and Antonio Casimiro and Christof Fetzer}, year={2000} }