COMMUNICATION PROTOCOL ENGINEERING

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

Overview

With improved organisation and enhanced contents, this second edition focuses on the concepts of design and development of communication protocols and communication software. Beginning with an overview of protocol engineering, the text analyses important topics such as TCP/IP suite protocol structure; protocol specification; protocol specification languages like SDL, SPIN, Estelle, E-LOTOS, CPN, and UML; protocol verification and validation techniques like semantic models and reachability analysis; and generating conformance test suite and its application to a running protocol implementation.Audience:Communication Protocol Engineering is aimed at undergraduate students of electronics and communication engineering and computer engineering. The text would also be useful to postgraduate students of communication systems.Highlights of the second editionIncorporates the latest information on the topics covered.Includes a large number of figures and examples for easy understanding of concepts.Presents new sections on wireless protocol challenges, TCP protocol, verification of TCP, test execution, and test case derivation.Includes extension of protocol specification languages like SPIN, Estelle, and Uppaal.Read more

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