README.md 1.48 KB
Newer Older
Andreas Schmidt's avatar
Andreas Schmidt committed
1
# [EDCC 2021] Live in ConSerts: Model-Driven Runtime Safety Assurance on Microcontrollers, Edge, and Cloud
Andreas Schmidt's avatar
Andreas Schmidt committed
2

Andreas Schmidt's avatar
Andreas Schmidt committed
3
4
5
6
## 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.**

Andreas Schmidt's avatar
console    
Andreas Schmidt committed
7
```console
Andreas Schmidt's avatar
Andreas Schmidt committed
8
9
10
11
12
13
14
15
16
# 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
Andreas Schmidt's avatar
Andreas Schmidt committed
17
./bin/conserts compile --ros -i ./edcc2021.xml -o .
Andreas Schmidt's avatar
Andreas Schmidt committed
18
19
20
21
```

or on Windows:

Andreas Schmidt's avatar
Andreas Schmidt committed
22
```ps
Andreas Schmidt's avatar
Andreas Schmidt committed
23
24
25
26
27
28
.\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
Andreas Schmidt's avatar
Andreas Schmidt committed
29
30
31

* Input Model File: [edcc2021.xml](./edcc2021.xml)

Andreas Schmidt's avatar
Andreas Schmidt committed
32
33
34
35
* Binaries for the Command-Line-Interface: [/bin](./bin)
  * [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)

Andreas Schmidt's avatar
Andreas Schmidt committed
36
* Compile Command: `conserts compile --ros -i .\edcc2021.xml -o .`
Andreas Schmidt's avatar
Andreas Schmidt committed
37
38
39

* Output Rust Crate: [consert_edcc2021](./consert_edcc2021)

Andreas Schmidt's avatar
Andreas Schmidt committed
40
41
42



Andreas Schmidt's avatar
Andreas Schmidt committed
43
44
45
46
47
48
49
50
51
## Evaluations on Embedded Microcontroller

### Inference Time Results

![Inference Time](./time.svg)

### Binary Size Results

![Binary Size](./size.svg)