Commit ee38df9b authored by Andreas Schmidt's avatar Andreas Schmidt
Browse files

improve documentation

parent a2e4dde1
# [EDCC 2021] Live in ConSerts: Model-Driven Runtime Safety Assurance on Microcontrollers, Edge, and Cloud
## Code Synthesis
## Let's Reproduce It
**With the following instructions, we hope you are able to reproduce our artifacts on your system in a couple of minutes. No 3rd-party software installation / development environment setup required.**
```sh
# if you do not want to use git, you can also download the repo as an archive
git clone https://gitlab.cc-asp.fraunhofer.de/schmidt2/live-in-conserts.git
cd live-in-conserts # now refered to as <project root>
# unzip / untar binaries in /bin
```
Back in the `<project root>`, do the following on Linux:
```sh
./bin/conserts compile --ros -i .\edcc2021.xml -o .
```
or on Windows:
```sh
.\bin\conserts.exe compile --ros -i .\edcc2021.xml -o .
```
If everything went fine, `git diff` should not return anything, as the code in [`/consert_edcc2021`](./consert_edcc2021) is exactly the same.
## Overview of the Code Synthesis Components
* Input Model File: [edcc2021.xml](./edcc2021.xml)
......@@ -8,12 +33,13 @@
* [Windows](./bin/conserts-v0.1.2-x86_64-pc-windows-gnu.zip)
* [Linux](./bin/conserts-v0.1.2-x86_64-unknown-linux-musl.tar.gz)
* Compile Command:
* `conserts compile --ros -i .\edcc2021.xml -o .`
* On Windows, use `conserts.exe`
* Compile Command: `conserts compile --ros -i .\edcc2021.xml -o .`
* Output Rust Crate: [consert_edcc2021](./consert_edcc2021)
## Evaluations on Embedded Microcontroller
### Inference Time Results
......
Supports Markdown
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