Design and Verification of Satellite B-ISDN Signalling Protocol


The Transactions of the Korea Information Processing Society (1994 ~ 2000), Vol. 6, No. 7, pp. 1909-1918, Jul. 1999
10.3745/KIPSTE.1999.6.7.1909,   PDF Download:

Abstract

The terrestrial/satellite hybrid network may replace or supply the terrestrial network in some areas or certain applications. For example, it may play a major role in global B-ISDN or in certain areas where the deployment of optical cable is not feasible, especially at the early stage of implementing terrestrial B-ISDN. Furthermore, it can play an important role in the development of B-ISDN due to their features of flexible wide coverage, independent of ground distances and geographical constraints, multiple access and multipoint broadcast. Also, satellite have the capability to supply terrestrial B-ISDN/ATM with flexible links for access networks as well as trunk networks. This paper describes the design and verification of the interworking protocol between terrestrial B-ISDN and satellite network. For the verification, the designed interworking protocol is modeled by Petri-net and the model is analyzed by reachability tree.


Statistics
Show / Hide Statistics

Statistics (Cumulative Counts from September 1st, 2017)
Multiple requests among the same browser session are counted as one view.
If you mouse over a chart, the values of data points will be shown.


Cite this article
[IEEE Style]
P. S. Cheon, C. D. Young, K. S. Yong, "Design and Verification of Satellite B-ISDN Signalling Protocol," The Transactions of the Korea Information Processing Society (1994 ~ 2000), vol. 6, no. 7, pp. 1909-1918, 1999. DOI: 10.3745/KIPSTE.1999.6.7.1909.

[ACM Style]
Park Seok Cheon, Choi Dong Young, and Kang Sung Yong. 1999. Design and Verification of Satellite B-ISDN Signalling Protocol. The Transactions of the Korea Information Processing Society (1994 ~ 2000), 6, 7, (1999), 1909-1918. DOI: 10.3745/KIPSTE.1999.6.7.1909.