Model-based engineering of runtime reconfigurable networked embedded systems

Abstract

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.