Adaptive Message Restructuring Using Model-Driven Engineering

  • Hang YinEmail author
  • Federico Giaimo
  • Hugo Andrade
  • Christian Berger
  • Ivica Crnkovic
Conference paper
Part of the Advances in Intelligent Systems and Computing book series (AISC, volume 448)


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 Model-based engineering Automotive software Verification UPPAAL 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Google protocol buffers. (accessed April 28, 2015)
  2. 2.
    LCM: Lightweight Communications and Marshalling. (accessed April 28, 2015)
  3. 3.
    ROS - Powering the world’s robots. (accessed April 28, 2015)
  4. 4.
    Xtend - Modernized Java. (accessed October 23, 2015)
  5. 5.
    Xtext - Language Development Made Easy! (accessed October 23, 2015)
  6. 6.
    EB Assist ADTF (2001). (accessed October 21, 2015)
  7. 7.
    AUTOSAR. (accessed October 21, 2015)
  8. 8.
    Andrade, H., Giaimo, F., Berger, C., Crnkovic, I.: Systematic evaluation of three data marshalling approaches for distributed software systems. In: Proceedings of the 15th Workshop on Domain-Specific Modeling (DSM), Pittsburgh, Pennsylvania, USA, p. 5, October 2015Google Scholar
  9. 9.
    Berger, C.: From a Competition for Self-Driving Miniature Cars to a Standardized Experimental Platform: Concept, Models, Architecture, and Evaluation. Journal of Software Engineering for Robotics 5(1), 63–79 (2014).
  10. 10.
    Bézivin, J.: On the Unification Power of Models. Software & Systems Modeling 4(2), 171–188 (2005)CrossRefGoogle Scholar
  11. 11.
    Giaimo, F., Andrade, H., Berger, C., Crnkovic, I.: Improving bandwidth efficiency with self-adaptation for data marshalling on the example of a self-driving miniature car. In: Proceedings of the 1st International Workshop on Software Architectures for Next-generation Cyber-physical Systems (SANCS), Dubrovnik, Croatia, p. 6, September 2015Google Scholar
  12. 12.
    ISO: Road vehicles - Controller area network (CAN). ISO 11898-1:2003, International Organization for Standardization, Geneva, Switzerland (2003)Google Scholar
  13. 13.
    Larsen, K.G., Pettersson, P., Yi, W.: UPPAAL in a Nutshell. International Journal on Software Tools for Technology Transfer 1(1–2), 134–152 (1997)CrossRefzbMATHGoogle Scholar
  14. 14.
    Runeson, P., Höst, M.: Guidelines for Conducting and Reporting Case Study Research in Software Engineering. Empirical Software Engineering 14(2), 131–164 (2008).
  15. 15.
    Sein, M.K., Henfridsson, O., Purao, S., Rossi, M., Lindgren, R.: Action Design Research. MIS Quaterly 35(1), 37–56 (2011)Google Scholar

Copyright information

© Springer International Publishing Switzerland 2016

Authors and Affiliations

  • Hang Yin
    • 1
    Email author
  • Federico Giaimo
    • 1
  • Hugo Andrade
    • 1
  • Christian Berger
    • 2
  • Ivica Crnkovic
    • 1
  1. 1.Chalmers University of TechnologyGothenburgSweden
  2. 2.University of GothenburgGothenburgSweden

Personalised recommendations