Venturas.org

URL:

http://dited.bn.pt/31602/index_default.html

Keywords:

Real-Time; Communication Protocols; Micro-Protocols; Schedulability Analysis; Distributed Systems

Abstract:

With the increase of processing power and network bandwidth it is possible to build sophisticated distributed hard-real time systems. The construction of such communication systems using the composition of several micro-protocol objects is an approach that has been applied with success in the non real-time arena. This encourages the re-use of protocol components and allows the applications to configure stacks tailored to their needs. To benefit from this approach in hard real-time systems, one must be able to derive the timing behavior of a protocol composition given a description of its protocol objects. This thesis presents a general framework to analyse the timing behavior of protocol stacks derived from the composition of micro-protocols. Individual micro-protocols are described as protocol objects that subscribe and produce events; interactions among adjacent protocols are modeled by the exchange of these events. The protocol implementation is modeled by a set of tasks, each programmed to handle a specific protocol event. To illustrate the use of the framework, a study is presented on the timing analysis of a set of modular fault-tolerant group communication protocols designed for the CAN field-bus: RELCAN and EDCAN. In order to perform this study, an existing software tool was extended to comply with the model requirements.

Notes:

• Tagged
• XML
• BibTex

Attachment	Size
Master Thesis (Portuguese) as PDF	378.99 KB
Master Thesis (Portuguese) as Postscript	333.34 KB
Schedulability Analysis utility	15.61 KB
Presentation Slides	728.95 KB