Selected sections of this report will be published in the Proceedings of the 4th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2001), Magdeburg, Germany, May, 2 - 4, 2001, pp 335-342.
The paper presents a generic framework to analyse the timing behavior of protocol graphs derived from the composition of micro-protocols. The model assumes that a protocol stack is composed of a set of protocol objects that interact through the exchange of events. A specific task is associated with each relevant protocol event and for each task, the periods and offsets are derived from a description of the interactions between adjacent protocols. To illustrate the use of the model, a stack of modular reliable group communication protocols for the CAN field-bus is analysed.
author = "Ventura, J. and Rodrigues, J. and Rodrigues, L.",
title = "Deadline-Constrained Causal Order ",
booktitle = "Proceedings of the 4rd IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC)",
month = may,
publisher = "IEEE",
pages = "335-342",
address = "Magdeburg, Germany",
year = "2001",