publication . Part of book or chapter of book . 2012

Engineering of Communication Systems and Protocols

Pero Latkoski; Borislav Popovski;
Open Access English
  • Published: 14 Mar 2012
  • Publisher: InTech
The complexity of the communication systems and protocols is increasing constantly, while the communication products’ time-to-market is becoming shorter. Afterthoughts communication system redesign due to lack of performance is financially and time expensive, and it is unacceptable. This book chapter proposes a method for improving the telecommunication systems, by means of enhancement the performance of the protocols they rely on. The proposed engineering of communication systems is based on a formal method and it provides an early-phase performance evaluation of the underlying communication protocols. The methodology is illustrated through a hands-on case stud...
free text keywords: Communications protocol, Communications system, Formal methods, Wireless communication systems, Computer network, business.industry, business, System of systems engineering, Computer science
Download fromView all 2 versions
Part of book or chapter of book . 2012
Provider: InTech
Part of book or chapter of book
Provider: UnpayWall
Part of book or chapter of book . 2012
Provider: Crossref

Networking, Sensing and Control (ICNSC), pp. 441 - 446, ISBN: 978-1-4244-6450-0, Chicago, USA, 10-12 April 2010 Estelle (1989). Information Processing Systems - OSI: Estelle, A Formal Description Technique Based on an Extended State Transition Model, International Standard 9074, June 1989 ETSI. Available from Gotzhein R., et al. (2009). Energy-Aware System Design with SDL, Proceedings of the 14th international SDL conference on Design for motes and mobiles - SDL'09, pp. 19-33, ISBN:3-642-04553-7 978-3-642-04553-0, September 22-24, Bochum, Germany Hall A. (1990), Seven Myths of Formal Methods, IEEE Software, Vol. 7, No. 5, Sept. 1990, pp.

11-19, September 1990 IEEE. Available from Latkoski P. et al. (2010). Modeling and optimization of bandwidth request procedure in IEEE 802.16 networks, Proceedings of the IEEE 21st International Symposium on Personal Indoor and Mobile Radio Communications (PIMRC), 2010, pp. 1469 - 1474, ISBN: 978-1-4244-8017-3, September 26-30, 2010, Istanbul, Turkey.

Wing J. M. (1990), A Specifier's Introduction to Formal Methods, IEEE Computer, Vol. 23, No.

9, pp. 8-24, September 1990 WiMAX (2010). IEEE Std 802.16-2004, IEEE Standard for Local and metropolitan area networks, Part 16: Air Interface for Fixed Broadband Wireless Access Systems WiFi (2007) IEEE Std IEEE 802.11, IEEE Standard for Wireless LAN Medium Access Control and Physical Layer Specification. 3GPP. Available from

Powered by OpenAIRE Research Graph
Any information missing or wrong?Report an Issue