Communication Software: Design and Testing

Authored by: José M. Álvarez , Pedro Merino , Laura Panizo , Francisco C. Pérez , Andrés Sanz

Encyclopedia of Software Engineering

Print publication date:  November  2010
Online publication date:  November  2010

Print ISBN: 9781420059779
eBook ISBN: 9781351249270
Adobe ISBN:


 Download Chapter



This entry is devoted to a discussion of the suitability of formal methods as the core elements for developing communication software for new mobile telecommunication networks. In particular, we present the use of Specification and Description Language (SDL) and other related ITU-T formal languages in the development of two different kinds of protocols: the 3rd Generation Partnership Project (3GPP) and the IETF standards. In this context, the entry presents the use of SDL to implement two 3GPP specifications related to mobile phones, the Radio Resource Control (RRC) and Packet Data Convergence Protocol (PDCP) layers, and one of the most well-known protocols on the Internet, the Session Initiation Protocol (SIP). In both scenarios, SDL has been used in the design, testing, and implementation processes, making use of the automatic code generation capabilities of well-known SDL tools (work supported by projects B3G of AT4 wireless and P07-TIC-3131 of the Andalusian Government).

Search for more...
Back to top

Use of cookies on this website

We are using cookies to provide statistics that help us give you the best experience of our site. You can find out more in our Privacy Policy. By continuing to use the site you are agreeing to our use of cookies.