diff options
| author | Daniel Friesel <daniel.friesel@uos.de> | 2022-09-16 09:37:07 +0200 |
|---|---|---|
| committer | Daniel Friesel <daniel.friesel@uos.de> | 2022-09-16 09:37:07 +0200 |
| commit | dd3278333f1f42b3b55b9170693a353a64575a69 (patch) | |
| tree | 06c6729711a7daeae8611adb3b22cd6072a12206 | |
| parent | 850b6daaca7424b326d94355caa9c7ba9239393e (diff) | |
README: add kconfig and kconfig-webconf references
| -rw-r--r-- | README.md | 8 |
1 files changed, 6 insertions, 2 deletions
@@ -2,13 +2,17 @@ **dfatool** is a set of utilities for automated measurement of non-functional properties of software product lines and embedded peripherals, and automatic -generation of NFP models based upon those. +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). Measurements and models for software product lines focus on ROM/RAM usage and -may also include attributes such as throughput, latency, or energy. +may also include attributes such as throughput, latency, or energy. The +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). ## Energy Model Generation |