Design Issues and Verification Model for a High-Speed Transport Protocol

• Main Authors: Chorng-Horng Yang, 楊崇宏
• Other Authors: Kim-Joan Chen
• Format: Others
• Language: en_US
• Published: 1994
• Online Access: http://ndltd.ncl.edu.tw/handle/39150947413828658869

碩士 === 國立中正大學 === 電機工程研究所 === 82 === Design of the high-speed protocol is motivated by the needs of contemporary and distributed, real-time, transaction and multi- media system. Existing high-speed transport protocol does not meet all the perceived need of such systems. These needs requir- ing for the high speed protocol to support functions, such as the dynamic control for the data transfer, fast connection setup ,are being explored. Thus, the protocol concept and architecture are being changed and are so different from that of the traditi- onal protocol. The current design of the ATM related protocol architecture (e.g., SSCOP) is being aligned with the above con- cepts which include (i) separation of data and control processes (ii) internally reducing data copying (iv) employing selective retransmission. In this thesis, we address some of above design issues and the drawback of various control alternatives. Furthermore, to under- stand how such control behaves, we have made use of the verifi- cation model, "Loosely Coupled and Parallel Model(LCPM)",to cap- ture the generic behavior with the case study as proposed in[1]. Based on our results derived from the validation tool," SPIN", we propose the "Coordinated and Parallel Model(CPM)" which is more suitable for the design of the high speed protocol to support later-on advanced services. With the proposed CPM, we can refine the protocol architecture accordingly. Thereafter, the refined protocol has been verified correctly.