The timely computing base: Timely actions in the presence of uncertain timeliness

Paulo Veríssimo, António Casimiro, Christof Fetzer

Research output: Chapter in Book/Report/Conference proceedingConference contribution

33 Scopus citations

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 increases the coverage of TCB properties.
Original languageEnglish (US)
Title of host publicationProceedings of the 2002 International Conference on Dependable Systems and Networks
PublisherIEEE Computer Society
Pages533-542
Number of pages10
ISBN (Print)0769507085
StatePublished - Jan 1 2000

Fingerprint

Dive into the research topics of 'The timely computing base: Timely actions in the presence of uncertain timeliness'. Together they form a unique fingerprint.

Cite this