Advertisement

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)

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.

Keywords

Domain-specific language Model-based engineering Automotive software Verification UPPAAL 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Google protocol buffers. https://github.com/google/protobuf (accessed April 28, 2015)
  2. 2.
    LCM: Lightweight Communications and Marshalling. http://lcm-proj.github.io (accessed April 28, 2015)
  3. 3.
    ROS - Powering the world’s robots. http://ros.org (accessed April 28, 2015)
  4. 4.
    Xtend - Modernized Java. http://eclipse.org/xtend/ (accessed October 23, 2015)
  5. 5.
    Xtext - Language Development Made Easy! http://eclipse.org/xtext (accessed October 23, 2015)
  6. 6.
    EB Assist ADTF (2001). https://www.elektrobit.com/products/eb-assist/adtf/ (accessed October 21, 2015)
  7. 7.
    AUTOSAR. http://autosar.org (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). http://arxiv.org/abs/1406.7768
  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). http://link.springer.com/10.1007/s10664-008-9102-8
  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