Adaptive message restructuring using model-driven engineering
Book chapter, 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.

domain-specific language

UPPAAL

verification

automotive software

model-based engineering

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)

Advances in Intelligent Systems and Computing

21945357 (ISSN) 2194-5365 (eISSN)

Vol. 448 773-783
978-331932466-1 (ISBN)

COPPLAR CampusShuttle cooperative perception & planning platform

VINNOVA (2015-04849), 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

7/12/2024