loading
Papers

Research.Publish.Connect.

Paper

Authors: Heinz Schmidt and Maria Spichkova

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

ISBN: 978-989-758-375-9

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

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.

PDF ImageFull Text

Download
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 3.227.240.31

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

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

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.