| Summary: | 碩士 === 國立中山大學 === 應用數學研究所 === 81 === A protocol is a set of rules which govern the interaction
between the communicating entities (or machines). With the
advance and diversification of communication systems, the
design of a correct protocol becomes more and more important
Basically, there are two approaches to guarantee that the
communication between two machines satisfies progress
properties (including freedom of reception errors, freedom of
deadlock, freedom of channel overflow and so on): the analysis
approach and the synthesis approach. In the analysis approach,
it develops techniques to prove that the communication between
two machines (entities) satisfies the required progress
properties. In the synthesis approach, it develops techniques
to construct two machines such that the communication between
the constructed or completed machines will satisfy the required
progress properties. These two approaches have their own
advantages and disadvanges over each other. In this thesis, we
propose an algorithm to design correct protocol by applying
both approaches. Given a protocol, we first apply the analysis
approach to construct two machines which satisfy certain
conditions. Then, we apply the synthesis approach to detect
possible errors and provide the designer several choices to
correct the errors. Moreover, the channel capacity can also be
computed from the algorithm.
|
|---|
