Proceedings of the International Conference on Dependable Systems and Networks, New York, USA, June 2000
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.
@inproceedings{Verissimo:00a,
author = "Ver\'{\i}ssimo, P. and Casimiro, A. and Fetzer, C.",
title = "The Timely Computing Base: Timely Actions in the Presence of Uncertain Timeliness",
booktitle = "Proceedings of the International Conference on Dependable Systems and Networks",
year = "2000",
abstractURL = "http://www.di.fc.ul.pt/~casim/papers/dsn00/dsn00.html",
documentURL = "http://www.di.fc.ul.pt/~casim/papers/dsn00/dsn00.pdf",
pages = "533--542",
publisher = "IEEE Computer Society Press",
address = "New York City, USA",
month = jun
}