COMMUNICATION PROTOCOL ENGINEERINGThis 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 |
Common terms and phrases
abstract algorithm alternating bit protocol application behaviour bisimulation block buffer channel communication protocols conformance test architecture conformance testing CSMA/CD data transfer data types deadlock defined Describe diagram Estelle example finite state machine flow control formal frame HDLC host input instance interactions Internet interoperability test IP address layer liveness properties lower tester mealy machine message exchange Message Sequence Charts method MPLS multimedia nodes object class operations OSPF output packet parameters path PDUs performance petrinet Protocol Data Units protocol design protocol engineering protocol entity protocol implementation protocol specifications reachability receiver requirements router routing protocol RSVP scalability testing SDL based SDL specifications sender sends sequence number server service specification shown in Fig signal routes simulation subnet subsystem synchronization synthesis TCP connection test sequence test subsequence test suite timer tool topology transition transmission TTCN unspecified receptions validation verification