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
Sitemap
To content Read more about how we use cookies on gu.se

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

Abstract

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
Share:

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?