Advertisement

Agent-Oriented Engineering for Cyber-Physical Systems

  • Carlos CaresEmail author
  • Samuel Sepúlveda
  • Claudio Navarro
Conference paper
Part of the Advances in Intelligent Systems and Computing book series (AISC, volume 918)

Abstract

Cyber-physical systems are the most relevant mainstream in the contemporary automation of industry, smart cities, and ubiquitous systems. Although most of its components and their behaviors are software-based elements, there are no suitable approaches for specifying, designing, testing and delivering cyber physical systems under a software engineering point of view, i.e. having a systematic, disciplined and measurable approach to its development. This paper describes the suitability of agent oriented software engineering for confronting the development of cyber-physical systems. The contribution is focused on two labels, first, we show a set of requirements for an cyber-physical engineering methodology, that were gathered by means of a literature review, and, second, we present a match between agent-oriented principles and the collected requirements. To illustrate some examples we use Tropos, one of the most disseminated agent-oriented methodologies.

Keywords

Cyber-physical systems Agent orientation Software engineering Tropos AOSE 

References

  1. 1.
    Abdullah, J., Dai, G., Guan, N., Mohaqeqi, M., Yi, W.: Towards a tool: times-pro for modeling, analysis, simulation and implementation of cyber-physical systems. In: Models, Algorithms, Logics and Tools, pp. 623–639. Springer (2017)Google Scholar
  2. 2.
    Akbari, O.Z.: A survey of agent-oriented software engineering paradigm: towards its industrial acceptance. Int. J. Comput. Eng. Res. 1(2), 14–28 (2010)Google Scholar
  3. 3.
    Aziz, M.W., Rashid, M.: Domain specific modeling language for cyber physical systems. In: 2016 International Conference on Information Systems Engineering (ICISE), pp. 29–33. IEEE (2016)Google Scholar
  4. 4.
    Bondavalli, A., Bouchenak, S., Kopetz, H.: Cyber-physical System of Systems. AMADEOS Project (2016)Google Scholar
  5. 5.
    Bourque, P., Fairley, R.E., et al.: Guide to the Software Engineering Body of Knowledge (SWEBOK (R)): Version 3.0. IEEE Computer Society Press (2014)Google Scholar
  6. 6.
    Bresciani, P., Perini, A., Giorgini, P., Giunchiglia, F., Mylopoulos, J.: Tropos: an agent-oriented software development methodology. Auton. Agent. Multi-Agent Syst. 8(3), 203–236 (2004)CrossRefGoogle Scholar
  7. 7.
    Calvaresi, D., Marinoni, M., Sturm, A., Schumacher, M., Buttazzo, G.: The challenge of real-time multi-agent systems for enabling IOT and CPS. In: Proceedings of the International Conference on Web Intelligence, pp. 356–364. ACM (2017)Google Scholar
  8. 8.
    Cardenas, A.A., Amin, S., Sastry, S.: Secure control: towards survivable cyber-physical systems. In: 28th International Conference on Distributed Computing Systems Workshops, ICDCS 2008, pp. 495–500. IEEE (2008)Google Scholar
  9. 9.
    Cassandras, C.G.: Smart cities as cyber-physical social systems. Engineering 2(2), 156–158 (2016)CrossRefGoogle Scholar
  10. 10.
    Di Martino, B., Li, K.C., Yang, L.T., Esposito, A.: Internet of Everything. Springer, Singapore (2018)CrossRefGoogle Scholar
  11. 11.
    Eric, S.Y.: Social modeling and \(i^*\). In: Conceptual Modeling: Foundations and Applications, pp. 99–121. Springer (2009)Google Scholar
  12. 12.
    Giaimo, F., Yin, H., Berger, C., Crnkovic, I.: Continuous experimentation on cyber-physical systems: challenges and opportunities. In: Proceedings of the Scientific Workshop Proceedings of XP 2016, p. 14. ACM (2016)Google Scholar
  13. 13.
    Gomez-Sanz, J.J., Fuentes-Fernández, R.: Understanding agent-oriented software engineering methodologies. Knowl. Eng. Rev. 30(4), 375–393 (2015)CrossRefGoogle Scholar
  14. 14.
    Gurgen, L., Gunalp, O., Benazzouz, Y., Gallissot, M.: Self-aware cyber-physical systems and applications in smart buildings and cities. In: Design, Automation & Test in Europe Conference & Exhibition (DATE), pp. 1149–1154 (2013)Google Scholar
  15. 15.
    Horváth, L., Rudas, I.J.: Engineering modeling for cyber physical systems. In: 2018 IEEE 16th World Symposium on Applied Machine Intelligence and Informatics (SAMI), pp. 000207–000212. IEEE (2018)Google Scholar
  16. 16.
    Jennings, N.R.: On agent-based software engineering. Artif. Intell. 117(2), 277–296 (2000)CrossRefGoogle Scholar
  17. 17.
    Jin, J., Gubbi, J., Marusic, S., Palaniswami, M.: An information framework for creating a smart city through internet of things. IEEE Internet Things J. 1(2), 112–121 (2014)CrossRefGoogle Scholar
  18. 18.
    Kathiravelu, P., Veiga, L.: SD-CPS: taming the challenges of cyber-physical systems with a software-defined approach. arXiv preprint arXiv:1701.01676 (2017)
  19. 19.
    Khalid, A., Kirisci, P., Ghrairi, Z., Thoben, K.D., Pannek, J.: A methodology to develop collaborative robotic cyber physical systems for production environments. Logistics Res. 9(1), 23 (2016)CrossRefGoogle Scholar
  20. 20.
    Laplante, P.A., et al.: Real-Time Systems Design and Analysis. Wiley, New York (2004)CrossRefGoogle Scholar
  21. 21.
    Lee, E.A.: Cyber-physical systems - are computing foundations adequate? In: Position Paper for NSF Workshop On Cyber-Physical Systems: Research Motivation, Techniques and Roadmap, vol. 2, pp. 1–9. Citeseer (2006)Google Scholar
  22. 22.
    Lee, J., Bagheri, B., Kao, H.A.: A cyber-physical systems architecture for industry 4.0-based manufacturing systems. Manufact. Lett. 3, 18–23 (2015)CrossRefGoogle Scholar
  23. 23.
    Leitão, P., Colombo, A.W., Karnouskos, S.: Industrial automation based on cyber-physical systems technologies: prototype implementations and challenges. Comput. Ind. 81, 11–25 (2016)CrossRefGoogle Scholar
  24. 24.
    Lin, J., Sedigh, S., Miller, A.: Modeling cyber-physical systems with semantic agents. In: 2010 IEEE 34th Annual Computer Software and Applications Conference Workshops (COMPSACW), pp. 13–18. IEEE (2010)Google Scholar
  25. 25.
    Mangharam, R., Abbas, H., Behl, M., Jang, K., Pajic, M., Jiang, Z.: Three challenges in cyber-physical systems. In: 2016 8th International Conference on Communication Systems and Networks (COMSNETS), pp. 1–8. IEEE (2016)Google Scholar
  26. 26.
    Marwedel, P., Engel, M.: Cyber-physical systems: opportunities, challenges and (some) solutions. In: Management of Cyber Physical Objects in the Future Internet of Things, pp. 1–30. Springer (2016)Google Scholar
  27. 27.
    McKee, D.W., Clement, S., Almutairi, J., Xu, J.: Massive-scale automation in cyber-physical systems: vision & challenges. In: 2017 IEEE 13th International Symposium on Autonomous Decentralized System (ISADS), pp. 5–11. IEEE (2017)Google Scholar
  28. 28.
    Mezhuyev, V., Samet, R.: Metamodeling methodology for modeling cyber-physical systems. Cybern. Syst. 47(4), 277–289 (2016)CrossRefGoogle Scholar
  29. 29.
    Miller, T., Lu, B., Sterling, L., Beydoun, G., Taveter, K.: Requirements elicitation and specification using the agent paradigm: the case study of an aircraft turnaround simulator. IEEE Trans. Softw. Eng. 40(10), 1007–1024 (2014)CrossRefGoogle Scholar
  30. 30.
    Monostori, L.: Cyber-physical production systems: roots, expectations and R&D challenges. Procedia Cirp 17, 9–13 (2014)CrossRefGoogle Scholar
  31. 31.
    Mosterman, P.J., Zander, J.: Industry 4.0 as a cyber-physical system study. Softw. Syst. Model. 15(1), 17–29 (2016)CrossRefGoogle Scholar
  32. 32.
    Mueller, E., Chen, X.L., Riedel, R.: Challenges and requirements for the application of industry 4.0: a special insight with the usage of cyber-physical system. Chin. J. Mech. Eng. 30(5), 1050 (2017)CrossRefGoogle Scholar
  33. 33.
    Norris, D.: The Internet of Things: Do-It-Yourself at Home Projects for Arduino. Raspberry Pi, and BeagleBone Black. McGrow-Hill, San Francisco (2015)Google Scholar
  34. 34.
    Cyber-physical Systems (CPS). Technical report. NSF14-542, National Science Foundation (2014). https://www.nsf.gov/pubs/2014/nsf14542/nsf14542.pdf
  35. 35.
    Petersen, K., Feldt, R., Mujtaba, S., Mattsson, M.: Systematic mapping studies in software engineering. EASE 8, 68–77 (2008)Google Scholar
  36. 36.
    Ribeiro, L., Björkman, M.: Transitioning from standard automation solutions to cyber-physical production systems: an assessment of critical conceptual and technical challenges. IEEE Syst. J., 1–13 (2017)Google Scholar
  37. 37.
    Ruchkin, I., Samuel, S., Schmerl, B., Rico, A., Garlan, D.: Challenges in physical modeling for adaptation of cyber-physical systems. In: 2016 IEEE 3rd World Forum on Internet of Things (WF-IoT), pp. 210–215. IEEE (2016)Google Scholar
  38. 38.
    Sanislav, T., Miclea, L.: Cyber-physical systems-concept, challenges and research areas. J. Control Eng. Appl. Inf. 14(2), 28–33 (2012)Google Scholar
  39. 39.
    Seshia, S.A., Hu, S., Li, W., Zhu, Q.: Design automation of cyber-physical systems: challenges, advances, and opportunities. IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst. 36(9), 1421–1434 (2017)CrossRefGoogle Scholar
  40. 40.
    Sutardja, S.: Slowing of Moore’s law signals the beginning of smart everything. In: 2014 44th European Solid State Device Research Conference (ESSDERC), pp. 7–8. IEEE (2014)Google Scholar
  41. 41.
    Thomopoulos, S.: Cyber-physical systems challenges with information fusion. In: Signal Processing, Sensor/Information Fusion, and Target Recognition XXVI, vol. 10200, pp. 8–11. International Society for Optics and Photonics (2017)Google Scholar
  42. 42.
    Wolf, W.H.: Cyber-physical systems. IEEE Comput. 42(3), 88–89 (2009)CrossRefGoogle Scholar
  43. 43.
    Wooldridge, M.J., Jennings, N.R.: Software engineering with agents: pitfalls and pratfalls. IEEE Internet Comput. 3, 20–27 (1999)CrossRefGoogle Scholar
  44. 44.
    Wooldridgey, M., Ciancarini, P.: Agent-oriented software engineering: the state of the art. In: International Workshop on Agent-Oriented Software Engineering, pp. 1–28. Springer (2000)Google Scholar
  45. 45.
    Zeng, J., Yang, L.T., Lin, M., Ning, H., Ma, J.: A survey: cyber-physical-social systems and their system-level design methodology. Future Gener. Comput. Syst. (2016)Google Scholar

Copyright information

© Springer Nature Switzerland AG 2019

Authors and Affiliations

  • Carlos Cares
    • 1
    Email author
  • Samuel Sepúlveda
    • 1
  • Claudio Navarro
    • 2
  1. 1.University of La FronteraTemucoChile
  2. 2.TIDE S.A.TemucoChile

Personalised recommendations