Towards Readability Aspects of Probabilistic Mode Automata
This addresses the problem of usability for developers in embedded system design, but it appears incremental as it builds on existing formal methods with a focus on readability.
The paper tackles the high cognitive load and error-prone nature of using formal methods like Petri Nets for hybrid performance budgets in embedded systems, proposing a new approach focused on readability to reduce developer cognitive load, illustrated with a digital camera example.
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.