Adaptive message restructuring using model-driven engineering
Kapitel i bok, 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

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

Advances in Intelligent Systems and Computing

21945357 (ISSN) 2194-5365 (eISSN)

773-783
978-331932466-1 (ISBN)

COPPLAR CampusShuttle cooperative perception & planning platform

VINNOVA (2015-04849), 2016-01-01 -- 2018-12-31.

Styrkeområden

Informations- och kommunikationsteknik

Ämneskategorier

Inbäddad systemteknik

DOI

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

Mer information

Senast uppdaterat

2023-08-08