Class
hours: Fridays 17:45 - 20:15
Room: MB S2.401
Office Hours: Fridays 13:00 – 15:00
This is an approximate schedule for the lectures
Lecture #1 and #2
o ISO 7 layers architecture review
o Protocols vs. services vs. interfaces
o 7 layers architecture concepts and protocols basic concepts (Flow control etc...)
o Transport layer protocols and services
Lecture #3 and #4
o An introduction to formal methods
o State Transition Systems
o More on State Transition Systems
(Note:
G. J. Holzmann's book is the main reference for the
following lectures)
· Lecture #5
o Promela and SPIN [Basics during Lecture #5 and some advanced concepts during Lecture #6]
· Lecture #6
o Communication protocols general properties and Reachability Analysis
o Project discussion
o Review for Quiz #1
· Lecture #7
o Quiz #1 [covers Lectures #1, 2, 3, 4, 5 and 6]
o Project discussion
· Lecture #8
o Temporal logics
o Model checking and protocol specific properties
o Model checking with SPIN
· Lecture #9
o Communication protocol synthesis and refinement
o Protocol testing (1)
§ Test case generation with finite state models
o Protocol testing (2)
§ Testing Architectures
· Lecture #11
o Communication protocol implementation
o Wrap Up for Quiz #2
o Project discussion
· Lecture #12
o Quiz #2
o Project demos preparation
· Lecture 13: Project Demos