António Casimiro

The Timely Computing Base Model and Architecture

Paulo Veríssimo and António Casimiro

IEEE Transactions on Computers - Special Section on Asynchronous Real-Time Systems, vol.51, n.8, Aug 2002


Abstract

Current systems are very often based on large-scale, unpredictable and unreliable infrastructures. However, users of these systems increasingly require services with timeliness properties. This creates a difficult-to-solve contradiction with regard to the adequate time model: synchronous, or asynchronous? In this paper, we propose an architectural construct and programming model, which address this problem. We assume the existence of a component that is capable of executing timely functions, however asynchronous the rest of the system may be. We call this component the Timely Computing Base, and it can be used by the other components to execute a set of simple but crucial time-related services .We also show how to use it to build dependable and timely applications exhibiting varying degrees of timeliness assurance, under several synchrony models.

BibTeX


@article{Verissimo:02a,
  author       = "Ver\'{\i}ssimo, Paulo and Casimiro, Ant\'{o}nio",
  title        = "The Timely Computing Base Model and Architecture",
  journal      = "IEEE Transactions on Computers - Special Section on Asynchronous Real-Time Systems",
  year         = "2002",
  abstractURL  = "http://www.di.fc.ul.pt/~casim/papers/TC-asyncrt/TC-asyncrt.html",
  documentURL  = "http://www.di.fc.ul.pt/~casim/papers/TC-asyncrt/TC-asyncrt.pdf",
  volume       = "51",
  number       = "8",
  pages        = "916--930",
  month        = aug,
  keywords     = "Distributed systems, real-time systems, timely computing base, partial synchronous models"
}

Paper

Download paper in (.pdf) or (.ps.gz)