António Casimiro

A Generic Temporal Consistency Model for Distributed Control Systems

Pedro Martins, António Casimiro and Paulo Veríssimo

On-line Proceedings of the Workshop on Architectures for Cooperative Embedded Real-Time Systems (WACERTS'04), Lisboa, Portugal, 2004


Abstract

The construction of applications that interact with their environment through sensors and actuators, is inherently a real-time problem if we consider the temporal constraints imposed by the evolution of the environment. The traditional vision is that actuation must be performed sufficiently fast to be consistent with the observation.
We believe that a more generic approach to the construction of distributed control systems is one that uses temporal consistency as the fundamental correctness criteria. In this paper we discuss preliminary ideas that support our conviction and we describe a temporal consistency model that is adequate for the construction of a wider range of distributed control systems.

BibTeX


@inproceedings{Martins:04b,
  author       = "Martins, P. and Casimiro, A. and Veríssimo, P.",
  title        = "A Generic Temporal Consistency Model for Distributed Control Systems",
  booktitle    = "On-line Proceedings of the Workshop on Architectures for Cooperative Embedded Real-Time Systems (WACERTS'04)",
  year         = "2004",
  abstractURL  = "http://www.di.fc.ul.pt/~casim/papers/wacerts04/wacerts04.html",
  documentURL  = "http://www.di.fc.ul.pt/~casim/papers/wacerts04/wacerts04.pdf",
  pages        = "39-42",
  address      = "Lisboa, Portugal",
  month        = dec
}

Paper

Download paper