Sign In

 CSE 555: Protocol Engineering

​Course Information

Designation:   Elective Course

Course Level:   Graduate


Prerequisite(s) by Topic: 

Prerequisite: (COE 540 and (ICS 253 or Equivalent)) or Consent of Instructor.

Catalog Description: 

Protocols and languages. Protocol structure. Structured protocol design. Fundamentals of Protocol Engineering. Specification and modeling. State Machines and Reachability Analysis. Formulation of desirable properties of protocols. Formal Logic and Deduction. Verification techniques. Formal description languages. Protocol synthesis. Protocol Design. Validation and conformance testing. Computer aided design tools for protocol engineering (simulation and validation tools). A major project involving comprehensive design and verification of a non-trivial protocol.​