Skip to main content
Erschienen in:
Buchtitelbild

2016 | OriginalPaper | Buchkapitel

1. Model-Based Engineering of Runtime Reconfigurable Networked Embedded Systems

verfasst von : Coen van Leeuwen, Yolanda Rieter-Barrell, Zoltan Papp, Andrei Pruteanu, Teus Vogel

Erschienen in: Runtime Reconfiguration in Networked Embedded Systems

Verlag: Springer Singapore

Aktivieren Sie unsere intelligente Suche um passende Fachinhalte oder Patente zu finden.

search-config
loading …

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.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Fußnoten
1
For large and complex systems, the model can now also be used as a specification for the independent realization of system components in parallel by different teams and possibly at different locations. After the realization of the components is complete, the model can be used to verify their construction and properties and subsequently, the components can be integrated into the final system.
 
2
Obviously, the everything, which is beyond is not the whole world. Only those elements (incl. humans, eventually) are to be considered, which are connected to/influenced by the system to be designed. Usually these relevant elements are identified in the use-case models. Use case models are not considered here, they are assumed to be well-defined and stable.
 
3
Deriving KPIs for runtime reconfigurable systems requires evaluation tools allowing model changes during the evaluation cycle. This is merely a tool implementation issue and will be detailed in Chap. 3. Note that the KPI calculation processes should be part of the implemented system itself to guide the runtime reconfiguration.
 
4
The underlying models for determining the instantaneous supply are typically very complex and the construction of these models go beyond the competence of the system designer (e.g. deriving channel models for wireless communication). Consequently the system designers work should be supported with parameterizable model libraries. In this case the designer just has to identify the matching model classes and has to set the parameters according to the scenario to be investigated. Many times determining the instantaneous supply is a computationally demanding process. The system designer has to find the balance between the fidelity and complexity.
 
5
In reality computing nodes run schedulers to control access to the processor and other physical resources. The scheduler is typically a part of the runtime environment (operating system) managing the nodes operation. The proper execution of the system model requires the model of the scheduler also because the scheduler has the primary control on the local (in-node) resource access. The model of the scheduler is used by the EXECUTION block of the Fig. 1.10.
 
6
In order to preserve memory in practical implementations only the state changes are stored (which is a much smaller set than the full system state as typically only a few components change states in response to an event). Conceptually it is the same as listing the complete system state. For the sake of simplicity we assume direct access to the full system state.
 
7
The system design evaluation process should be supported by tools providing unified (standard) execution trace representation and post-processing libraries for filtering and calculating frequently used KPIs (e.g. energy consumption of components, utilization of resources, availability of functionalities, etc.). See Chap. 3 for details.
 
8
For details about runtime reconfiguration solutions see Sects. 2.​3 and 2.​4.
 
Literatur
2.
Zurück zum Zitat ISO/IEC: International standard ISO/IEC 10746-3 (1996) ISO/IEC: International standard ISO/IEC 10746-3 (1996)
3.
Zurück zum Zitat ISO/IEC: International standard ISO/IEC 10746-2 (1996) ISO/IEC: International standard ISO/IEC 10746-2 (1996)
4.
Zurück zum Zitat ISO/IEC: International standard ISO/IEC 10746-4 (1998) ISO/IEC: International standard ISO/IEC 10746-4 (1998)
5.
Zurück zum Zitat ISO/IEC: International standard ISO/IEC 10746-1 (1998) ISO/IEC: International standard ISO/IEC 10746-1 (1998)
6.
Zurück zum Zitat Feiler, Gluch, in Model-Based Engineering with AADL: An Introduction to the SAE Architecture Analysis and Design Language (2012) Feiler, Gluch, in Model-Based Engineering with AADL: An Introduction to the SAE Architecture Analysis and Design Language (2012)
7.
Zurück zum Zitat O.M. Group: OMG Systems modeling language (2012) O.M. Group: OMG Systems modeling language (2012)
8.
Zurück zum Zitat G. Karsai, F. Massacci, L. Osterweil, I. Schieferdecker, Computer 43(5), 34 (2010)CrossRef G. Karsai, F. Massacci, L. Osterweil, I. Schieferdecker, Computer 43(5), 34 (2010)CrossRef
10.
Zurück zum Zitat O.M. Group: OMG Unified Modeling Language Superstructure Specification (2007) O.M. Group: OMG Unified Modeling Language Superstructure Specification (2007)
16.
Zurück zum Zitat C. van Leeuwen, J. Sijs, Z. Papp, in Fusion (2013) C. van Leeuwen, J. Sijs, Z. Papp, in Fusion (2013)
17.
Zurück zum Zitat J. Teich, M. Köster, in Proceedings of the conference on Design, automation and test in Europe (IEEE Computer Society, 2002), pp. 559–566 J. Teich, M. Köster, in Proceedings of the conference on Design, automation and test in Europe (IEEE Computer Society, 2002), pp. 559–566
18.
Zurück zum Zitat J.C. Georgas, A. van der Hoek, R.N. Taylor, Computer 42(10), 52 (2009)CrossRef J.C. Georgas, A. van der Hoek, R.N. Taylor, Computer 42(10), 52 (2009)CrossRef
19.
Zurück zum Zitat M. Schmill, T. Oates, M. Anderson, S. Fults, D. Josyula, D. Perlis, S. Wilson, in AAAI-08 Workshop on Metareasoning, (Chicago, IL, 2008) M. Schmill, T. Oates, M. Anderson, S. Fults, D. Josyula, D. Perlis, S. Wilson, in AAAI-08 Workshop on Metareasoning, (Chicago, IL, 2008)
21.
Zurück zum Zitat T. Streichert, D. Koch, C. Haubelt, J. Teich, EURASIP J. Embed. Syst. 2006(1), 9 (2006)CrossRef T. Streichert, D. Koch, C. Haubelt, J. Teich, EURASIP J. Embed. Syst. 2006(1), 9 (2006)CrossRef
22.
Metadaten
Titel
Model-Based Engineering of Runtime Reconfigurable Networked Embedded Systems
verfasst von
Coen van Leeuwen
Yolanda Rieter-Barrell
Zoltan Papp
Andrei Pruteanu
Teus Vogel
Copyright-Jahr
2016
Verlag
Springer Singapore
DOI
https://doi.org/10.1007/978-981-10-0715-6_1

Neuer Inhalt