diff options
| author | Daniel Friesel <daniel.friesel@uos.de> | 2022-09-17 13:53:41 +0200 |
|---|---|---|
| committer | Daniel Friesel <daniel.friesel@uos.de> | 2022-09-17 13:53:41 +0200 |
| commit | 6445f148320fc855d4381ceff466c8550742ac09 (patch) | |
| tree | ea2a5a3c690de44bb26e5afc9ed28625fd59b65b | |
| parent | dd3278333f1f42b3b55b9170693a353a64575a69 (diff) | |
README: Add paper and video references
| -rw-r--r-- | README.md | 7 |
1 files changed, 5 insertions, 2 deletions
@@ -5,7 +5,8 @@ properties of software product lines and embedded peripherals, and automatic generation of performance models based upon those. Measurements and models for peripherals generally focus on energy and timing -behaviour expressed as a Priced Timed Automaton (PTA). +behaviour expressed as a [Priced Timed Automaton (PTA)](https://ess.cs.uos.de/static/papers/Friesel_2018_sies.pdf) +with [Regression Model Trees (RMT)](https://ess.cs.uos.de/static/papers/Friesel-2022-CPSIoTBench.pdf). Measurements and models for software product lines focus on ROM/RAM usage and may also include attributes such as throughput, latency, or energy. The @@ -13,6 +14,7 @@ variability model of the software product line must be expressed in the [Kconfig language](https://www.kernel.org/doc/Documentation/kbuild/kconfig-language.txt). Generated models can be used with [kconfig-webconf](https://ess.cs.uos.de/git/software/kconfig-webconf). +This allows for [Retrofitting Performance Models onto Kconfig-based Software Product Lines](https://ess.cs.uos.de/static/papers/Friesel-2022-SPLC.pdf). ## Energy Model Generation @@ -50,7 +52,8 @@ Depending on the value of the **DFATOOL_KCONF_WITH_CHOICE_NODES** environment va ### Generating Models -to be documented. +To be documented. +In the meantime, we have a short [video example](https://ess.cs.uos.de/static/videos/splc22-kconfig-webconf.mp4). ## Dependencies |