Protocol Design

• Specification

  • formally describing what the protocol is supposed to do

• Abstraction

  • consistent layering promotes re-use and verification

• Verification

  • is the protocol logically consistent?

• Performance Estimation

  • is the protocol efficient?

• Implementation

  • building a system that implements the specification

Source: Prof. Alberto Sangiovanni

Previous slide

Next slide

Back to first slide

View graphic version