Skip to main content

Engineering Adaptivity, Universal Autonomous Systems Ethics and Compliance Issues

ISOLA’2016 - Panel Discussion Position Paper

  • Conference paper
  • First Online:
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques (ISoLA 2016)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 9952))

Included in the following conference series:

Abstract

This paper summarises some of the discussion held during the panel of the ISOLA’2016 conference on whether artificial systems actually adapt to unforeseen situations and whether we master autonomous adaptive systems. We focus here on three questions: (1) What is a collective adaptive system and what are the elements to consider when engineering a collective adaptive system? (2) What type of universal autonomous system can we envision and what for? and finally (3) How are we considering and integrating ethics, trust, privacy and compliance to laws and regulations in adaptive systems?

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Similar content being viewed by others

References

  1. Aucher, G., Boella, G., van der Torre, L.: A dynamic logic for privacy compliance. Artif. Intell. Law 19(2–3), 187–231 (2011)

    Article  Google Scholar 

  2. Cheng, B.H.C., et al.: Software engineering for self-adaptive systems: a research roadmap. In: Cheng, B.H.C., de Lemos, R., Giese, H., Inverardi, P., Magee, J. (eds.) Software Engineering for Self-Adaptive Systems. LNCS, vol. 5525, pp. 1–26. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

  3. Ciancia, V., Latella, D., Loreti, M., Massink, M.: Specifying and verifying properties of space. In: Diaz, J., Lanese, I., Sangiorgi, D. (eds.) TCS 2014. LNCS, vol. 8705, pp. 222–235. Springer, Heidelberg (2014)

    Google Scholar 

  4. IBM Corporation. An architectural blueprint for autonomic computing (2006)

    Google Scholar 

  5. Di Marzo Serugendo, G.: Robustness and dependability of self-organizing systems - a safety engineering perspective. In: Guerraoui, R., Petit, F. (eds.) SSS 2009. LNCS, vol. 5873, pp. 254–268. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

  6. Di Marzo Serugendo, G., Gleizes, M.-P., Karageorgos, A. (eds.): Self-organising Software - From Natural to Artificial Adaptation. Natural Computing Series, 1st edn. Springer, Heidelberg (2011)

    MATH  Google Scholar 

  7. Di Marzo Serugendo, G., Risoldi, M., Solemayni, M.: The social computer. In: Pitt, J. (ed.) The Computer After Me, pp. 159–172. World Scientific, Singapore (2014)

    Chapter  Google Scholar 

  8. Eiben, A.E., Michalewicz, Z., Schoenauer, M., Smith, J.E.: Parameter control in evolutionary algorithms. In: Lobo, F.G., Lima, C.F., Michalewicz, Z. (eds.) Parameter Setting in Evolutionary Algorithms, pp. 19–46. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  9. Fernandez-Marquez, J.L., De Angelis, F., Di Marzo, G., Serugendo, G.S., Castelli, G.: The one-sapere simulator: a prototyping tool for engineering self-organisation in pervasive environments. In: SASO, pp. 201–202. IEEE Computer Society (2014)

    Google Scholar 

  10. Fernandez-Marquez, J.L., Di Marzo Serugendo, G., Montagna, S., Viroli, M., Arcos, J.L.: Description and composition of bio-inspired design patterns: a complete overview. Nat. Comput. 12(1), 43–67 (2013)

    Article  MathSciNet  Google Scholar 

  11. Gelernter, D., Carriero, N.: Coordination languages and their significance. Commun. ACM 35(2), 97–107 (1992)

    Article  Google Scholar 

  12. Lana de carvalho, L., Hassas, S., Lopes, E.J., Cordier, A.: Four kinds of models of emergent representations resulting from the decomposition individual/collective and internal/external. In: Proceedings of 5th European Conference on Complex Systems (ECCS 2008) (2008)

    Google Scholar 

  13. de Lemos, R., et al.: Software engineering for self-adaptive systems: a second research roadmap. In: Lemos, R., Giese, H., Müller, H.A., Shaw, M. (eds.) Software Engineering for Self-Adaptive Systems. LNCS, vol. 7475, pp. 1–32. Springer, Heidelberg (2013)

    Chapter  Google Scholar 

  14. Mazac, S., Armetta, F., Hassas, S.: Bootstrapping sensori-motor patterns for a constructivist learning system in continuous environments. In: 14th International Conference on the Synthesis and Simulation of Living Systems (Alife 2014), New York, NY, USA (2014)

    Google Scholar 

  15. Newman, D., Gall, N.: Gain a foundation in design thinking to apply Gartner’s hybrid thinking research. Gartner Analysis (2010)

    Google Scholar 

  16. Pianini, D., Montagna, S., Viroli, M.: Chemical-oriented simulation of computational systems with ALCHEMIST. J. Simul. 7(3), 202–215 (2013). doi:10.1057/jos.2012.27

    Article  Google Scholar 

  17. Pianini, D., Viroli, M., Beal, J.: Protelis: practical aggregate programming. In: Wainwright, R.L., Corchado, J.M., Bechini, A., Hong, J. (eds.), Proceedings of the 30th Annual ACM Symposium on Applied Computing, Salamanca, Spain, April 13–17, 2015, pp. 1846–1853. ACM (2015)

    Google Scholar 

  18. Puviani, M., Di Marzo Serugendo, G., Frei, R., Cabri, G.: A method fragments approach to methodologies for engineering self-organizing systems. ACM Trans. Auton. Adapt. Syst. 7(3), 33:1–33:25 (2012)

    Article  Google Scholar 

  19. Weyns, D., et al.: On patterns for decentralized control in self-adaptive systems. In: de Lemos, R., Giese, H., Müller, H.A., Shaw, M. (eds.) Software Engineering for Self-Adaptive Systems. LNCS, vol. 7475, pp. 76–107. Springer, Heidelberg (2013)

    Chapter  Google Scholar 

  20. Woolridge, M., Wooldridge, M.J.: Introduction to Multiagent Systems. Wiley, New York (2001)

    Google Scholar 

  21. Zambonelli, F., Omicini, A., Anzengruber, B., Castelli, G., De Angelis, F.L., Di Marzo Serugendo, G., Fernandez-Marquez, J.L., Ferscha, A., Mamei, M., Mariani, S., Molesini, A., Montagna, S., Nieminen, J., Pianini, D., Risoldi, M., Rosi, A., Stevenson, G., Viroli, M., Ye, J.: Developing pervasive multi-agent systems with nature-inspired coordination. Pervasive Mobile Comput. 17, 236–252 (2015). Special Issue “10 years of Pervasive Computing” in Honor of Chatschik Bisdikian

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Giovanna Di Marzo Serugendo .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2016 Springer International Publishing AG

About this paper

Cite this paper

Di Marzo Serugendo, G. (2016). Engineering Adaptivity, Universal Autonomous Systems Ethics and Compliance Issues. In: Margaria, T., Steffen, B. (eds) Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques. ISoLA 2016. Lecture Notes in Computer Science(), vol 9952. Springer, Cham. https://doi.org/10.1007/978-3-319-47166-2_50

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-47166-2_50

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-47165-5

  • Online ISBN: 978-3-319-47166-2

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics