---
MOSIG M2
Performance and quantitative properties (HECS-3)
2017-2018
November 10, 2017
Lab exercise
---

NB: If the HECS VM is too slow, it may be more efficient to install
pyCPA out of it following the instructions provided on the website

      http://pycpa.readthedocs.io

1) Familiarize yourself with pyCPA by browsing the website and trying
out the examples. In particular identify the code corresponding to the
response time analysis of fixed priority preemptive systems.

2) Build several multiprocessor systems with task chains that have
different properties (e.g. exactly one task of each chain on each
resource etc.). Identify sources of inaccuracy of the analysis based
on your pen-and-paper analysis of these systems.

3) Implement Audsley's Optimal Priority Assignment, which takes a
resource scheduled according to the fixed priority preemptive policy
and assigns priorities optimally with respect to worst-case response
times.