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.