Towards Readability Aspects of Probabilistic Mode Automata

Heinz Schmidt, Maria Spichkova

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.

Download


Paper Citation


in Harvard Style

Schmidt H. and Spichkova M. (2019). Towards Readability Aspects of Probabilistic Mode Automata.In Proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE, ISBN 978-989-758-375-9, pages 555-562. DOI: 10.5220/0007781005550562


in Bibtex Style

@conference{enase19,
author={Heinz Schmidt and Maria Spichkova},
title={Towards Readability Aspects of Probabilistic Mode Automata},
booktitle={Proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE,},
year={2019},
pages={555-562},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0007781005550562},
isbn={978-989-758-375-9},
}


in EndNote Style

TY - CONF

JO - Proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE,
TI - Towards Readability Aspects of Probabilistic Mode Automata
SN - 978-989-758-375-9
AU - Schmidt H.
AU - Spichkova M.
PY - 2019
SP - 555
EP - 562
DO - 10.5220/0007781005550562