COMMUNICATION PROTOCOL ENGINEERING

Size: px
Start display at page:

Download "COMMUNICATION PROTOCOL ENGINEERING"

Transcription

1

2 COMMUNICATION PROTOCOL ENGINEERING

3

4 COMMUNICATION PROTOCOL ENGINEERING SECOND EDITION PALLAPA VENKATARAM Professor Department of Electrical Communication Engineering Indian Institute of Science Bangalore SUNILKUMAR S. MANVI Professor and Head Wireless Information Systems Research Lab Department of Electronics and Communication Engineering Reva Institute of Technology and Management Yelahanka, Bangalore B. SATHISH BABU Professor and Head Department of Computer Science and Engineering Siddaganga Institute of Technology Tumkur Delhi

5 COMMUNICATION PROTOCOL ENGINEERING, Second Edition Pallapa Venkataram, Sunilkumar S. Manvi, and B. Sathish Babu 2014 by PHI Learning Private Limited, Delhi. All rights reserved. No part of this book may be reproduced in any form, by mimeograph or any other means, without permission in writing from the publisher. ISBN The export rights of this book are vested solely with the publisher. Sixth Printing (Second Edition) February, 2014 Published by Asoke K. Ghosh, PHI Learning Private Limited, Rimjhim House, 111, Patparganj Industrial Estate, Delhi and Printed by Mudrak, 30-A, Patparganj, Delhi

6 CONTENTS List of Figures List of Tables Preface xix xi xvii 1. INTRODUCTION 1 Objectives of the Chapter Communication Model Communication Software Communication Subsystems Communication Protocol Definition Representation of Protocol Communication Protocol Development Methods Informal Method Formal Methods Protocol Engineering Process Need for Protocol Engineering Phases 16 Summary 18 Questions NETWORK REFERENCE MODEL 21 Objectives of the Chapter Layered Architecture Network Services and Interfaces Protocol Functions Encapsulation, Segmentation, and Reassembly of Messages Error Control, Flow Control, and Multiplexing Addressing OSI Model Functions of Layers in OSI Model TCP/IP Protocol Suite Host-to-Network Interface Protocols Wireless Protocol Challenges 51 v

7 vi CONTENTS 2.7 Application Protocols 52 Summary 56 Questions PROTOCOL SPECIFICATION 61 Objectives of the Chapter Components of Protocol to be Specified Communication Service Specification Service Specification Specification of Behaviour Aspects of a Protocol Protocol Entity Specification Sender Entity Specifications Receiver Entity Specifications Channel Specifications Interface Specifications Interactions Multimedia Protocol Specifications Characteristics of Multimedia Systems FSM Specifications Internet Protocol Specifications: Examples Alternating Bit Window Protocol HDLC Protocol RSVP TCP Protocol 86 Summary 89 Questions PROTOCOL SPECIFICATION LANGUAGES 91 Objectives of the Chapter SDL Salient Features Description of a Communication System by SDL Examples of SDL Based Protocol Specifications SPIN The PROMELA Language The SPIN Tool Estelle Brief Overview of Estelle Principal Concepts E-LOTOS An Example: Two-position Register CPN Uppaal The Modeling Language The Query Language UML Use Case Diagram 149

8 CONTENTS vii Sequence Diagram E-R Diagram 150 Questions PROTOCOL VERIFICATION/VALIDATION 153 Objectives of the Chapter Protocol Verification Safety Properties Liveness Properties Verification of a Protocol Using Finite State Machines Verification of ABP Verification of TCP Protocol Validation Protocol Design Errors State Deadlocks Unspecified Receptions Nonexecutable Interactions State Ambiguities Protocol Validation Approaches Algorithms for Automated Protocol Validation Perturbation Technique: Reachability Analysis Fair Reachability Graphs Process Algebra Based Validation SDL Based Protocol Verification Verification of the ABP SDL Based Protocol Validation Validation of ABP 179 Questions COMMUNICATION PROTOCOL CONFORMANCE TESTING 183 Objectives of the Chapter Communication Protocol Conformance Test Principle Test Execution Conformance Testing Methodology and Framework Conformance Test Architectures Local Conformance Test Architecture Distributed Conformance Testing Architecture Coordinated Method Remote Method Test Case Derivation Test Sequence Generation Methods T-method U-method D-method W-method 201

9 viii CONTENTS 6.6 Distributed Architecture by Local Methods FSM Representation of IUT with n Ports Synchronizable Test Sequence Conformance Testing with TTCN Conformance Testing in Systems with Semicontrollable Interfaces Conformance Testing of RIP TTCN Based RIP Testing Multimedia Applications Testing Telcom TSL A Framework for QoS Testing QoS Testing with TTCN and MSC SDL Based Tools for Conformance Testing SDL Based Conformance Testing of MPLS Test Sequence Generation Approach SDL Based MPLS Testing Results 224 Questions PROTOCOL PERFORMANCE TESTING 231 Objectives of the Chapter Performance Testing Performance Test Methods SDL Based Performance Testing of TCP SDL Based Performance Testing of OSPF Interoperability Testing What is Interoperability? Relationship between Conformance and Interoperability Test Suites Deriving Interoperability Test Cases Interoperability Testing of Connection Establishment Protocol Using TTCN A Generic Framework for Protocol Interoperability Testing SDL Based Interoperability Testing of CSMA/CD and CSMA/CA Protocol Using Bridge Scalability Testing What is Scalability? Scalability Testing of BGP 247 Summary 250 Questions PROTOCOL SYNTHESIS 253 Objectives of the Chapter Protocol Synthesis Synthesis Methods Interactive Synthesis Algorithm Automatic Synthesis Algorithm 258

10 CONTENTS ix 8.4 Automatic Synthesis of SDL from MSC Synthesis of Executable SDL Specifications from MSC Synthesis Methodology Protocol Re-synthesis 266 Summary 268 Questions PROTOCOL IMPLEMENTATION 271 Objectives of the Chapter Requirements of Protocol Implementation Domain Analysis Software Architecture Coding Documentation Conformance Assessment Object-based Approach to Protocol Implementation Object Design and Implementation of Protocols Design Tool Incremental Implementation and Inheritance Protocol Compilers Automatic Code Generation from Estelle Automatic Code Generation from LOTOS Automatic Code Generation from SDL Tool for Protocol Engineering Tau SDL Suite 291 Summary 293 Questions 293 ASSIGNMENTS 295 REFERENCES 301 INDEX 313

11 Communication Protocol Engineering 30% OFF Publisher : PHI Learning ISBN : Author : VENKATARAM, PALLAPA, MANVI, SUNILKUMAR S., BABU, B. SATHISH Type the URL : Get this ebook

Telecommunication Switching Systems and Networks

Telecommunication Switching Systems and Networks Second Edition Telecommunication Switching Systems and Networks Thiagarajan Viswanathan Manav Bhatnagar Telecommunication Switching Systems and Networks Telecommunication Switching Systems and Networks

More information

CLOUD COMPUTING. M.N. Rao

CLOUD COMPUTING. M.N. Rao CLOUD COMPUTING M.N. Rao Cloud Computing Cloud Computing M.N. RAO Director Research and Development Centre CSE Department SCET Engineering College Narsapuram Delhi-110092 2015 CLOUD COMPUTING M.N. Rao

More information

Honorary Professor Supercomputer Education and Research Centre Indian Institute of Science, Bangalore

Honorary Professor Supercomputer Education and Research Centre Indian Institute of Science, Bangalore COMPUTER ORGANIZATION AND ARCHITECTURE V. Rajaraman Honorary Professor Supercomputer Education and Research Centre Indian Institute of Science, Bangalore T. Radhakrishnan Professor of Computer Science

More information

FUNDAMENTALS OF DIGITAL CIRCUITS

FUNDAMENTALS OF DIGITAL CIRCUITS FUNDAMENTALS OF DIGITAL CIRCUITS THIRD EDITION A. Anand Kumar Principal K.L. University College of Engineering K.L. University Green Fields, Vaddeswaram Guntur District Andhra Pradesh Delhi-110092 2014

More information

DIGITA L LOGIC AND COMPUTER ORGA NIZATION

DIGITA L LOGIC AND COMPUTER ORGA NIZATION DIGITA L LOGIC AND COMPUTER ORGA NIZATION V. RAJARAMAN Honorary Professor Supercomputer Education and Research Centre Indian Institute of Science, Bangalore T. RADHAKRISHNAN Professor of Computer Science

More information

Object-Oriented Analysis and Design Using UML

Object-Oriented Analysis and Design Using UML Object-Oriented Analysis and Design Using UML An Introduction to Unified Process and Design Patterns Mahesh P. Matha Object-Oriented Analysis and Design Using UML Object-Oriented Analysis and Design Using

More information

Fundamentals of. Mobile Computing. Second Edition. Prasant Kumar Pattnaik Rajib Mall

Fundamentals of. Mobile Computing. Second Edition. Prasant Kumar Pattnaik Rajib Mall Fundamentals of Mobile Computing Second Edition Prasant Kumar Pattnaik Rajib Mall FUNDAMENTALS OF MOBILE COMPUTING SECOND EDITION PRASANT KUMAR PATTNAIK Professor School of Computer Engineering KIIT University

More information

Fundamentals of Discrete Mathematical Structures

Fundamentals of Discrete Mathematical Structures Fundamentals of Discrete Mathematical Structures THIRD EDITION K.R. Chowdhary Campus Director JIET School of Engineering and Technology for Girls Jodhpur Delhi-110092 2015 FUNDAMENTALS OF DISCRETE MATHEMATICAL

More information

A Programming Approach with C DHARMENDER SINGH KUSHWAHA

A Programming Approach with C DHARMENDER SINGH KUSHWAHA DATA STRUCTURES A Programming Approach with C SECOND EDITION DHARMENDER SINGH KUSHWAHA Associate Professor Department of Computer Science and Engineering Motilal Nehru National Institute of Technology

More information

Microcontrollers. Principles and Applications. Ajit Pal +5 V 2K 8. 8 bit dip switch. P2 8 Reset switch Microcontroller AT89S52 100E +5 V. 2.

Microcontrollers. Principles and Applications. Ajit Pal +5 V 2K 8. 8 bit dip switch. P2 8 Reset switch Microcontroller AT89S52 100E +5 V. 2. Ajit Pal Microcontrollers Principles and Applications +5 V 2K 8 8 bit dip switch P2 8 Reset switch Microcontroller AT89S52 100E +5 V +5 V 2.2K 10 uf RST 7 Segment common anode LEDs P1(0-6) & P3(0-6) 7

More information

MICROPROCESSOR Architecture, Programming and Interfacing SUNIL MATHUR. Assistant Professor Maharaja Agrasen Institute of Technology Delhi

MICROPROCESSOR Architecture, Programming and Interfacing SUNIL MATHUR. Assistant Professor Maharaja Agrasen Institute of Technology Delhi MICROPROCESSOR 8086 Architecture, Programming and Interfacing SUNIL MATHUR Assistant Professor Maharaja Agrasen Institute of Technology Delhi New Delhi-110001 2011 MICROPROCESSOR 8086: Architecture, Programming

More information

MICROPROCESSOR 8085 AND ITS INTERFACING SUNIL MATHUR. Second Edition A 1 ALE AD 0 - AD 7. Latch. Keyboard data V CC 8 P A D D 0 7 STB STB G G A

MICROPROCESSOR 8085 AND ITS INTERFACING SUNIL MATHUR. Second Edition A 1 ALE AD 0 - AD 7. Latch. Keyboard data V CC 8 P A D D 0 7 STB STB G G A Second Edition MICROPROCESSOR 8085 AND ITS INTERFACING ALE AD 0 - AD 7 LE Latch A 1 A 1 A 0 A 0 A 2 A7 D D 0 7 P A Keyboard data V CC 8 0 8 5 WR RD IO/M 1 2 G2B G G A A 3:8 B Decoder 5 C 3 Gnd IOR IOW

More information

COMPUTER GRAPHICS, MULTIMEDIA AND ANIMATION, Second Edition (with CD-ROM) Malay K. Pakhira

COMPUTER GRAPHICS, MULTIMEDIA AND ANIMATION, Second Edition (with CD-ROM) Malay K. Pakhira Computer Graphics, Multimedia and Animation SECOND EDITION Malay K. Pakhira Assistant Professor Department of Computer Science and Engineering Kalyani Government Engineering College Kalyani New Delhi-110001

More information

DATA COMMUNICATIONS AND COMPUTER NETWORKS

DATA COMMUNICATIONS AND COMPUTER NETWORKS DATA COMMUNICATIONS AND COMPUTER NETWORKS Second Edition PRAKASH C. GUPTA Formerly Head Department of Information Technology Maharashtra Institute of Technology Pune Delhi-110092 2014 DATA COMMUNICATIONS

More information

SDL: A Protocol Specification Language

SDL: A Protocol Specification Language Network Model SDL: A Protocol Specification Language Mrs. Anandi Giridharan Department of Electrical Communication Engineering Indian Institute of Science Bangalore 560012, India Specification Languages

More information

Cryptography and Network Security

Cryptography and Network Security Cryptography and Network Security CRYPTOGRAPHY AND NETWORK SECURITY PRAKASH C. GUPTA Former Head Department of Information Technology Maharashtra Institute of Technology Pune Delhi-110092 2015 CRYPTOGRAPHY

More information

Analysis of Algorithms

Analysis of Algorithms Second Edition Design and Analysis of Algorithms Prabhakar Gupta Vineet Agarwal Manish Varshney Design and Analysis of ALGORITHMS SECOND EDITION PRABHAKAR GUPTA Professor, Computer Science and Engineering

More information

FUNDAMENTALS OF COMPUTERS

FUNDAMENTALS OF COMPUTERS FUNDAMENTALS OF COMPUTERS Sixth Edition V. RAJARAMAN Honorary Professor Supercomputer Education and Research Centre Indian Institute of Science Bangalore NEEHARIKA ADABALA Chief Architect CybULab Private

More information

Database. Request Class. jdbc. Servlet. Result Bean. Response JSP. JSP and Servlets. A Comprehensive Study. Mahesh P. Matha

Database. Request Class. jdbc. Servlet. Result Bean. Response JSP. JSP and Servlets. A Comprehensive Study. Mahesh P. Matha Database Request Class Servlet jdbc Result Bean Response py Ki ta b JSP Ko JSP and Servlets A Comprehensive Study Mahesh P. Matha JSP and Servlets A Comprehensive Study Mahesh P. Matha Assistant Professor

More information

ASSESSMENT OF HEALTH MONITORING SYSTEM USING SDL FORMAL METHOD

ASSESSMENT OF HEALTH MONITORING SYSTEM USING SDL FORMAL METHOD ASSESSMENT OF HEALTH MONITORING SYSTEM USING SDL FORMAL METHOD ABSTRACT Anandi Giridharan and Pallapa Venkataram Indian Institute of Science, Department of ECE, INDIA Sensor nodes are highly mobile, which

More information

Computer Graphics. Apurva A. Desai

Computer Graphics. Apurva A. Desai Computer Graphics Apurva A. Desai COMPUTER GRAPHICS Apurva A. Desai Professor and Head Department of Computer Science Veer Narmad South Gujarat University Surat New Delhi-110001 2008 COMPUTER GRAPHICS

More information

Numerical Methods. with Computer. Programs C++ Pallab Ghosh

Numerical Methods. with Computer. Programs C++ Pallab Ghosh Numerical Methods with Computer Programs C++ in CD I N C Pallab Ghosh D LU ED Numerical Methods with Computer Programs in C++ PALLAB GHOSH Assistant Professor Department of Chemical Engineering Indian

More information

Engineering of computer networking protocols : an historical perspective

Engineering of computer networking protocols : an historical perspective Engineering of computer networking protocols : an historical perspective Gregor v. Bochmann University of Ottawa with thanks to Colin West and Dave Rayner http://www.site.uottawa.ca/~bochmann/talks/history.ppt

More information

CODE COURSE NAME DESCRIPTION SEM CS401 Communication Engineering & Coding Theory Knowledge of communication engineering & coding theory IV

CODE COURSE NAME DESCRIPTION SEM CS401 Communication Engineering & Coding Theory Knowledge of communication engineering & coding theory IV Course: CS602 Computer Networks PROGRAMME: COMPUTER SCIENCE & ENGINEERING DEGREE:B. TECH COURSE: Computer Networks SEMESTER: VI CREDITS: 3 COURSECODE: CS602 COURSE TYPE: Theory COURSE AREA/DOMAIN: Communication

More information

Protocol Specification

Protocol Specification Protocol Specification Prof Pallapa. Venkataram Department of Electrical Communication Engineering Indian Institute of Science Bangalore 560012, India Objectives of the Chapter To define a formal specification

More information

MPLS Networks: Design and Routing Functions

MPLS Networks: Design and Routing Functions MPLS Networks: Design and Routing Functions Course Description This course provides an understanding of how MPLS works its advantages and limitations and how it can be deployed to provide effective services

More information

WIRELESS LANs: THE DECT APPROACH

WIRELESS LANs: THE DECT APPROACH WIRELESS LANs: THE DECT APPROACH Anthony Lo Centre for Wireless Communications National University of Singapore 20 Science Park Road #02-34/37 TeleTech Park Singapore Science Park II Singapore 117674 Email:

More information

DESIGN AND VALIDATION OF COMPUTER PROTOCOLS

DESIGN AND VALIDATION OF COMPUTER PROTOCOLS DESIGN AND VALIDATION OF COMPUTER PROTOCOLS Gerard J. Holzmann Bell Laboratories Murray Hill, New Jersey 07974 PRENTICE-HALL Englewood Cliffs, New Jersey 07632 Prentice Hall Software Series Brian W. Kernighan,

More information

Networks Fall This exam consists of 10 problems on the following 13 pages.

Networks Fall This exam consists of 10 problems on the following 13 pages. CSCI 466 Final Networks Fall 2011 Name: This exam consists of 10 problems on the following 13 pages. You may use your two- sided hand- written 8 ½ x 11 note sheet during the exam and a calculator. No other

More information

B. P. PODDAR INSTITUTE OF MANAGEMENT & TECHNOLOGY DEPT OF ELEDTRONICS & COMMUNICATION ENGINEERING ACADEMIC YEAR: ODD SEMESTER

B. P. PODDAR INSTITUTE OF MANAGEMENT & TECHNOLOGY DEPT OF ELEDTRONICS & COMMUNICATION ENGINEERING ACADEMIC YEAR: ODD SEMESTER Sl No DEPT OF ELEDTRONICS & COMMUNICATION ENGINEERING COURSE SYLLABUS INCLUDING COURSE STRUCTUTRE Paper Theory Contact hours/week Cr. Pts Code 1 EC70C Computer Networks L T P TOTAL 0 0 Module I Overview

More information

SCHEME OF TEACHING AND EXAMINATION FOR M.TECH. COMPUTER SCIENCE and ENGINEERING. Hours per Week Field Work/ Tutorials

SCHEME OF TEACHING AND EXAMINATION FOR M.TECH. COMPUTER SCIENCE and ENGINEERING. Hours per Week Field Work/ Tutorials Subject Code II Semester Name of the Subject SCHEME OF TEACHING AND EXAMINATION FOR M.TECH. COMPUTER SCIENCE and ENGINEERING Lecture Hours per Week Practical Field Work/ Tutorials Duration of Exam in Hours

More information

Contents. List of F i g u r e s xi List of Tables xv Preface xvü. Introducing Multiprotocol Label Switching

Contents. List of F i g u r e s xi List of Tables xv Preface xvü. Introducing Multiprotocol Label Switching ;>;:;;.; o u ':,t; G O G O r: - 5 ^ ip b ü,:^ p - o ^ v v ; ; : ' : o ^ 0 ; - '; -:-, X ^ ^ ;. : ^ i 5i:fc!C :! i ;> r S n p o. i i p p. a p c p ö ^ Contents List of F i g u r e s xi List of Tables xv

More information

PHI Learning Private Limited

PHI Learning Private Limited MICROPROCESSORS The 8086/8088, 80186/80286, 80386/80486 and the Pentium Family Nilesh B. Bahadure Reader Department of Electronics and Telecommunication Engineering Bhilai Institute of Technology, Durg

More information

Summary of Contents LIST OF FIGURES LIST OF TABLES

Summary of Contents LIST OF FIGURES LIST OF TABLES Summary of Contents LIST OF FIGURES LIST OF TABLES PREFACE xvii xix xxi PART 1 BACKGROUND Chapter 1. Introduction 3 Chapter 2. Standards-Makers 21 Chapter 3. Principles of the S2ESC Collection 45 Chapter

More information

Computer Networks (Unit wise Questions)

Computer Networks (Unit wise Questions) Unit I Unit II 1. What are different transmission modes?[4] 2. Encode the following binary data stream into Manchester and differential Manchester codes 1 1 0 0 1 0 1 0 [8] 3. What are different topologies

More information

Communication Networks

Communication Networks Communication Networks Chapter 3 Protocol Specification Communication Networks: 3. Protocol Specification 104 Overview 1. Message Sequence Charts (MSC) 2. Finite State Machines (FSM) 4. PDU Format 5. Example:

More information

CSCI 466 Midterm Networks Fall 2011

CSCI 466 Midterm Networks Fall 2011 CSCI 466 Midterm Networks Fall 2011 Name: This exam consists of 7 problems on the following 9 pages. You may use your single- sided hand- written 8 ½ x 11 note sheet and a calculator during the exam. No

More information

Copyright protected. Use is for Single Users only via a VHP Approved License. For information and printed versions please see

Copyright protected. Use is for Single Users only via a VHP Approved License. For information and printed versions please see TOGAF 9 Certified Study Guide 4th Edition The Open Group Publications available from Van Haren Publishing The TOGAF Series: The TOGAF Standard, Version 9.2 The TOGAF Standard Version 9.2 A Pocket Guide

More information

Introduction. Assessment Test

Introduction. Assessment Test Introduction Assessment Test xix xxxi Chapter 1 Understanding Basic Networking 1 First Things First: What s a Network? 2 The Local Area Network (LAN) 3 Common Network Components 5 Workstations 5 Wide Area

More information

Introduction... xiii Chapter 1: Introduction to Computer Networks and Internet Computer Networks Uses of Computer Networks...

Introduction... xiii Chapter 1: Introduction to Computer Networks and Internet Computer Networks Uses of Computer Networks... Table of Contents Introduction... xiii Chapter 1: Introduction to Computer Networks and Internet... 1 1.1 Computer Networks... 1 1.1.1 Advantages of Computer Networks... 2 1.1.2 Disadvantages of Computer

More information

Introduction xvii. Assessment Test xxxiii

Introduction xvii. Assessment Test xxxiii Contents at a Glance Introduction xvii Assessment Test xxxiii Chapter 1 The Components of a Juniper Networks Router 1 Chapter 2 Interfaces 61 Chapter 3 Protocol-Independent Routing 107 Chapter 4 Routing

More information

PROTOCOL ENGINEERING BY HARTMUT KöNIG

PROTOCOL ENGINEERING BY HARTMUT KöNIG Read Online and Download Ebook PROTOCOL ENGINEERING BY HARTMUT KöNIG DOWNLOAD EBOOK : PROTOCOL ENGINEERING BY HARTMUT KöNIG PDF Click link bellow and free register to download ebook: PROTOCOL ENGINEERING

More information

Information and Network Technology Revised Date 07/26/2012 Implementation Date 08/01/2012

Information and Network Technology Revised Date 07/26/2012 Implementation Date 08/01/2012 Information and Network Technology Ben Eckart Revised Date 07/26/2012 Implementation Date 08/01/2012 COURSE OUTLINE CRT 286 LAN/WAN Implementation and Support 3 Credit Hours Course Description The focus

More information

Computer Networks. Andrew S. Tanenbaum

Computer Networks. Andrew S. Tanenbaum Computer Networks Third Edition Andrew S. Tanenbaum 1 ; l Vrije Universiteit Amsterdam, The Netherlands For book and bookstore information Prentice Hall PTR Upper Saddle River, New Jersey 07458 CONTENTS

More information

MIT International Journal of Electrical and Instrumentation Engineering Vol. 3, No. 1, Jan. 2013, pp

MIT International Journal of Electrical and Instrumentation Engineering Vol. 3, No. 1, Jan. 2013, pp MIT International Journal of Electrical and Instrumentation Engineering Vol. 3, No. 1, Jan. 2013, pp. 15 20 15 MPLS and NGN Networks: The Future Aspects for Railways Communication System Alok Pandey E,

More information

LOGICAL DATA MODELING

LOGICAL DATA MODELING LOGICAL DATA MODELING INTEGRATED SERIES IN INFORMATION SYSTEMS Professor Ramesh Sharda Oklahoma State University Series Editors Prof. Dr. Stefan VoB Universitat Hamburg Expository and Research Monographs

More information

Counterexample Guided Synthesis of Monitors for Realizability Enforcement. Matthias Güdemann Gwen Salaün Meriem Ouederni

Counterexample Guided Synthesis of Monitors for Realizability Enforcement. Matthias Güdemann Gwen Salaün Meriem Ouederni Counterexample Guided Synthesis of Monitors for Realizability Enforcement Matthias Güdemann Gwen Salaün Meriem Ouederni Choreographies Global contract specifications Participants, communication, message

More information

T : Protocol Design

T : Protocol Design T-110.300: Protocol Design Protocol Design Theory Methods Protocol Engineering Process (PEP) Timo.Kyntaja@vtt.fi 1 (154) Motivation Telecom systems engineering is a huge industry networks, terminals, services

More information

COPYRIGHTED MATERIAL. Table of Contents. Assessment Test

COPYRIGHTED MATERIAL. Table of Contents. Assessment Test 10089.book Page xi Monday, July 23, 2007 3:17 PM Introduction Assessment Test xxiii xxxiii Chapter 1 Internetworking 1 Internetworking Basics 4 Internetworking Models 11 The Layered Approach 12 Advantages

More information

SCHEME OF TEACHING AND EXAMINATION M.TECH. - NETWORKING & INTERNET ENGINEERING II SEMESTER Teaching hours/week Duratio Name of the Subject

SCHEME OF TEACHING AND EXAMINATION M.TECH. - NETWORKING & INTERNET ENGINEERING II SEMESTER Teaching hours/week Duratio Name of the Subject Course Code 1 2 3 4 5 6 Total Subject Code 10EC05 7 10EC08 4 10EC05 1 10EC 3 10ECxx x SCHEME OF TEACHING AND EXAMINATION M.TECH. - NETWORKING & INTERNET ENGINEERING II SEMESTER Teaching hours Duratio Name

More information

Configuring BGP on Cisco Routers Volume 1

Configuring BGP on Cisco Routers Volume 1 Volume 1 I. Course Introduction A. Overview/Learner Skills and Knowledge B. Course Flow C. Additional References 1. Cisco Glossary of Terms D. Your Training Curriculum II. BGP Overview III. Introducing

More information

Supporting Quality of Service for Internet Applications A thesis presented for the degree of Master of Science Research

Supporting Quality of Service for Internet Applications A thesis presented for the degree of Master of Science Research Supporting Quality of Service for Internet Applications A thesis presented for the degree of Master of Science Research Department of Computer Systems Faculty of Information Technology University of Technology,

More information

L04. Model-based Testing: Principles Henry Muccini. Dipartimento di Informatica, Universityof L Aquila

L04. Model-based Testing: Principles Henry Muccini. Dipartimento di Informatica, Universityof L Aquila Università degli Studi dell Aquila L04. Model-based Testing: Principles Henry Muccini Dipartimento di Informatica, Universityof L Aquila henry.muccini@univaq.it Copyright Notice The material in these slides

More information

Distributed Systems Programming (F21DS1) Formal Verification

Distributed Systems Programming (F21DS1) Formal Verification Distributed Systems Programming (F21DS1) Formal Verification Andrew Ireland Department of Computer Science School of Mathematical and Computer Sciences Heriot-Watt University Edinburgh Overview Focus on

More information

Corrective Action User Walkthrough: New Portal Login

Corrective Action User Walkthrough: New Portal Login Corrective Action User Walkthrough: New Portal Login The updated URL for the PST Portal is: https://apps.occeweb.com/pstportal There are five scenarios to consider if you are experiencing difficulty logging

More information

Overview of Timed Automata and UPPAAL

Overview of Timed Automata and UPPAAL Overview of Timed Automata and UPPAAL Table of Contents Timed Automata Introduction Example The Query Language UPPAAL Introduction Example Editor Simulator Verifier Conclusions 2 Introduction to Timed

More information

"Charting the Course... Interconnecting Cisco Networking Devices Accelerated 3.0 (CCNAX) Course Summary

Charting the Course... Interconnecting Cisco Networking Devices Accelerated 3.0 (CCNAX) Course Summary Description Course Summary The Cisco CCNA curriculum includes a third course, Interconnecting Cisco Networking Devices: Accelerated (CCNAX), consisting of Interconnecting Cisco Networking Devices, Part

More information

Computer Networks Course for M.Tech CS,AI and IT students (July Dec 2005)

Computer Networks Course for M.Tech CS,AI and IT students (July Dec 2005) Computer Networks Course for M.Tech CS,AI and IT students (July Dec 2005) INSTRUCTORS: Wilson Naik naikcs@uohyd.ernet.in, and Atul Negi, atulcs@uohyd.ernet.in Diagnostic test A diagnostic test is to check

More information

Faculty of Science and IT Course title. Pre-requisite/corequisite

Faculty of Science and IT Course title. Pre-requisite/corequisite Faculty Course number Faculty of Science and IT 022242 Department Course title Computer Science Network Protocols Number of credit hours 3 Pre-requisite/corequisite Computer network Brief course description.

More information

EARLY CHECKING OF SYSML MODELS APPLIED TO PROTOCOLS

EARLY CHECKING OF SYSML MODELS APPLIED TO PROTOCOLS EARLY CHECKING OF SYSML MODELS APPLIED TO PROTOCOLS Pierre de SAQUI-SANNES, Rob. VINGERHOEDS ISAE-SUPAERO University of Toulouse pdss@isae-supaero.fr Ludovic APVRILLE LTCI, TelecomParisTech, Université

More information

1 Introduction to. Languages and Notations. Chapter

1 Introduction to. Languages and Notations. Chapter 1 Introduction to Languages and Notations This chapter begins with a brief introduction to SDL; the language, its history, its main concepts and application areas. Next follows an introduction to the MSC

More information

CSCI 466 Midterm Networks Fall 2011

CSCI 466 Midterm Networks Fall 2011 CSCI 466 Midterm Networks Fall 2011 Name: This exam consists of 7 problems on the following 9 pages. You may use your single- sided hand- written 8 ½ x 11 note sheet and a calculator during the exam. No

More information

Router 6000 R17 Training Programs. Catalog of Course Descriptions

Router 6000 R17 Training Programs. Catalog of Course Descriptions Router 6000 R7 Training Programs Catalog of Course Descriptions Catalog of Course Descriptions INTRODUCTION... 3 IP NETWORKING... 4 IP OVERVIEW & FUNDAMENTALS... 8 IP ROUTING OVERVIEW & FUNDAMENTALS...0

More information

Introduction to Networked Multimedia An Introduction to RTP p. 3 A Brief History of Audio/Video Networking p. 4 Early Packet Voice and Video

Introduction to Networked Multimedia An Introduction to RTP p. 3 A Brief History of Audio/Video Networking p. 4 Early Packet Voice and Video Preface p. xi Acknowledgments p. xvii Introduction to Networked Multimedia An Introduction to RTP p. 3 A Brief History of Audio/Video Networking p. 4 Early Packet Voice and Video Experiments p. 4 Audio

More information

SAP HR Time Management Technical Reference and Learning Guide

SAP HR Time Management Technical Reference and Learning Guide SAP HR Time Management Technical Reference and Learning Guide SECOND EDITION P. K. AGRAWAL Formerly Program Manager Tata Technologies Limited Pune Delhi-110092 2010 1 SAP HR Time Management: Technical

More information

"Charting the Course... Agile Database Design Techniques Course Summary

Charting the Course... Agile Database Design Techniques Course Summary Course Summary Description This course provides students with the skills necessary to design databases using Agile design techniques. It is based on the Scott Ambler book Agile Database Techniques: Effective

More information

Fundamental Questions to Answer About Computer Networking, Jan 2009 Prof. Ying-Dar Lin,

Fundamental Questions to Answer About Computer Networking, Jan 2009 Prof. Ying-Dar Lin, Fundamental Questions to Answer About Computer Networking, Jan 2009 Prof. Ying-Dar Lin, ydlin@cs.nctu.edu.tw Chapter 1: Introduction 1. How does Internet scale to billions of hosts? (Describe what structure

More information

Introduction p. 1 Self-Assessment p. 9 Networking Fundamentals p. 17 Introduction p. 18 Components and Terms p. 18 Topologies p. 18 LAN Technologies

Introduction p. 1 Self-Assessment p. 9 Networking Fundamentals p. 17 Introduction p. 18 Components and Terms p. 18 Topologies p. 18 LAN Technologies Introduction p. 1 Self-Assessment p. 9 Networking Fundamentals p. 17 Introduction p. 18 Components and Terms p. 18 Topologies p. 18 LAN Technologies p. 19 Ethernet p. 19 WAN Technologies p. 21 Dedicated

More information

Introduction... ix. Chapter 1: Exploring Fundamental Programming Concepts... 1

Introduction... ix. Chapter 1: Exploring Fundamental Programming Concepts... 1 Table of Contents Introduction... ix Chapter 1: Exploring Fundamental Programming Concepts... 1 1.1 Exploring the Editors... 2 History of Editors... 2 Exploring the Types of Text Editors... 3 Describing

More information

SOFTWARE MODELING AND DESIGN. UML, Use Cases, Patterns, and. Software Architectures. Ki Cambridge UNIVERSITY PRESS. Hassan Gomaa

SOFTWARE MODELING AND DESIGN. UML, Use Cases, Patterns, and. Software Architectures. Ki Cambridge UNIVERSITY PRESS. Hassan Gomaa SOFTWARE MODELING AND DESIGN UML, Use Cases, Patterns, and Software Architectures Hassan Gomaa George Mason University, Fairfax, Virginia Ki Cambridge UNIVERSITY PRESS Contents Preface P"U

More information

FINAL EXAM REVIEW PLEASE NOTE THE MATERIAL FROM LECTURE #16 at the end. Exam 1 Review Material

FINAL EXAM REVIEW PLEASE NOTE THE MATERIAL FROM LECTURE #16 at the end. Exam 1 Review Material FINAL EXAM REVIEW PLEASE NOTE THE MATERIAL FROM LECTURE #16 at the end Chapters in the book 1, 2, 3, 5, 6 Exam 1 Review Material Topics You are also responsible for the reading in the chapters understanding

More information

Protocol Specification. Using Finite State Machines

Protocol Specification. Using Finite State Machines Protocol Specification Using Finite State Machines Introduction Specification Phase of Protocol Design allows the designer to prepare an abstract model of the protocol for testing and analysis. Finite

More information

ICOM Term Project - Phase III - Part 1 - ER Diagram Project Title: Stenzyl Members: Carlos N. Abreu Takemura Jean Rodríguez Fabián Zapata

ICOM Term Project - Phase III - Part 1 - ER Diagram Project Title: Stenzyl Members: Carlos N. Abreu Takemura Jean Rodríguez Fabián Zapata ICOM5016 - Term Project - Phase III - Part 1 - ER Diagram Project Title: Stenzyl Members: Carlos N. Abreu Takemura Jean Rodríguez Fabián Zapata Entity Sets: I. Account Represents the base, private side

More information

JAIPUR NATIONAL UNIVERSITY, JAIPUR School of Distance Education & Learning Internal Assignment

JAIPUR NATIONAL UNIVERSITY, JAIPUR School of Distance Education & Learning Internal Assignment Paper Code: BCA -201 Paper Title: Computer Communication & Networks Section-A (i) Explain the communication model? (ii) Describe the TCP/IP protocol? (iii) Discuss the Shannon Capacity Formula. (iv) Explain

More information

Computation Independent Model (CIM): Platform Independent Model (PIM): Platform Specific Model (PSM): Implementation Specific Model (ISM):

Computation Independent Model (CIM): Platform Independent Model (PIM): Platform Specific Model (PSM): Implementation Specific Model (ISM): viii Preface The software industry has evolved to tackle new approaches aligned with the Internet, object-orientation, distributed components and new platforms. However, the majority of the large information

More information

INSTITUTE OF AERONAUTICAL ENGINEERING Dundigal, Hyderabad INFORMATION TECHNOLOGY COURSE DESCRIPTION FORM

INSTITUTE OF AERONAUTICAL ENGINEERING Dundigal, Hyderabad INFORMATION TECHNOLOGY COURSE DESCRIPTION FORM INSTITUTE OF AERONAUTICAL ENGINEERING Dundigal, yderabad - 500 043 INFORMATION TECNOLOGY COURSE DESCRIPTION FORM Course Title Course Code Regulation Course Structure Course Coordinator Team of Instructors

More information

"Charting the Course... MOC A Developing Microsoft SQL Server 2012 Databases. Course Summary

Charting the Course... MOC A Developing Microsoft SQL Server 2012 Databases. Course Summary Course Summary Description This 5-day instructor-led course introduces SQL Server 2012 and describes logical table design, indexing and query plans. It also focuses on the creation of database objects

More information

NETWORKING KEITH W. ROSS. Polytechnic Institute of NYU. Addison-Wesley

NETWORKING KEITH W. ROSS. Polytechnic Institute of NYU. Addison-Wesley COMPUTER FIFTH EDITION NETWORKING JAMES F. KUROSE University of Massachusetts, Amherst KEITH W. ROSS Polytechnic Institute of NYU Addison-Wesley New York Boston San Francisco London Toronto Sydney Tokyo

More information

Study Guide. Module Two

Study Guide. Module Two Module Two Study Guide Study Guide Contents Part One -- Textbook Questions Part Two -- Assignment Questions Part Three -- Vocabulary Chapter 4 Data Link Layer What is the function of the data link layer?

More information

This content has been downloaded from IOPscience. Please scroll down to see the full text.

This content has been downloaded from IOPscience. Please scroll down to see the full text. This content has been downloaded from IOPscience. Please scroll down to see the full text. Download details: IP Address: 148.251.232.83 This content was downloaded on 22/11/2018 at 08:50 Please note that

More information

Understanding the Concepts and Features of Macro Programming 1

Understanding the Concepts and Features of Macro Programming 1 Contents Preface ix Acknowledgments xi Part 1 Understanding the Concepts and Features of Macro Programming 1 Chapter 1 Introduction 3 What Is the SAS Macro Facility? 4 What Are the Advantages of the SAS

More information

SystemVerilog For Design Second Edition

SystemVerilog For Design Second Edition SystemVerilog For Design Second Edition A Guide to Using SystemVerilog for Hardware Design and Modeling by Stuart Sutherland Simon Davidmann Peter Flake Foreword by Phil Moorby 4y Spri ringer Table of

More information

Internet Control Message Protocol (ICMP)

Internet Control Message Protocol (ICMP) Internet Control Message Protocol (ICMP) 1 Overview The IP (Internet Protocol) relies on several other protocols to perform necessary control and routing functions: Control functions (ICMP) Multicast signaling

More information

Fundamentals of the Java Programming Language

Fundamentals of the Java Programming Language Fundamentals of the Java Programming Language Student Guide SL-110 REV E D61798GC10 Edition 1.0 2009 D62399 Copyright 2006, 2009, Oracle and/or its affiliates. All rights reserved. Disclaimer This document

More information

Sample Copy. Not For Distribution.

Sample Copy. Not For Distribution. Exam Made Easy i Publishing-in-support-of, EDUCREATION PUBLISHING RZ 94, Sector - 6, Dwarka, New Delhi - 110075 Shubham Vihar, Mangla, Bilaspur, Chhattisgarh - 495001 Website: www.educreation.in Copyright,

More information

UNIT I Review Computer Networks and the Internet

UNIT I Review Computer Networks and the Internet SIDDHARTH GROUP OF INSTITUTIONS :: PUTTUR Siddharth Nagar, Narayanavanam Road 517583 QUESTION BANK (DESCRIPTIVE) Subject with Code : Advanced Computer Networks ( 16CS5802 ) Course & Branch: M.Tech - CSE

More information

Issues in Testing Electronic Commerce Systems

Issues in Testing Electronic Commerce Systems Issues in Testing Electronic Commerce Systems Kassem Saleh 1 and Robert Probert University of Ottawa, School of Information Technology and Engineering (SITE) P.O.Box 450, Stn A, Ottawa, Ontario, Canada

More information

PESIT Bangalore South Campus

PESIT Bangalore South Campus PESIT Bangalore South Campus 15CS52: Computer Networks Faculty: Dr. Sarasvathi V, Ms. Bidisha Goswami and Ms. Kanthimathi No. Of Sessions: 70 Course objectives: This course will enable students to Demonstration

More information

"Charting the Course... MOC C: Developing SQL Databases. Course Summary

Charting the Course... MOC C: Developing SQL Databases. Course Summary Course Summary Description This five-day instructor-led course provides students with the knowledge and skills to develop a Microsoft SQL database. The course focuses on teaching individuals how to use

More information

GOPALAN COLLEGE OF ENGINEERING AND MANAGEMENT Department of Computer Science and Engineering COURSE PLAN

GOPALAN COLLEGE OF ENGINEERING AND MANAGEMENT Department of Computer Science and Engineering COURSE PLAN Appendix - C GOPALAN COLLEGE OF ENGINEERING AND MANAGEMENT Department of Computer Science and Engineering Academic Year: 2016-17 Semester: EVEN COURSE PLAN Semester: VI Subject Code& Name: 10CS64 & Computer

More information

ATTACHMENT A FSD WLAN PROGRAM SCOPE OF WORK IFB I NETWORK EQUIPMENT AND RELATED SERVICES

ATTACHMENT A FSD WLAN PROGRAM SCOPE OF WORK IFB I NETWORK EQUIPMENT AND RELATED SERVICES I. EXECUTIVE SUMMARY A. The intent of this Invitation for Bid (IFB) is to solicit proposals to provide solutions for Wide Area Networking (WAN), Local Area Networking (LAN), and Wireless Local Area Networking

More information

Routing and Switching Principles. Lecture#01

Routing and Switching Principles. Lecture#01 Routing and Switching Principles Lecture#01 zeshan.iqbal@uettaxila.edu.pk Text Book Companion website http://web.uettaxila.edu.pk/cms/aut2010/terspbs/index.asp Course Contents Understand the function of

More information

Introduction to Software Engineering p. 1 The Scope of Software Engineering p. 3 Historical Aspects p. 4 Economic Aspects p. 7 Maintenance Aspects p.

Introduction to Software Engineering p. 1 The Scope of Software Engineering p. 3 Historical Aspects p. 4 Economic Aspects p. 7 Maintenance Aspects p. Preface p. xv Introduction to Software Engineering p. 1 The Scope of Software Engineering p. 3 Historical Aspects p. 4 Economic Aspects p. 7 Maintenance Aspects p. 8 Specification and Design Aspects p.

More information

INSTITUTE OF AERONAUTICAL ENGINEERING (Autonomous) Dundigal, Hyderabad

INSTITUTE OF AERONAUTICAL ENGINEERING (Autonomous) Dundigal, Hyderabad INSTITUTE OF AERONAUTICAL ENGINEERING (Autonomous) Dundigal, Hyderabad - 500 043 INFORMATION TECHNOLOGY COURSE DESCRIPTION FORM Course Title Course Code Regulation Course Structure Course Coordinator SOFTWARE

More information

COMPUTER AND DATA NETWORKS

COMPUTER AND DATA NETWORKS COMPUTER AND DATA NETWORKS (EE2.CDN, Spring 2003) Dr. Z. SUN University of Surrey Guildford Surrey GU2 5XH Tel: 01483 68 9493 Fax: 01483 68 6011 Email: Z.Sun@eim.surrey.ac.uk 1 Dr.Z.Sun SCHEDULE Week 1

More information

Temporal Logic and Timed Automata

Temporal Logic and Timed Automata Information Systems Analysis Temporal Logic and Timed Automata (5) UPPAAL timed automata Paweł Głuchowski, Wrocław University of Technology version 2.3 Contents of the lecture Tools for automatic verification

More information

JAIPUR NATIONAL UNIVERSITY, JAIPUR

JAIPUR NATIONAL UNIVERSITY, JAIPUR Paper Code: MCA - 101 Paper Title: Fundamental of Computer Master of Computer Application (MCA) (i) Differentiate between data and information. Which is more useful to the people and why? (ii) Explain

More information

An Object Oriented Programming with C

An Object Oriented Programming with C An Object Oriented Programming with C By Tanmay Kasbe Dr. Ravi Singh Pippal IDEA PUBLISHING WWW.ideapublishing.in i Publishing-in-support-of, IDEA PUBLISHING Block- 9b, Transit Flats, Hudco Place Extension

More information

Foreword xxiii Preface xxvii IPv6 Rationale and Features

Foreword xxiii Preface xxvii IPv6 Rationale and Features Contents Foreword Preface xxiii xxvii 1 IPv6 Rationale and Features 1 1.1 Internet Growth 1 1.1.1 IPv4 Addressing 1 1.1.2 IPv4 Address Space Utilization 3 1.1.3 Network Address Translation 5 1.1.4 HTTP

More information

MPLS over GRE. Finding Feature Information. Prerequisites for MPLS VPN L3VPN over GRE

MPLS over GRE. Finding Feature Information. Prerequisites for MPLS VPN L3VPN over GRE The feature provides a mechanism for tunneling Multiprotocol Label Switching (MPLS) packets over a non-mpls network. This feature utilizes MPLS over generic routing encapsulation (MPLSoGRE) to encapsulate

More information