diff --git a/README.md b/README.md index 0d8ebd1967f2095ba84502cdad396488827b15be..41feaaf5624a126fbe7bc4d990801dfd7cfee824 100644 --- a/README.md +++ b/README.md @@ -1,6 +1,18 @@ RTFM-4-SURE SRP analysis example ================================ +# Description of the application + +The example system consists of three tasks with two shared resources. + +These are defined in `src/main.c` + +This file also contains a few assignments which aims to introduce both the tool and SRP-analysis. + +The build system handles the switching between "analysis" and "execution" stages via pre-processor macros. + +# Installation + Install the following docker container ``` @@ -57,6 +69,7 @@ make bench After a successful run the output folder contains a database and scripts for parsing this database. + SRP lab in d7020e ---------------