Análise do Tempo de Resposta da Composição de Micro-Protocolos
by João Ventura
|
|
Printed: 104 pages, 6" x 9", casewrap-hardcover binding, black and white interior ink Download:
1 documents, 623 KB
Description: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. Keywords:Listed in: |
Stats:
[Click the preview to close]



