Contents

List of topics
  • Protocol design principles
  • Modeling and specification
    • State machine models
    • Behavior specifications with UML and SDL
    • Scenario-based descriptions with MSCs
    • Data format description with ABNF, CSN.1, ASN.1
  • Validation
    • Validation models in Promela
    • Model checking and simulation with SPIN
  • Simulation of network protocols
    • The network simulator OMNeT++
  • Performance evaluation
  • Formal analysis

Prerequisites

This lecture is for students studying Computer Science or Applied Computer Science. There are no formal requirements. However, we expect basic knowledge in software engineering and networking.

Modules

  • Module information in the HIS
  • Lecture 3 hours per term and exercise 1 hour per term, both in English ("3V+1Ü SWS")
  • ECTS: 6