loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Heinz Schmidt and Maria Spichkova

Affiliation: School of Science, RMIT University, Melbourne and Australia

Keyword(s): Software Engineering, Formal Methods, Petri Nets.

Related Ontology Subjects/Areas/Topics: Cross-Feeding between Data and Software Engineering ; Formal Methods ; Model-Driven Engineering ; Simulation and Modeling ; Software Engineering ; Software Engineering Methods and Techniques

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.

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 34.239.148.106

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
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 - ENASE; ISBN 978-989-758-375-9; ISSN 2184-4895, SciTePress, pages 555-562. DOI: 10.5220/0007781005550562

@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 - ENASE},
year={2019},
pages={555-562},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0007781005550562},
isbn={978-989-758-375-9},
issn={2184-4895},
}

TY - CONF

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