COMMUNICATION PROTOCOL ENGINEERING

by PALLAPA VENKATARAM, SUNILKUMAR S. MANVI, B. SATHISH BABU

Overview

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.AudienceCommunication 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.

Product Details

ISBN-13:	9788120349032
Publisher:	PHI Learning
Publication date:	02/11/2014
Sold by:	Barnes & Noble
Format:	eBook
File size:	9 MB

About the Author

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.

Table of Contents

List of Figures • List of Tables • Preface 1. Introduction 2. Network Reference Model 3. Protocol Specification 4. Protocol Specification Languages 5. Protocol Verification/Validation 6. Communication Protocol Conformance Testing 7. Protocol Performance Testing 8. Protocol Synthesis 9. Protocol Implementation Assignments • References • Index