Objective:
The overall objective of this coursework is to develop an appreciation of the analytical techniques in CSP. In particular you will learn the concepts of analysing system designs with model validation tools like FDR (Failure-Divergence refinement).
FDR
Install FDR https://www.cs.ox.ac.uk/projects/concurrency-tools/ (note: works only on Linux/Unix Platforms). The FDR installation comes with CSP scripts with extensions .csp and .fdr2. The .csp files are for use with PROBE and .fdr2 for use with FDR.
Technical paper:
The main task is to analyse a particular application area in which CSP has been applied and produce a technical paper.
Choose an application area from the following list.
- Security protocols
- Neural Networks
- Operating systems
- Networked robotics
- UML and CSP
Look up research publications corresponding to the chosen area (at least 3 papers should be referenced) and develop your own paper based on it.
As part of evaluation of the researched topic, you should construct a simplified model of the system and apply validation techniques using FDR tools showcasing how different properties like safety, liveness can be analysed.