From ce8b758d898aff8659ce7de49ebed62ee9928dc1 Mon Sep 17 00:00:00 2001
From: Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de>
Date: Mon, 24 Oct 2016 16:05:20 +0200
Subject: [PATCH] Added README

---
 README.md | 33 +++++++++++++++++++++++++++++++++
 1 file changed, 33 insertions(+)
 create mode 100644 README.md

diff --git a/README.md b/README.md
new file mode 100644
index 0000000..11049c4
--- /dev/null
+++ b/README.md
@@ -0,0 +1,33 @@
+Data Repository for SysWCET
+===========================
+
+This repository includes the raw data used in the SysWCET paper and
+contains all files to do system-wide worst-case analysis.
+
+eval/ - raw data and PML files
+=================================
+
+The eval directory contains the datapoints used in the application. We
+stored the datapoints in
+the [dataref](https://www.ctan.org/pkg/dataref) format. Each benchmark
+comes with the used PML files for the system and the global control
+flow information (aka the STG from the paper).
+
+docker/ - docker image to do WCRT analysis
+==========================================
+
+The directory contains a docker file and a prebuilt PATMOS toolchain
+that can be used for WCRT analysis, including our minor adaptions on
+the official toolchain. The docker image includes a clone of dOSEK and
+the platin repository. In order to reproduce the TMR benchmark, just
+log into the docker image via SSH (user/password: dosek/dosek):
+
+    make docker-start
+    make docker-ssh
+
+and start the analysis of the TMR benchmark:
+
+    cd dosek/build; make wcet-bench-timing-tmr CIRCUIT=0 VERBOSE=1
+
+If you have any questions, or need guidance to reproduce our results,
+feel free to contact us.
-- 
GitLab