Advanced modelling-Introduction and motivation
Introduction to MOOC modelling software, protocols and other behaviour
()
Modelling a parallel algorithm to calculate the GCD
()
Advanced modelling-Linearisation
Linear process equations and linearisation
()
Manipulating linear processes
()
Parameterised boolean equation systems
()
Book exercises
Advanced modelling-Examples of protocol analysis
The alternating bit protocol revisited
()
The sliding window protocol, or Tanenbaum’s bug
()
Philips remote control standard 6, or the bounded retransmission protocol
()
Modelling guidelines-Guidelines
Guidelines to avoid the state space explosion problem
()
Push versus poll
()
Restrict the use of data
()
Avoid parallelism among components
()
Compositional design; specify external behaviour
()