From 45597a4a2c42f22c125089bedf2ddc25d32d5047 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Henrik=20Tj=C3=A4der?= <henrik@tjaders.com> Date: Fri, 1 Dec 2017 14:34:52 +0100 Subject: [PATCH] Added a brief application description --- README.md | 13 +++++++++++++ 1 file changed, 13 insertions(+) diff --git a/README.md b/README.md index 0d8ebd1..41feaaf 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 --------------- -- GitLab