This is ongoing work with @sophie and @borni on adding CPA to Prosa.
We are currently working on adding basic definitions and the specification of the analysis.
For now we have (partially) ported definitions related to priorities and arrival curves since we depend on these definitions.
This is still a draft.
We aim to merge this early next week which will involve porting:
- definitions about task_arrivals
- arrival curve model
- FPP scheduling policy
- definitions related to busy intervals