Commit 45597a4a authored by Henrik Tjäder's avatar Henrik Tjäder

Added a brief application description

parent 815dee97
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
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment