ETRI-Knowledge Sharing Plaform



논문 검색
구분 SCI
연도 ~ 키워드


학술대회 SDL Design of a Radio Resource Control Protocol for 3G Evolution Systems with Two Different Approaches
Cited 2 time in scopus Download 2 time Share share facebook twitter linkedin kakaostory
김태형, 김재우, Qi-Ping Yang, 이재형, 박순기, 신연승
International Workshop on System Analysis and Modeling : Language Profiles (SAM) 2006 (LNCS 4320), v.4320, pp.166-182
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. © Springer-Verlag 2006.
KSP 제안 키워드
Control protocol, Empirical Evaluation, Evolution system, Novel approach, Product Development, Radio resource control, formal methods