Adaptive message restructuring using model-driven engineering
Paper i proceeding, 2016

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.

automotive software

domain-specific language

verification

UPPAAL

model-based engineering

Författare

Hang Yin

Chalmers, Data- och informationsteknik, Software Engineering

Federico Giaimo

Chalmers, Data- och informationsteknik, Software Engineering

Hugo Sica de Andrade

Chalmers, Data- och informationsteknik, Software Engineering

Christian Berger

Göteborgs universitet

Ivica Crnkovic

Chalmers, Data- och informationsteknik, Software Engineering

13th International Conference on Information Technology: New Generations

2194-5357 (ISSN)

773-783

Styrkeområden

Informations- och kommunikationsteknik

Ämneskategorier

Inbäddad systemteknik

DOI

10.1007/978-3-319-32467-8_67

ISBN

978-3-319-32467-8

Mer information

Skapat

2017-10-07