diff --git a/README.md b/README.md new file mode 100644 index 0000000000000000000000000000000000000000..11049c4645eb1f7341632246fb775521aa363ef7 --- /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.