transparent gif


Ej inloggad.

Göteborgs universitets publikationer

Adaptive message restructuring using model-driven engineering

Författare och institution:
Hang Yin (Institutionen för data- och informationsteknik (Chalmers), Chalmers); Federico Giaimo (Institutionen för data- och informationsteknik, Software Engineering (Chalmers), Chalmers); Hugo Sica de Andrade (Institutionen för data- och informationsteknik, Software Engineering (Chalmers), Chalmers); Christian Berger (Institutionen för data- och informationsteknik (GU)); Ivica Crnkovic (Institutionen för data- och informationsteknik (Chalmers), Chalmers)
Publicerad i:
13th International Conference on Information Technology: New Generations, s. 773-783
Konferensbidrag, refereegranskat
Sammanfattning (abstract):
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.
Ämne (baseras på Högskoleverkets indelning av forskningsämnen):
Elektroteknik och elektronik ->
Inbäddad systemteknik
domain-specific language, model-based engineering, automotive software, verification, UPPAAL
Chalmers styrkeområden:
Informations- och kommunikationsteknik
Postens nummer:
Posten skapad:
2016-04-21 06:55
Posten ändrad:
2016-06-07 13:02

Visa i Endnote-format

Göteborgs universitet • Tel. 031-786 0000
© Göteborgs universitet 2007