António Casimiro

Timing Failure Detection with a Timely Computing Base

António Casimiro and Paulo Veríssimo

Third European Research Seminar on Advances in Distributed Systems (ERSADS'99), Madeira Island, Portugal, April 1999


Abstract

In a recent report we proposed an architectural construct to address the problem of dealing with timeliness specifications in a generic way. We called it the Timely Computing Base, TCB. The TCB defines a set of services available to applications, including timely execution, duration measurement and timing failure detection. We showed how these services could be used to build dependable and timely applications. In this paper we further extend the description of the TCB, namely by presenting a protocol for its Timing Failure Detection (TFD) service. We discuss the essential aspects of providing such a service under the TCB framework and make some considerations relative to the service interface.

BibTeX


@inproceedings{Casimiro:99a,
  author       = "Casimiro, A. and Ver\'{\i}ssimo, P.",
  title        = "Timing Failure Detection with a Timely Computing Base",
  booktitle    = "Proceedings of the European Research Seminar on Advances in Distributed Systems (ERSADS'99)",
  year         = "1999",
  abstractURL  = "http://www.di.fc.ul.pt/~casim/papers/ersads99.html",
  documentURL  = "http://www.di.fc.ul.pt/~casim/papers/ersads99/ersads99.pdf",
  pages        = "",
  publisher    = "",
  address      = "Madeira Island, Portugal",
  month        = apr,
  keywords     = ""
}

Paper

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