Lecture
hours: Fridays 17:45 - 20:15
Room: MB S2.401
Office Hours: Fridays 13:00 – 15:00
Lecture
of Friday January 13:
Promela
and SPIN, by Dr Fatna Belqasmi
This is an approximate schedule for the lectures
Lecture #1 and #2
· Introduction, Rules in protocol Design and Validation
o ISO 7 layers architecture review
o Protocols vs. services vs. interfaces
o 7 layers architecture concepts and protocols basic concepts (Flow control etc...)
· Lecture #2 , more detailed lecture on Transport Protocol
o Transport layer protocols and services
Lecture #3 and #4
o An
introduction to formal methods
o State
Transition Systems
· Protocol Engineering Overview
·
Communication
protocols general properties and Reachability Analysis
Lecture #5 and # 6
o More on State Transition Systems
(Note:
G. J. Holzmann's book is the main reference for the
following lectures)
·
Lecture #7
o Promela and SPIN [Basics during Lecture #5 and some advanced concepts during Lecture #6]
o Quiz #1 [covers Lectures #1, 2, 3, 4, 5 and 6]
o Review for Quiz #1
·
Lecture
#8, #9 & 10
Protocol testing all testing in one document
Formal Method for Generating Protocol Conformance Test Sequences: (description of test architectures)
·
Lecture
#11
·
Lecture #12
o Communication protocol synthesis and refinement
o Wrap Up for Quiz #2
·
Lecture 13:
Project Demos
o Project
demos preparation