Added README

README.md

+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.