António Casimiro

The Timely Computing Base

Paulo Veríssimo and António Casimiro

Technical Report DI/FCUL TR-99-2, Department of Informatics, University of Lisboa, May 1999


Abstract

Real-time behavior is materialized by timeliness specifications, which in essence call for synchronous system models. However, systems many often rely on large-scale, unpredictable and unreliable infrastructures, that suggest the use of asynchronous models. Several models in between have addressed these antagonistic aims, each in its own way. We propose an architectural construct that addresses the problem in a generic way. We assume the existence of a component that is capable of executing timely functions, however asynchronous the rest of the system may be. This component can be used by other components to execute timely services. There is a certain analogy to the trusted computing base principle used in security. We call it the Timely Computing Base, TCB. In this paper, we show that a TCB can be used to build dependable and timely applications exhibiting varying degrees of timing fault tolerance, under several synchrony models.

BibTeX

@TechReport{di-fcul-tr-99-2,
  author       = "Paulo Ver\'{\i}ssimo and Ant\'{o}nio Casimiro",
  title        = "The Timely Computing Base",
  institution  = "Department of Computer Science, University of Lisbon",
  year         = 1999,
  abstractURL  = "http://www.di.fc.ul.pt/~casim/papers/rtdi99-2.html",
  url          = "http://www.di.fc.ul.pt/~casim/papers/rtdi99-2/rtdi99-2.pdf",
  type         = "DI/FCUL TR",
  number       = "99--2",
  month        = may,
  keywords     = ""
}

Technical report

Download technical report in (.pdf) or (.ps.gz)