Model-Based Engineering of Runtime Reconfigurable Networked Embedded Systems

  • Coen van Leeuwen
  • Yolanda Rieter-Barrell
  • Zoltan Papp
  • Andrei Pruteanu
  • Teus Vogel
Part of the Internet of Things book series (ITTCC)


Today’s societal challenges, such as sustainable urban living and public safety and security require monitoring and control solutions for large-scale complex and dynamical systems. The distinguishing features of these systems are serious resource constraints, demanding non-functional requirements such as robustness, timeliness, lifetime and the capability of handling system evolution through runtime reconfiguration. In this chapter, a multi-aspect modeling language is introduced that allows system designers to model the architecture of large scale networked systems from different aspects. This modeling language introduces innovative concepts to model runtime reconfiguration at design-time. The proposed architecture for modeling runtime reconfiguration consists of primary tasks in one layer and secondary management tasks in another layer. Special reconfiguration primitives allow the description of four types of reconfiguration: re-parameterisation, re-instantiation, rewiring and relocation. The modeling language is accompanied by a modeling and design methodology (inspired by the MAPE-K technique [1]) and uses feedback loops in the system model to realize runtime reconfiguration. This chapter also proposes Key Performance Indicators (KPIs) that allow designers to quantify the “quality” of the system designs and pick the most promising one. Special attention is paid to the fact that the availability of a runtime reconfiguration (i.e. re-design capability) in a system requires KPIs to be derived and evaluated at runtime as a precondition for guiding the reconfiguration process.


Modeling Language Task Group Hardware Resource Task Graph Execution Trace 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  1. 1.
    J.O. Kephart, D.M. Chess, Computer 36(1), 41 (2003)MathSciNetCrossRefGoogle Scholar
  2. 2.
    ISO/IEC: International standard ISO/IEC 10746-3 (1996)Google Scholar
  3. 3.
    ISO/IEC: International standard ISO/IEC 10746-2 (1996)Google Scholar
  4. 4.
    ISO/IEC: International standard ISO/IEC 10746-4 (1998)Google Scholar
  5. 5.
    ISO/IEC: International standard ISO/IEC 10746-1 (1998)Google Scholar
  6. 6.
    Feiler, Gluch, in Model-Based Engineering with AADL: An Introduction to the SAE Architecture Analysis and Design Language (2012)Google Scholar
  7. 7.
    O.M. Group: OMG Systems modeling language (2012)Google Scholar
  8. 8.
    G. Karsai, F. Massacci, L. Osterweil, I. Schieferdecker, Computer 43(5), 34 (2010)CrossRefGoogle Scholar
  9. 9.
    T. Vogel, in DEMANES (2014)Google Scholar
  10. 10.
    O.M. Group: OMG Unified Modeling Language Superstructure Specification (2007)Google Scholar
  11. 11.
    B. Brown, Model-based systems engineering: revolution or evolution? (2011).
  12. 12.
    B. Morin, O. Barais, J.M. Jzquel, F. Fleurey, A. Solberg, IEEE Comput. 46–53 (2009).
  13. 13.
    G. Karsai, F. Massacci, L. Osterweil, I. Schieferdecker, Computer 43(5), 34 (2010). doi: 10.1109/MC.2010.135
  14. 14.
    T. Streichert, D. Koch, C. Haubelt, J. Teich, EURASIP J. Embed. Syst. 2006(1), 042168 (2006). doi: 10.1155/ES/2006/42168,
  15. 15.
    T. Gjerlufsen, M. Ingstrup, J. Olsen, Computer 42(10), 61 (2009). doi: 10.1109/MC.2009.325 CrossRefGoogle Scholar
  16. 16.
    C. van Leeuwen, J. Sijs, Z. Papp, in Fusion (2013)Google Scholar
  17. 17.
    J. Teich, M. Köster, in Proceedings of the conference on Design, automation and test in Europe (IEEE Computer Society, 2002), pp. 559–566Google Scholar
  18. 18.
    J.C. Georgas, A. van der Hoek, R.N. Taylor, Computer 42(10), 52 (2009)CrossRefGoogle Scholar
  19. 19.
    M. Schmill, T. Oates, M. Anderson, S. Fults, D. Josyula, D. Perlis, S. Wilson, in AAAI-08 Workshop on Metareasoning, (Chicago, IL, 2008)Google Scholar
  20. 20.
    J. Kephart, D. Chess, Computer 36(1), 41 (2003)MathSciNetCrossRefGoogle Scholar
  21. 21.
    T. Streichert, D. Koch, C. Haubelt, J. Teich, EURASIP J. Embed. Syst. 2006(1), 9 (2006)CrossRefGoogle Scholar
  22. 22.
    G. Karsai, J. Sztipanovits, IEEE Intell. Syst. 14(3), 46 (1999)CrossRefGoogle Scholar

Copyright information

© Springer Science+Business Media Singapore 2016

Authors and Affiliations

  • Coen van Leeuwen
    • 1
  • Yolanda Rieter-Barrell
    • 1
  • Zoltan Papp
    • 1
  • Andrei Pruteanu
    • 2
  • Teus Vogel
    • 1
  1. 1.TNOThe HagueThe Netherlands
  2. 2.TU DelftDelftThe Netherlands

Personalised recommendations