From e0e0bc7e63de69c9e1405fe4c1cda55d46c72555 Mon Sep 17 00:00:00 2001 From: Felipe Cerqueira <felipec@mpi-sws.org> Date: Fri, 25 Nov 2016 14:41:41 +0100 Subject: [PATCH] Update README.md --- README.md | 17 +++++++++++------ 1 file changed, 11 insertions(+), 6 deletions(-) diff --git a/README.md b/README.md index 8d5003a12..0ebdf4174 100644 --- a/README.md +++ b/README.md @@ -20,19 +20,24 @@ Currently, Prosa contains the following base directories: ### Internal Directories -Within each base directory you can find the different classes of schedulers. +The major concepts in Prosa are specified in the *model/* folder. -- **model/uni:** Uniprocessor scheduling. -- **model/global:** Global scheduling. -- **model/partitioned:** Partitioned scheduling. -- **model/apa:** APA scheduling. +- **model/arrival:** Arrival sequences and arrival bounds +- **model/schedule:** Definitions and properties of schedules + +Inside *model/schedule*, you can find the different classes of schedulers. + +- **model/schedule/uni:** Uniprocessor scheduling. +- **model/schedule/global:** Global scheduling. +- **model/schedule/partitioned:** Partitioned scheduling. +- **model/schedule/apa:** APA scheduling. ### Extending Prosa When adding a new model or analysis to Prosa, please extend the corresponding directory. For example, the schedulability analysis for global scheduling with release jitter is organized as follows. -- **model/global/jitter:** Definitions and lemmas for global scheduling with release jitter. +- **model/schedule/global/jitter:** Definitions and lemmas for global scheduling with release jitter. - **analysis/global/jitter:** Analysis for global scheduling with release jitter. - **implementation/global/jitter:** Implementation of the concrete scheduler with release jitter. -- GitLab