Course - The Theory of Concurrency in Real-Time Systems - TK8112
The Theory of Concurrency in Real-Time Systems
About
About the course
Course content
CSP as a process algebra. Process composition, including actions,
alphabets, sequences, alphabetized parallell and interleaving.
Termination, traces, failures and divergence. CSP processes as
transition systems/state machines. Analyzing traces. Algrebraic rules
for CSP. Degrees of abstraction. Modelling discreet time using ticks.
Modelling programs and real-time systems using CSP. Evaluating the
real-time properties of systems using FDR.
Learning outcome
Being able to model programs and real-time systems on with an
appropriate degree of abstraction, and using formal analysis on the
models to show desired real-time properties.
Learning methods and activities
Self-tuition, study groups and Exercises
Compulsory assignments
- Exercises
Recommended previous knowledge
Knowledge corresponding to TTK4145 Real-Time programming is recommended.
Course materials
A.W. Roscoe: The Theory and Practice of Concurrency. Other litterature may be announced at the start of the semester.
Subject areas
- Computer and Information Science
- Engineering Cybernetics