Skip to main content
Fachgebiete
Automobil + Motoren Bauwesen + Immobilien Business IT + Informatik Elektrotechnik + Elektronik Energie + Nachhaltigkeit Finance + Banking Management + Führung Marketing + Vertrieb Maschinenbau + Werkstoffe Versicherung + Risiko
DE
EN
Bücher
Zeitschriften
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
SLX-Digitalkonferenz: Zukunftswerkstatt 2024

Mehr Umsatz mit Top-Kontakten

Am 7. Mai erfahren Sie, wie Vertriebsteams Leadgenerierung, Leadnurturing und Leadstrategien effizient steuern können.
Erweiterte Suche
Anmelden
nach oben
Erschienen in:
Model-Based Engineering of Runtime Reconfigurable Networked Embedded Systems Kapitel lesen Erstes Kapitel lesen

2016 | OriginalPaper | Buchkapitel

2. Designing Reconfigurable Systems: Methodology and Guidelines

verfasst von : Zoltan Papp, Raul del Toro Matamoros, Coen van Leeuwen, Julio de Oliveira Filho, Andrei Pruteanu, Přemysl Šůcha

Erschienen in: Runtime Reconfiguration in Networked Embedded Systems

Verlag: Springer Singapore

Einloggen

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

search-config
loading …

Abstract

One of the major challenges when designing software for complex systems relates to a lack of a specific and comprehensive set of rules and methodologies. Even more so, adaptation to field conditions is difficult to model and implement on systems composed of a larger number of devices/components, such as distributed systems or systems of systems. On state-of-the-art technology such as wireless sensor/actuator networks and cyber-physical systems, addressing the lack of a compressive set of rules for their design and realization offers considerable benefits. If successfully realized, it can accelerate and simplify their design and implementation. The main contribution of this chapter is a clear set of rules that are specific for the design of adaptive networked embedded systems. To be more specific, we discuss design-time vs. runtime trade-offs, introduce design patterns for reconfigurable real-time monitoring and control, propose techniques for runtime design space exploration (managing runtime reconfiguration) and a systems engineering process for runtime reconfigurable systems. We provide guidelines for all stages of the architectural process and help system and software designers in choosing wisely specific algorithms and techniques. In conclusion, this chapter introduces a set of rules (methodologies) that are specific for designing adaptive networked embedded systems.

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!

Jetzt informieren

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!

Jetzt informieren
Vorheriges Kapitel Model-Based Engineering of Runtime Reconfigurable Networked Embedded Systems
Nächstes Kapitel Runtime Services and Tooling for Reconfiguration
Fußnoten
1
Decomposing the design space exploration and the associated search/optimization into distributed configuration, that is a “divide and conquer” approach. Such sub-problems are significantly less complex than the whole, but interaction constraints should also be concerned and they are a challenge by themselves. See more details in the next section.
 
2
In this chapter, we do not consider learning systems. Learning systems are a subset of adaptive systems, which are capable of improving their knowledge during operation based on experience or user feedback. For example they can introduce new design rules based on frequently occurring cases or modify design rules if their application creates unwanted behavior. In the design scheme introduced the learning would be manifested by changes in the “static knowledge” part, i.e. strictly speaking it could not be considered static anymore. Still, the mechanism, which would introduce changes is outside of the reconfiguration mechanism considered here, i.e. from this viewpoint the knowledge is read-only and conceptually static.
 
3
Due to the non-learning scenario this knowledge remains constant, i.e. the extra knowledge a human designer may acquire via experience is not stored.
 
4
Due to its complexity and far fetched consequences the requirement analysis and specification are thoroughly studied processes by themselves and long list of underlying processes, methodologies and tools (both commercial and research) have been proposed. Even a overview of the approaches would go beyond the scope of this book. Interested readers are referred to [45] for overview of frequently used approaches.
 
5
In this section we focus on design refinement, i.e. when the designer further details the model to capture design and implementation decisions. Automatic code generation related concerns are covered elsewhere (see Sect. 3.​2).
 
6
For more details about model building methodology readers are referred to section refsec:1.6:methodology.
 
7
In practice this is a very natural process: as the design is progresses so does the requirement specification detailing. The model driven development facilitates this aspect, too: when completing a design iterations the results of the validation and verification can be communicated with the end-user, who can react with providing more detailed requirements or adjusting the existing ones. This is why working on the “complete system level” is important: this is the safest way to involving the end-users in the design cycles.
 
8
This sensing infrastructure may (and typically does) consists of dedicated physical sensors (e.g. temperature sensor for ambient temperature, current measuring probe for power consumption estimation, etc.) and “virtual sensors”, which are interfaces to internal system properties, which are available but are not considered on the primary data path (e.g. input signal level of the wireless receiver, CPU utilization, etc.).
 
Literatur
1.
M. Palesi, T. Givargis, in Proceedings of the Tenth International Symposium on Hardware/Software Codesign, 2002. CODES 2002 (IEEE, 2002), pp. 67–72
2.
D.E. Goldberg, (Addison-Wesley Professional, 1989)
3.
Q. Liu, S. Dulman, M. Warnier, Area: an automatic runtime evolutionary adaptation mechanism for creating self-adaptation algorithms in wireless networks (2013). Under submission
4.
J.C. Georgas, A. van der Hoek, R.N. Taylor, Computer 42(10), 52 (2009)CrossRef
5.
J. Teich, M. Köster, in Proceedings of the Conference on Design, Automation and Test in Europe (IEEE Computer Society, 2002), p. 559
6.
S.Y. Kuo, W.K. Fuchs, in Proceedings of the 25th ACM/IEEE Design Automation Conference (IEEE Computer Society Press, 1988), pp. 609–612
7.
8.
S. Kogekar, S. Neema, B. Eames, X. Koutsoukos, A. Ledeczi, M. Maroti, in Proceedings of the 3rd international symposium on Information processing in sensor networks (ACM, 2004), pp. 379–387
9.
B. Eames, in 2006 IEEE Mountain Workshop on Adaptive and Learning Systems (IEEE, 2006), pp. 127–132
10.
T. Syrjänen, A rule-based formal model for software configuration, Technical Report (Helsinki University of Technology, 1999)
11.
P. Simons, I. Niemelä, T. Soininen, Artif. Intell. 138(1), 181 (2002)CrossRef
12.
13.
14.
M. Ben-Ari, First-Order Logic: Logic Programming (Springer, London, 2012), pp. 205–222
15.
R.F. Stärk, A Direct Proof for the Completeness of SLD-resolution (Springer, Berlin, 1990), pp. 382–383MATH
16.
B. Gutmann, I. Thon, A. Kimmig, M. Bruynooghe, L. De Raedt, Theory Pract. Log. Program. 11(4–5), 663 (2011)MathSciNetCrossRef
17.
C. van Leeuwen, Z. Papp, J. Sijs, in 16th International Conference on Information Fusion (2013)
18.
R. Isermann, IEEE Trans. Syst. Man Cybern. Part A Syst. Hum. 28(2), 221 (1998)CrossRef
19.
C. Aubrun, D. Sauter, H. Noura, M. Robert, Int. J. Syst. Sci. 24(10), 1945 (1993)CrossRef
20.
F. Bobillo, U. Straccia, in IEEE International Conference on Fuzzy Systems, 2008. FUZZ-IEEE 2008 (IEEE World Congress on Computational Intelligence) (IEEE, 2008), pp. 923–930
21.
F. Bobillo, M. Delgado, J. Gómez-Romero, Expert Syst. Appl. 39(1), 258 (2012)CrossRef
22.
23.
24.
H.J. Zimmermann, Fuzzy Sets theory and its Applications, 3rd edn. (Kluwer, Boston, 1996)CrossRefMATH
25.
W.A. Kwong, K.M. Passino, E.G. Laukonen, S. Yurkovch, Proc. IEEE 83(3), 466 (1995)CrossRef
26.
P.U. Lima, G.N. Saridis, IEEE Trans. Syst. Man Cybern. Part B: Cybern. 29(2), 151 (1999)
27.
J.M. Bernardo, A.F. Smith, Bayesian Theory, vol. 405 (Wiley, 2009)
28.
C. Jung, K. Kwon, Control Cybern. 27, 545 (1998)
29.
R. Tong, The Construction and Evaluation of Fuzzy Models (North-Holland, Amsterdam, 1979)
30.
31.
32.
33.
34.
D. Grosu, A.T. Chronopoulos, M.Y. Leung, in Parallel and Distributed Processing Symposium., Proceedings International, IPDPS 2002, Abstracts and CD-ROM (IEEE, 2002), pp. 52–61
35.
A. Aminifar, S. Samii, P. Eles, Z. Peng, in 2011 IEEE 17th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), vol. 1 (IEEE, 2011), pp. 133–142
36.
Y. Yi, W. Han, X. Zhao, A.T. Erdogan, T. Arslan, in Design, Automation & Test in Europe Conference & Exhibition, 2009. DATE’09 (IEEE, 2009), pp. 33–38
37.
J. Sijs, Z. Papp, in 2012 15th International Conference on Information Fusion (FUSION) (IEEE, 2012), pp. 1012–1019
38.
T. Streichert, D. Koch, C. Haubelt, J. Teich, EURASIP J. Embed. Syst. 2006(1), 9 (2006)CrossRef
39.
40.
P. Neelakantan, Int. J. Comput. Appl. 39(4), 7 (2012)
41.
42.
43.
44.
T. Saxena, A. Dubey, D. Balasubramanian, G. Karsai, in 2010 Seventh IEEE International Conference and Workshops on Engineering of Autonomic and Autonomous Systems (EASe) (2010), pp. 137–144. doi:10.​1109/​EASe.​2010.​22
45.
B. Berenbach, D.J. Paulish, J. Kazmeier, A. Rudorfer, Software and Systems Requirements Engineering: In Practice Education (McGraw-Hill, 2009)
46.
47.
Metadaten
Titel
Designing Reconfigurable Systems: Methodology and Guidelines
verfasst von
Zoltan Papp
Raul del Toro Matamoros
Coen van Leeuwen
Julio de Oliveira Filho
Andrei Pruteanu
Přemysl Šůcha
Copyright-Jahr
2016
Verlag
Springer Singapore
Buch
Runtime Reconfiguration in Networked Embedded Systems

Print ISBN: 978-981-10-0714-9

Electronic ISBN: 978-981-10-0715-6

Copyright-Jahr: 2016

DOI
https://doi.org/10.1007/978-981-10-0715-6_2

Neuer Inhalt

    Bildnachweise