SDL design of a radio resource control protocol for 3g evolution systems with two different approaches

Authors:
Tae-Hyong Kim;Jae-Woo Kim;Qi-Ping Yang;Jae-Hyoung Lee;Soon-Gi Park;Yeun-Seung Shin
Affiliations:
School of Computer and Software Engineering, Kumoh National Institute of Technology, Gumi, Gyeongbuk, Korea;School of Computer and Software Engineering, Kumoh National Institute of Technology, Gumi, Gyeongbuk, Korea;School of Computer and Software Engineering, Kumoh National Institute of Technology, Gumi, Gyeongbuk, Korea;School of Computer and Software Engineering, Kumoh National Institute of Technology, Gumi, Gyeongbuk, Korea;Mobile Telecommunication Research Laboratory, Electronics and Telecommunications Research Institute, Daejeon, Korea;Mobile Telecommunication Research Laboratory, Electronics and Telecommunications Research Institute, Daejeon, Korea
Venue:
SAM'06 Proceedings of the 5th international conference on System Analysis and Modeling: language Profiles
Year:
2006

Citing 4
Cited 1

Development of an atomic-broadcast protocol using LOTOS

Software—Practice & Experience
Telecommunication software development using SDL-92: practical experience

ICECCS '96 Proceedings of the 2nd IEEE International Conference on Engineering of Complex Computer Systems
Implementation of UMTS protocol layers for the radio access interface

SAM'02 Proceedings of the 3rd international conference on Telecommunications and beyond: the broader applicability of SDL and MSC
Design and implementation of W-CDMA radio interface protocols using SDL development environments

CIC'02 Proceedings of the 7th CDMA international conference on Mobile communications

SDL design and performance evaluation of a mobility management technique for 3GPP LTE systems

SDL'07 Proceedings of the 13th international SDL Forum conference on Design for dependable systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

Despite the increasing need of formal methods, people in the industry still hesitate to use them for product development because they are not sure of success with that novel approach in their own situation. In order to encourage those people we show our experience of designing a radio resource control protocol for ETRI's 3G evolution systems in SDL with two different approaches: pure-SDL and hybrid-SDL approaches. From our design and verification results, we make an empirical evaluation of those two approaches in several aspects and suggest a simple guideline for selecting an appropriate approach according to the situation.