Adaptive message restructuring using model-driven engineering
Paper in proceedings, 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.

UPPAAL

model-based engineering

verification

automotive software

domain-specific language

Author

Hang Yin

Chalmers, Computer Science and Engineering (Chalmers), Software Engineering (Chalmers)

Federico Giaimo

Chalmers, Computer Science and Engineering (Chalmers), Software Engineering (Chalmers)

Hugo Sica de Andrade

Chalmers, Computer Science and Engineering (Chalmers), Software Engineering (Chalmers)

Christian Berger

University of Gothenburg

Ivica Crnkovic

Chalmers, Computer Science and Engineering (Chalmers), Software Engineering (Chalmers)

13th International Conference on Information Technology: New Generations

2194-5357 (ISSN)

773-783

COPPLAR CampusShuttle cooperative perception & planning platform

VINNOVA, 2016-01-01 -- 2018-12-31.

Areas of Advance

Information and Communication Technology

Subject Categories

Embedded Systems

DOI

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

More information

Latest update

5/13/2019