Advertisement

Designing Reconfigurable Systems: Methodology and Guidelines

  • Zoltan Papp
  • Raul del Toro Matamoros
  • Coen van Leeuwen
  • Julio de Oliveira Filho
  • Andrei Pruteanu
  • Přemysl Šůcha
Chapter
Part of the Internet of Things book series (ITTCC)

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.

Keywords

Finite State Machine Situational Awareness Design Time Task Mapping Fuzzy Partition 
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.

References

  1. 1.
    M. Palesi, T. Givargis, in Proceedings of the Tenth International Symposium on Hardware/Software Codesign, 2002. CODES 2002 (IEEE, 2002), pp. 67–72Google Scholar
  2. 2.
    D.E. Goldberg, (Addison-Wesley Professional, 1989)Google Scholar
  3. 3.
    Q. Liu, S. Dulman, M. Warnier, Area: an automatic runtime evolutionary adaptation mechanism for creating self-adaptation algorithms in wireless networks (2013). Under submissionGoogle Scholar
  4. 4.
    J.C. Georgas, A. van der Hoek, R.N. Taylor, Computer 42(10), 52 (2009)CrossRefGoogle Scholar
  5. 5.
    J. Teich, M. Köster, in Proceedings of the Conference on Design, Automation and Test in Europe (IEEE Computer Society, 2002), p. 559Google Scholar
  6. 6.
    S.Y. Kuo, W.K. Fuchs, in Proceedings of the 25th ACM/IEEE Design Automation Conference (IEEE Computer Society Press, 1988), pp. 609–612Google Scholar
  7. 7.
    H.W. Kuhn, Nav. Res. Logist. Q. 2(1–2), 83 (1955)CrossRefGoogle Scholar
  8. 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–387Google Scholar
  9. 9.
    B. Eames, in 2006 IEEE Mountain Workshop on Adaptive and Learning Systems (IEEE, 2006), pp. 127–132Google Scholar
  10. 10.
    T. Syrjänen, A rule-based formal model for software configuration, Technical Report (Helsinki University of Technology, 1999)Google Scholar
  11. 11.
    P. Simons, I. Niemelä, T. Soininen, Artif. Intell. 138(1), 181 (2002)CrossRefGoogle Scholar
  12. 12.
  13. 13.
    K.R. Apt, R.N. Bol, J. Log. Program. 19, 9 (1994)MathSciNetCrossRefGoogle Scholar
  14. 14.
    M. Ben-Ari, First-Order Logic: Logic Programming (Springer, London, 2012), pp. 205–222Google Scholar
  15. 15.
    R.F. Stärk, A Direct Proof for the Completeness of SLD-resolution (Springer, Berlin, 1990), pp. 382–383zbMATHGoogle Scholar
  16. 16.
    B. Gutmann, I. Thon, A. Kimmig, M. Bruynooghe, L. De Raedt, Theory Pract. Log. Program. 11(4–5), 663 (2011)MathSciNetCrossRefGoogle Scholar
  17. 17.
    C. van Leeuwen, Z. Papp, J. Sijs, in 16th International Conference on Information Fusion (2013)Google Scholar
  18. 18.
    R. Isermann, IEEE Trans. Syst. Man Cybern. Part A Syst. Hum. 28(2), 221 (1998)CrossRefGoogle Scholar
  19. 19.
    C. Aubrun, D. Sauter, H. Noura, M. Robert, Int. J. Syst. Sci. 24(10), 1945 (1993)CrossRefGoogle Scholar
  20. 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–930Google Scholar
  21. 21.
    F. Bobillo, M. Delgado, J. Gómez-Romero, Expert Syst. Appl. 39(1), 258 (2012)CrossRefGoogle Scholar
  22. 22.
    L.A. Zadeh, Inf. Control 8(3), 338 (1965)MathSciNetCrossRefGoogle Scholar
  23. 23.
    L. Zadeh, IEEE Comput. 21(4), 83 (1988)CrossRefGoogle Scholar
  24. 24.
    H.J. Zimmermann, Fuzzy Sets theory and its Applications, 3rd edn. (Kluwer, Boston, 1996)CrossRefzbMATHGoogle Scholar
  25. 25.
    W.A. Kwong, K.M. Passino, E.G. Laukonen, S. Yurkovch, Proc. IEEE 83(3), 466 (1995)CrossRefGoogle Scholar
  26. 26.
    P.U. Lima, G.N. Saridis, IEEE Trans. Syst. Man Cybern. Part B: Cybern. 29(2), 151 (1999)Google Scholar
  27. 27.
    J.M. Bernardo, A.F. Smith, Bayesian Theory, vol. 405 (Wiley, 2009)Google Scholar
  28. 28.
    C. Jung, K. Kwon, Control Cybern. 27, 545 (1998)Google Scholar
  29. 29.
    R. Tong, The Construction and Evaluation of Fuzzy Models (North-Holland, Amsterdam, 1979)Google Scholar
  30. 30.
    S. Kim, E. Kim, M. Park, Fuzzy Sets Syst. 81(2), 205 (1996)CrossRefGoogle Scholar
  31. 31.
    F. Matia, A. Jimenez, Int. J. Intell. Control Syst. 1(3), 407 (1996)MathSciNetCrossRefGoogle Scholar
  32. 32.
    T. Tobi, T. Hanafusa, Int. J. Approx. Reason. 5(3), 331 (1991)CrossRefGoogle Scholar
  33. 33.
    Y.K. Kwok, I. Ahmad, J. Parallel Distrib. Comput. 59(3), 381 (1999)CrossRefGoogle Scholar
  34. 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–61Google Scholar
  35. 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–142Google Scholar
  36. 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–38Google Scholar
  37. 37.
    J. Sijs, Z. Papp, in 2012 15th International Conference on Information Fusion (FUSION) (IEEE, 2012), pp. 1012–1019Google Scholar
  38. 38.
    T. Streichert, D. Koch, C. Haubelt, J. Teich, EURASIP J. Embed. Syst. 2006(1), 9 (2006)CrossRefGoogle Scholar
  39. 39.
    G. Cybenko, J. Parallel Distrib. Comput. 7(2), 279 (1989)CrossRefGoogle Scholar
  40. 40.
    P. Neelakantan, Int. J. Comput. Appl. 39(4), 7 (2012)Google Scholar
  41. 41.
  42. 42.
    ISO/IEC 107463 (1996)Google Scholar
  43. 43.
    G. Karsai, J. Sztipanovits, Intelligent Systems and their Applications, IEEE 14(3), 46 (1999). doi: 10.1109/5254.769884
  44. 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. 45.
    B. Berenbach, D.J. Paulish, J. Kazmeier, A. Rudorfer, Software and Systems Requirements Engineering: In Practice Education (McGraw-Hill, 2009)Google Scholar
  46. 46.
    J. Whittle, J. Hutchinson, M. Rouncefield, Software, IEEE PP(99), 1 (2013). doi: 10.1109/MS.2013.65
  47. 47.
    A. Bahill, B. Gissing, IEEE Trans. Syst. Man Cybern. Part C: Appl. Rev. 28(4), 516 (1998). doi: 10.1109/5326.725338

Copyright information

© Springer Science+Business Media Singapore 2016

Authors and Affiliations

  • Zoltan Papp
    • 1
  • Raul del Toro Matamoros
    • 2
  • Coen van Leeuwen
    • 1
  • Julio de Oliveira Filho
    • 1
  • Andrei Pruteanu
    • 3
  • Přemysl Šůcha
    • 4
  1. 1.TNOThe HagueThe Netherlands
  2. 2.UPMMadridSpain
  3. 3.TU DelftDelftThe Netherlands
  4. 4.Czech Technical University in PraguePrague 6Czech Republic

Personalised recommendations