To the top

Page Manager: Webmaster
Last update: 9/11/2012 3:13 PM

Tell a friend about this page
Print version

Adaptive message restruct… - University of Gothenburg, Sweden Till startsida
To content Read more about how we use cookies on

Contact form


Note! If you want an answer on a question you must specify your email address

Adaptive message restructuring using model-driven engineering

Conference paper
Authors Hang Yin
Federico Giaimo
Hugo Sica de Andrade
Christian Berger
Ivica Crnkovic
Published in 13th International Conference on Information Technology: New Generations
Pages 773-783
ISBN 978-3-319-32467-8
ISSN 2194-5357
Publication year 2016
Published at Department of Computer Science and Engineering (GU)
Pages 773-783
Language en
Keywords domain-specific language, model-based engineering, automotive software, verification, UPPAAL
Subject categories Embedded Systems


Message exchange between distributed software components in cyber-physical systems is a frequent and resource-demanding activity. Existing data description languages simply map user-specified messages literally to the system implementation creating the data stream that is exchanged between the software components; however, our research shows that the exchanged information is often redundant and would allow for runtime optimization. In this paper, we propose a model-based approach for adaptive message restructuring. Taking both design-time properties and runtime properties into account, we propose to dynamically restructure user-specified messages to achieve better resource usage (e.g., reduced latency). Our model-based workflow also includes formal verification of adaptive message restructuring in the presence of complex data flow. This is demonstrated by an automotive example.

Page Manager: Webmaster|Last update: 9/11/2012

The University of Gothenburg uses cookies to provide you with the best possible user experience. By continuing on this website, you approve of our use of cookies.  What are cookies?