COMMUNICATION PROTOCOL ENGINEERING

Front Cover
PHI Learning Pvt. Ltd., Feb 11, 2014 - Technology & Engineering - 336 pages
This well accepted book, now in its second edition, is a time-honoured revision and extension of the previous edition. With improved organization and enriched contents, the book primarily focuses on the concepts of design development of communication protocols or communication software. Beginning with an overview of protocol engineering, the text analyzes important topics such as • TCP/IP suite protocol structure. • Protocol specification. • Protocol specification languages like SDL, SPIN, Estelle, E-LOTOS, CPN, UML, etc. • Protocol verification and validation techniques like semantic models and reachability analysis. • Generating conformance test suite and its application to a running protocol implementation. Audience Communication Protocol Engineering is purely a text dedicated to the undergraduate students of electronics and communication engineering and computer engineering. The text is also of immense use to the postgraduate students of communication systems. Highlights of Second Edition • Incorporates latest and up-to-date information on the topics covered. • Includes a large number of figures and examples for easy understanding of concepts. • Presents some new sections like wireless protocol challenges, TCP protocol, verification of TCP, test execution, test case derivation, etc. • Involves extension of protocol specification languages like SPIN, Estelle, Uppaal etc.
 

Contents

INTRODUCTION
1
NETWORKREFERENCE MODEL
21
PROTOCOLSPECIFICATION
61
PROTOCOL SPECIFICATION LANGUAGES
91
PROTOCOLVERIFICATIONVALIDATION
153
COMMUNICATIONPROTOCOLCONFORMANCETESTING
183
PROTOCOLPERFORMANCETESTING
231
PROTOCOLSYNTHESIS
253
PROTOCOLIMPLEMENTATION
271
ASSIGNMENTS
295
REFERENCES
301
INDEX
313
Back cover
319
Copyright

Common terms and phrases

About the author (2014)

VENKATARAM, PALLAPA PALLAPA VENKATARAM, Ph.D. (Information Sciences, University of Sheffield), is a Professor in Department of Electrical Communication Engineering, Indian Institute of Science (IISc), Bangalore. He has more than 16 years of teaching and nine years of professional experience. He has contributed to more than 150 papers and journals of international repute and has served in various capacities in many IEEE and ICCC conferences and workshops. He is a member of IEEE computer society. Professor Venkataram is a recipient of University Research Programme award for research on routing intelligent mobile agents from Cisco Systems Inc., USA and the UNDP award. He is a Fellow of IEE, UK and IETE, India. His areas of research interest include wireless networks, computational intelligence in communication networks, protocol engineering, and multimedia systems. MANVI, SUNILKUMAR S. SUNILKUMAR S. MANVI, Ph.D., is Professor and Head, Department of Electronics and Communication Engineering, Reva Institute of Technology and Management, Bangalore. He has more than two decades of teaching experience. His research interests include multimedia communications, agent technology applications in mobile computing and wireless networks. He has published about 90 journals and 140 conference papers at national and international level. BABU, B. SATHISH B. SATHISH BABU, Ph.D. (Electrical Communication Engineering), is Professor and Head, Department of Computer Science and Engineering, Siddaganga Institute of Technology, Tumkur. With the teaching and research experience of over three decades, he has written about twenty research papers in national and international journals. He is also the co-author of ‘Mobile and Wireless Application Security’. His research interests include cognitive agents based control solutions for networks, grid computing, cloud computing scheduling and security issues, context-aware trust issues in ubiquitous computing, privacy issues in WSN and opportunistic computing.

Bibliographic information