Modeling and Analyzing of RRC Protocol Process Based on CPN

Yi Ning Sun; Yong Mei Liu; Shi Shi Liang

doi:10.4028/www.scientific.net/AMM.599-601.1562

Paper Titles

Image Processing and Sparse Resolution for Underwater Imaging
p.1544

Implementation of CRC in 10-Gigabit Ethernet Based on FPGA
p.1548

Improvement of K-Anonymity Location Privacy Protection Algorithm Based on Hierarchy Clustering
p.1553

Mobile Learning Mode Based on 3G
p.1558

Modeling and Analyzing of RRC Protocol Process Based on CPN
p.1562

Motion Comparison Method Combining Segmented Multi-Joint Line Graphs with the SIFT Matching Technique
p.1566

Multi-Channel MKL for Video Human Action Recognition
p.1571

Network Equipment Selection Scheme of University Informatization Construction
p.1575

New Data Processing Method Research on GLONASS
p.1580

HomeApplied Mechanics and MaterialsApplied Mechanics and Materials Vols. 599-601Modeling and Analyzing of RRC Protocol Process...

Modeling and Analyzing of RRC Protocol Process Based on CPN

Abstract:

To guarantee the protocol implementation is correct, protocol testing is essential. Formal specification provides a middle method for protocol testing, which can support verification and testing protocol semi-automatically or automatically. RRC is an important protocol in WCDMA system. So the paper describe RRC protocol process as a formal model based CPN modeling method, then analysis and verify the model with CPN Tools to ensure it is correct.

You might also be interested in these eBooks

Frontiers of Manufacturing Science and Measuring Technology IV

View Preview

Info:

Periodical:

Applied Mechanics and Materials (Volumes 599-601)

Pages:

1562-1565

DOI:

https://doi.org/10.4028/www.scientific.net/AMM.599-601.1562

Citation:

Cite this paper

Online since:

August 2014

Authors:

Yi Ning Sun, Yong Mei Liu*, Shi Shi Liang

Keywords:

CPN, Formal Modeling, RRC

Export:

RIS, BibTeX

Price:

Permissions CCC:

Request Permissions

Permissions PLS:

Request Permissions

Сopyright:

Citation:

* - Corresponding Author

References

[1] Zhao XianQiong, Tang Tao. Multi-port Based Automatic Formal Testing Generation and Its Application in CTCS-3 Level On-board System[J], Journal of the china railway society. 33(2011): 44-51.

Google Scholar

[2] Billington J, Gupta A K. Effectiveness of colored Petri nets for modeling and analyzing the contract net protocol[C]/ Proceeding eighth workshop and tutorial on practical use of colored Petri Nets and the CPN tools, Aarhus, Denmark, 2007: 49-65.

DOI: 10.7146/dpb.v36i584.7197

Google Scholar

[3] Jensen K, Christensen S, Kristensen L M. CPN tools state space manual[J]. Department of Computer Science, University of Aarhus. (2006).

Google Scholar

[4] 3GPP TS25. 331 version 11. 9. 0 Release 11, Radio Resource Control(RRC), Universal Mobile Telecommunications System (UMTS).

Google Scholar

[5] Information on http: /cpntools. org.

Google Scholar