A METHODOLOGY FOR DESIGN CORRECT COMMUNICATION PROTOCOLS

• Main Authors: Chen, Jui Hsiang, 陳瑞祥
• Other Authors: Chang, Ye In
• Format: Others
• Language: en_US
• Published: 1993
• Online Access: http://ndltd.ncl.edu.tw/handle/40034180586329871222

碩士 === 國立中山大學 === 應用數學研究所 === 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.