By Topic

An SDL Implementation of the UMTS Radio Resource Control Protocol Oriented to Conformance Testing

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

6 Author(s)

SDL and other related ITU-T formal languages have been revealed as a valid approach to developing software for critical systems, such as telecommunication equipment. In this context, this paper presents the use of SDL to implement one of the most complex part of UMTS networks, the radio resource control protocol (RRC). SDL has been used at all the steps of the design and the implementation process, making use of the automatic code generation capabilities of well-known SDL tools. The resulting system will be integrated as a part of a conformance testing box for 3G mobile phones, namely MINT, a product developed by one of the certification leaders in the industry, CETECOM S.A. The main conclusion obtained from this project is that SDL (together with ASN.l) has good capabilities to design and implement realistic complex systems with a very limited use of external languages, like C. During the development, we have been able to take advantages of its formal basis and tool support for simulation and verification.

Published in:

Leveraging Applications of Formal Methods, Verification and Validation, 2006. ISoLA 2006. Second International Symposium on

Date of Conference:

15-19 Nov. 2006