Towards Readability Aspects of Probabilistic Mode Automata

TL;DR

This paper introduces a Petri Nets-based approach to improve the readability of probabilistic mode automata, aiming to reduce developer cognitive load in designing timing and energy performance budgets for embedded systems.

Contribution

It presents a novel readability-focused design model for probabilistic automata using Petri Nets, enhancing usability for developers managing performance constraints.

Findings

Improved readability reduces cognitive load for developers.

Application demonstrated on a digital camera system.

Potential for more reliable system design processes.

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.