Till sidans topp

Sidansvarig: Webbredaktion
Sidan uppdaterades: 2012-09-11 15:12

Tipsa en vän
Utskriftsversion

Adaptive message restruct… - Göteborgs universitet Till startsida
Webbkarta
Till innehåll Läs mer om hur kakor används på gu.se

Adaptive message restructuring using model-driven engineering

Paper i proceeding
Författare Hang Yin
Federico Giaimo
Hugo Sica de Andrade
Christian Berger
Ivica Crnkovic
Publicerad i 13th International Conference on Information Technology: New Generations
Sidor 773-783
ISBN 978-3-319-32467-8
ISSN 2194-5357
Publiceringsår 2016
Publicerad vid Institutionen för data- och informationsteknik (GU)
Sidor 773-783
Språk en
Ämnesord domain-specific language, model-based engineering, automotive software, verification, UPPAAL
Ämneskategorier Inbäddad systemteknik

Sammanfattning

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.

Sidansvarig: Webbredaktion|Sidan uppdaterades: 2012-09-11
Dela:

På Göteborgs universitet använder vi kakor (cookies) för att webbplatsen ska fungera på ett bra sätt för dig. Genom att surfa vidare godkänner du att vi använder kakor.  Vad är kakor?