CPL - Chalmers Publication Library
| Utbildning | Forskning | Styrkeområden | Om Chalmers | In English In English Ej inloggad.

Adaptive message restructuring using model-driven engineering

Hang Yin (Institutionen för data- och informationsteknik (Chalmers)) ; Federico Giaimo (Institutionen för data- och informationsteknik, Software Engineering (Chalmers)) ; Hugo Sica de Andrade (Institutionen för data- och informationsteknik, Software Engineering (Chalmers)) ; Christian Berger ; Ivica Crnkovic (Institutionen för data- och informationsteknik (Chalmers))
13th International Conference on Information Technology: New Generations p. 773-783. (2016)
[Konferensbidrag, refereegranskat]

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.

Nyckelord: domain-specific language, model-based engineering, automotive software, verification, UPPAAL

Den här publikationen ingår i följande styrkeområden:

Läs mer om Chalmers styrkeområden  

Denna post skapades 2016-04-21. Senast ändrad 2016-06-07.
CPL Pubid: 234961