diff options
| author | Daniel Friesel <daniel.friesel@uos.de> | 2022-09-23 10:19:50 +0200 |
|---|---|---|
| committer | Daniel Friesel <daniel.friesel@uos.de> | 2022-09-23 10:19:50 +0200 |
| commit | 4023936418a70b760f68b0fd4a9db86caa4108ba (patch) | |
| tree | fbde36efd512681fd689f1d70894d30379a27fdd | |
| parent | 74f372874a1e16d99460056e917898b380154a91 (diff) | |
README: Add a paragraph explaining the name 'dfatool'
| -rw-r--r-- | README.md | 6 |
1 files changed, 6 insertions, 0 deletions
@@ -16,6 +16,12 @@ 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). +The name **dfatool** comes from the fact that benchmark generation for embedded +peripherals relies on a deterministic finite automaton (DFA) that specifies the +peripheral's behaviour (i.e., states and transitions caused by driver functions +or signalled by interrupts). It is meaningless in the context of software +product lines. + ## Energy Model Generation to be documented. |