Advertisement

The ASCENS Case Studies: Results and Common Aspects

  • Nikola Šerbedžija
Part of the Lecture Notes in Computer Science book series (LNCS, volume 8998)

Abstract

This chapter focuses on pragmatic aspects of the ASCENS project illustrating the role and significance of the three major application domains (swarm robotics, cloud computing and e-mobility) that motivate and pragmatically justify the approach to construct autonomous systems. A special insight is given into similarities and differences of the ASCENS case studies and their common abstract characteristics that led to a general-purpose methodology for expressing, evaluating and deploying knowledge-based, self-aware and adaptive behaviors. From this perspective selected ASCENS tools and methods to support the system development lifecycle are further discussed and illustrated on concrete examples. Finally future plans are given pointing out to the use and further evolvement of the ASCENS technology.

Keywords

application of collective adaptive systems service component ensembles software development life cycle real-life systems 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Abeywickrama, D., Bicocchi, N., Zambonelli, F.: Sota: Towards a general model for self-adaptive systems. In: IEEE 21st International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2012), June 2012, pp. 48–53 (2012)CrossRefGoogle Scholar
  2. 2.
    Abeywickrama, D.B., Combaz, J., Horký, V., Keznikl, J., Kofroň, J., Lafuente, A.L., Loreti, M., Margheri, A., Mayer, P., Monreale, V., Montanari, U., Pinciroli, C., Tůma, P., Vandin, A., Vassev, E.: Tools for Ensemble Design and Runtime. In: Wirsing, M., Hölzl, M., Koch, N., Mayer, P. (eds.) Software Engineering for Collective Autonomic Systems. LNCS, vol. 8998, pp. 429–448. Springer, Heidelberg (2015)Google Scholar
  3. 3.
    Basu, A., Bozga, M., Sifakis, J.: Modeling Heterogeneous Real-time Components in BIP. In: SEFM, pp. 3–12. IEEE Computer Society Press, Los Alamitos (2006)Google Scholar
  4. 4.
    Bensalem, S., Bozga, M., Sifakis, J., Nguyen, T.-H.: Compositional verification for component-based systems and application. In: Cha, S(S.), Choi, J.-Y., Kim, M., Lee, I., Viswanathan, M. (eds.) ATVA 2008. LNCS, vol. 5311, pp. 64–79. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  5. 5.
    Bonani, M., Longchamp, V., Magnenat, S., Rétornaz, P., Burnier, D., Roulet, G., Vaussard, F., Bleuler, H., Mondada, F.: The marXbot, a miniature mobile robot opening new perspectives for the collective-robotic research. In: Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), pp. 4187–4193. IEEE Press, Piscataway, NJ (2010)Google Scholar
  6. 6.
    Bruni, R., Corradini, A., Gadducci, F., Hölzl, M., Lafuente, A.L., Vandin, A., Wirsing, M.: Reconciling White-Box and Black-Box Perspectives on Behavioral Self-adaptation. In: Wirsing, M., Hölzl, M., Koch, N., Mayer, P. (eds.) Software Engineering for Collective Autonomic Systems. LNCS, vol. 8998, pp. 163–184. Springer, Heidelberg (2015)Google Scholar
  7. 7.
    Bureš, T., Gerostathopoulos, I., Hnetynka, P., Keznikl, J., Kit, M., Plasil, F.: The Invariant Refinement Method. In: Wirsing, M., Hölzl, M., Koch, N., Mayer, P. (eds.) Software Engineering for Collective Autonomic Systems. LNCS, vol. 8998, pp. 405–428. Springer, Heidelberg (2015)Google Scholar
  8. 8.
    Bures, T., Nicola, R.D., Gerostathopoulos, I., Hoch, N., Kit, M., Koch, N., Monreale, G.V., Montanari, U., Pugliese, R., Serbedzija, N., Wirsing, M., Zambonelli, F.: A life cycle for the development of autonomic systems: The e-mobility showcase. In: 2013 IEEE 7th International Conference on Self-Adaptation and Self-Organizing Systems Workshops, pp. 71–76 (2013)CrossRefGoogle Scholar
  9. 9.
    Combaz, J., Bensalem, S., Tiezzi, F., Margheri, A., Pugliese, R., Kofron, J.: Correctness of Service Components and Service Component Ensembles. In: Wirsing, M., Hölzl, M., Koch, N., Mayer, P. (eds.) Software Engineering for Collective Autonomic Systems. LNCS, vol. 8998, pp. 107–159. Springer, Heidelberg (2015)Google Scholar
  10. 10.
    De Nicola, R., Loreti, M., Pugliese, R., Tiezzi, F.: A Formal Approach to Autonomic Systems Programming: The SCEL Language. TAAS 9(2), 7 (2014)CrossRefGoogle Scholar
  11. 11.
    Hoch, N., Zemmer, K., Werther, B., Siegwarty, R.Y.: Electric Vehicle Travel Optimization - Customer Satisfaction Despite Resource Constraints. In: Proc. of IEEE IVS, IEEE Computer Society Press, Los Alamitos (2012)Google Scholar
  12. 12.
    Hoch, N., Bensler, H.-P., Abeywickrama, D., Bureš, T., Montanari, U.: The E-mobility Case Study. In: Wirsing, M., Hölzl, M., Koch, N., Mayer, P. (eds.) Software Engineering for Collective Autonomic Systems. LNCS, vol. 8998, pp. 513–533. Springer, Heidelberg (2015)Google Scholar
  13. 13.
    Hoch, N., Monreale, G.V., Montanari, U., Sammartino, M., Siwe, A.T.: From Local to Global Knowledge and Back. In: Wirsing, M., Hölzl, M., Koch, N., Mayer, P. (eds.) Software Engineering for Collective Autonomic Systems. LNCS, vol. 8998, pp. 185–220. Springer, Heidelberg (2015)Google Scholar
  14. 14.
    Hölzl, M.: The Poem Language (Version 2). Tech. Rep. 7, ASCENS (July 2013), http://www.poem-lang.de/documentation/TR7.pdf
  15. 15.
    Hölzl, M., Gabor, T.: Reasoning and Learning for Awareness and Adaptation. In: Wirsing, M., Hölzl, M., Koch, N., Mayer, P. (eds.) Software Engineering for Collective Autonomic Systems. LNCS, vol. 8998, pp. 249–290. Springer, Heidelberg (2015)Google Scholar
  16. 16.
    Hölzl, M., Koch, N., Puviani, M., Wirsing, M., Zambonelli, F.: The Ensemble Development Life Cycle and Best Practices for Collective Autonomic Systems. In: Wirsing, M., Hölzl, M., Koch, N., Mayer, P. (eds.) Software Engineering for Collective Autonomic Systems. LNCS, vol. 8998, pp. 325–354. Springer, Heidelberg (2015)Google Scholar
  17. 17.
    Hölzl, M.M., Wirsing, M.: Towards a system model for ensembles. In: Agha, G., Danvy, O., Meseguer, J. (eds.) Formal Modeling: Actors, Open Systems, Biological Systems. LNCS, vol. 7000, pp. 241–261. Springer, Heidelberg (2011)CrossRefGoogle Scholar
  18. 18.
    jRESP Java Run-time Environment for SCEL Programs (2012)Google Scholar
  19. 19.
    Keznikl, J., Bures, T., Plasil, F., Gerostathopoulos, I., Hnetynka, P., Hoch, N.: Design of Ensemble-Based Component Systems by Invariant Refinement. In: Proceedings of the 16th International ACM Sigsoft symposium on Component-based software engineering (CBSE ’13), pp. 91–100. ACM Press, New York (2013)CrossRefGoogle Scholar
  20. 20.
    Keznikl, J., Bures, T., Plasil, F., Kit, M.: Towards Dependable Emergent Ensembles of Components: The DEECo Component Model. In: WICSA/ECSA, pp. 249–252. IEEE Computer Society Press, Los Alamitos (2012)Google Scholar
  21. 21.
    Klarl, A., Hennicker, R.: Design and Implementation of Dynamically Evolving Ensembles with the HELENA Framework. In: Proceedings of the 23rd Australasian Software Engineering Conference, pp. 15–24. IEEE Computer Society Press, Los Alamitos (2014)Google Scholar
  22. 22.
    Mayer, P., Klarl, A., Hennicker, R., Puviani, M., Tiezzi, F., Pugliese, R., Keznikl, J., Bures, T.: The autonomic cloud: A vision of voluntary, peer-2-peer cloud computing. In: 2013 IEEE 7th International Conference on Self-Adaptation and Self-Organizing Systems Workshops (SASOW), Sep. 2013, pp. 89–94 (2013)CrossRefGoogle Scholar
  23. 23.
    Mayer, P., Velasco, J., Klarl, A., Hennicker, R., Puviani, M., Tiezzi, F., Pugliese, R., Keznikl, J., Bureš, T.: The Autonomic Cloud. In: Wirsing, M., Hölzl, M., Koch, N., Mayer, P. (eds.) Software Engineering for Collective Autonomic Systems. LNCS, vol. 8998, pp. 495–512. Springer, Heidelberg (2015)Google Scholar
  24. 24.
    Monreale, G.V., Montanari, U., Hoch, N.: Soft Constraint Logic Programming for Electric Vehicle Travel Optimization. CoRR abs/1212.2056 (2012)Google Scholar
  25. 25.
    De Nicola, R., Latella, D., Lafuente, A.L., Loreti, M., Margheri, A., Massink, M., Morichetta, A., Pugliese, R., Tiezzi, F., Vandin, A.: The SCEL Language: Design, Implementation, Verification. In: Wirsing, M., Hölzl, M., Koch, N., Mayer, P. (eds.) Software Engineering for Collective Autonomic Systems. LNCS, vol. 8998, pp. 3–71. Springer, Heidelberg (2015)Google Scholar
  26. 26.
    Pinciroli, C., Bonani, M., Mondada, F., Dorigo, M.: Adaptation and Awareness in Robot Ensembles: Scenarios and Algorithms. In: Wirsing, M., Hölzl, M., Koch, N., Mayer, P. (eds.) Software Engineering for Collective Autonomic Systems. LNCS, vol. 8998, pp. 471–494. Springer, Heidelberg (2015)Google Scholar
  27. 27.
    Pinciroli, C., Trianni, V., O’Grady, R., Pini, G., Brutschy, A., Brambilla, M., Mathews, N., Ferrante, E., Caro, G.D., Ducatelle, F., Stirling, T.S., Gutiérrez, Á., Gambardella, L.M., Dorigo, M.: ARGoS: A modular, multi-engine simulator for heterogeneous swarm robotics. In: IROS, pp. 5027–5034. IEEE Computer Society Press, Los Alamitos (2011)Google Scholar
  28. 28.
    Serbedzija, N., Mayer, P., Klarl, A.: Constructing Autonomous Systems: Major Development Phases. International Journal on Advances in Intelligent Systems 6(4) (December 2013)Google Scholar
  29. 29.
    Serbedzija, N.: Constructing Autonomous Multi-Robot System. In: The Third International Conference on Intelligent Systems and Applications, Sevilla, Spain (June 2013)Google Scholar
  30. 30.
    Serbedzija, N., Bures, T., Keznikl, J.: Engineering Autonomous Systems. In: PCI’13 Proceedings of the 17th Panhellenic Conference on Informatics, Thesalloniki, Greece, September 2013, pp. 128–135 (2013)CrossRefGoogle Scholar
  31. 31.
    Vassev, E., Hinchey, M.: Autonomy Requirements Engineering. IEEE Computer 46(8), 82–84 (2013)CrossRefGoogle Scholar
  32. 32.
    Vassev, E., Hinchey, M.: Knowledge Representation for Adaptive and Self-aware Systems. In: Wirsing, M., Hölzl, M., Koch, N., Mayer, P. (eds.) Software Engineering for Collective Autonomic Systems. LNCS, vol. 8998, pp. 221–247. Springer, Heidelberg (2015)Google Scholar
  33. 33.
    Wirsing, M., Hölzl, M., Koch, N., Mayer, P. (eds.): Software Engineering for Collective Autonomic Systems. LNCS, vol. 8998. Springer, Heidelberg (2015)Google Scholar
  34. 34.
    Yamins, D.: Towards a theory of local to global in distributed multi-agent systems (i). In: Kudenko, D., Kazakov, D., Alonso, E. (eds.) AAMAS 2004, pp. 183–190. ACM Press, New York (2005)CrossRefGoogle Scholar
  35. 35.
    Zimory Software: Zimory Cloud Suite (August 2014), http://www.zimory.com/

Copyright information

© Springer International Publishing Switzerland 2015

Authors and Affiliations

  • Nikola Šerbedžija
    • 1
  1. 1.Fraunhofer FOKUSBerlinGermany

Personalised recommendations