The timely computing base model and architecture

Paulo Veríssimo, António Casimiro

Research output: Contribution to journalArticlepeer-review

89 Scopus citations


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.
Original languageEnglish (US)
Pages (from-to)916-930
Number of pages15
JournalIEEE Transactions on Computers
Issue number8
StatePublished - Aug 1 2002
Externally publishedYes

ASJC Scopus subject areas

  • Hardware and Architecture
  • Computational Theory and Mathematics
  • Theoretical Computer Science
  • Software


Dive into the research topics of 'The timely computing base model and architecture'. Together they form a unique fingerprint.

Cite this