Towards Readability Aspects of Probabilistic Mode Automata
Software Engineering
2019-10-14 v1 Formal Languages and Automata Theory
Abstract
This paper presents a new approach and design model targeting hybrid designer- and operator-defined performance budgets for timing and energy consumption. The approach is based on Petri Nets formalism. As the cognitive load is typically high while using formal methods, this increases the chances of mistakes. Our approach is focused on the readability aspects and aims to decrease the cognitive load of developers. We illustrate the proposed approach on example of a sample embedded multi-media system, a modern digital camera.
Cite
@article{arxiv.1910.05003,
title = {Towards Readability Aspects of Probabilistic Mode Automata},
author = {Heinz Schmidt and Maria Spichkova},
journal= {arXiv preprint arXiv:1910.05003},
year = {2019}
}
Comments
Preprint. Accepted to 14th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2019). Final version published by SciTePress