Sicherstellung von Interoperabilität

Test und Verifikation von Agentensystemen mit Interoperabilitätsregeln

  • Alexander Fay
  • Erik Wassermann Helmut-Schmidt-Universität Hamburg

Abstract

Cyber-Physical Systems (CPS) greifen software-gesteuert in physische Prozesse ein und müssen daher hohe Sicherheits- und Zuverlässigkeitsanforderungen erfüllen, was geeignete Test- und Verifikationsverfahren voraussetzt. Dieser Beitrag stellt Interoperabilitätsregeln als Basis für solche Tests vor und zeigt ihre Anwendbarkeit für Agentensysteme, die eine Möglichkeit zur Realisierung der Steuerung von CPS sind. Es wird gezeigt, dass diese Re-geln sowohl für Unit-Tests als auch für Laufzeitüberwachung eingesetzt werden können und sie somit einen Beitrag zur Zuverlässigkeitssteigerung von Agentensystemen und damit von CPS leisten können.

References

  1. acatech - Deutsche Akademie der Technikwissenschaften (2011). Cyber-Physical Systems - Innovationsmotor für Mobilität, Gesundheit, Energie und Produktion, vol. 11. Berlin, Heidelberg: Springer Berlin Heidelberg.
  2. Bondavalli, A., Bouchenak, S., & Kopetz, H. (Eds.). (2016). Cyber-Physical Systems of Systems: Foundations–A Conceptual Model and Some Derivations: the AMADEOS Legacy (Vol. 10099). Springer.
  3. [3Leitao, P., Karnouskos, S., Ribeiro, L., Lee, J., Strasser, T., & Colombo, A. W. (2016). Smart agents in industrial cyber–physical systems. Proceedings of the IEEE, 104(5), 1086-1101.
  4. B. Vogel-Heuser, “Renassaince der Agentensysteme,” atp edition, vol. 9, 2017.
  5. Vogel-Heuser, B., Lee, J., & Leitão, P. (2015). Agents enabling cyber-physical production systems. at-Automatisierungstechnik, 63(10), 777-789.
  6. Wooldridge, M. (2009). An introduction to multiagent systems. John Wiley & Sons.
  7. Winikoff, M. (2017). BDI agent testability revisited. Autonomous Agents and Multi-Agent Systems, 31(5), 1094-1132.
  8. Wassermann, E., & Fay, A. (2017). Test-und Verifikationsverfahren für Agentensysteme–Status Quo und weitere Herausforderungen. at-Automatisierungstechnik, 65(11), 721-736.
  9. Bundesministerium für Wirtschaft und Energie (BMWi) (2016). Fortschreibung der Anwendungsszenarien der Plattform Industrie 4.0. Abgerufen von https://www.plattform-i40.de/I40/Redaktion/DE/Downloads/Publikation/fortschreibung-anwendungsszenarien.pdf;jsessionid=465F6042EF23AB317DE2166FB0B1C9A7?__blob=publicationFile&v=7
  10. Leucker, M., & Schallhart, C. (2009). A brief account of runtime verification. The Journal of Logic and Algebraic Programming, 78(5), 293-303.
  11. Ancona, D., Briola, D., El Fallah Seghrouchni, A., Mascardi, V. & Taillibert P. (2014). Efficient verification of MASs with projections. In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 8758 (pp. 246–270)
  12. Briola, D., Mascardi, V., & Ancona, D. (2015). Distributed runtime verification of JADE multiagent systems. In Intelligent Distributed Computing VIII (pp. 81-91). Springer, Cham.
  13. Wallace, S. A. (2005). S-assess. In: Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems - AAMAS ’05, 2005, (pp. 256–263)
  14. Alotaibi, H., & Zedan, H. (2010, November). Runtime verification of safety properties in multi-agents systems. In Intelligent Systems Design and Applications (ISDA), 2010 10th International Conference on (pp. 356-362). IEEE.
  15. Boella, G., Van Der Torre, L., & Verhagen, H. (2006). Introduction to normative multiagent systems. Computational & Mathematical Organization Theory, 12(2-3), 71-79.
  16. Baier, C., Katoen, J. P., & Larsen, K. G. (2008). Principles of model checking. MIT press.
  17. Dennis, L. A., Fisher, M., Webster, M. P., & Bordini, R. H. (2012). Model checking agent programming languages. Automated software engineering, 19(1), 5-63.
  18. Hamrouni, N., & Abderrahim, Z. (2012, March). Looking for verification and validation of a multi agent system using new formalism: Apn. In Sciences of Electronics, Technologies of Information and Telecommunications (SETIT), 2012 6th International Conference on (pp. 30-35). IEEE.
  19. Wior, I., Linnenberg, T., & Fay, A. (2014). Stability Analysis of an Agent-Based Smart Grid Control Marketplace. IFAC Proceedings Volumes, 47(3), 1452-1458.
  20. Wooldridge, M. (2000). Computationally grounded theories of agency. In MultiAgent Systems, 2000. Proceedings. Fourth International Conference on (pp. 13-20). IEEE.
  21. Sander, U., von Gross, F., & Hugger, K. U. (2008). Handbuch Medienpädagogik. Wiesbaden: VS Verlag für Sozialwissenschaften.
  22. Fipa, A. C. L. (2002). Fipa acl message structure specification. Foundation for Intelligent Physical Agents, http://www. fipa. org/specs/fipa00061/SC00061G. html (30.6. 2004).
  23. FIPA, S. (2002). FIPA SL Content Language Specification. Foundation for Intelligent Physical Agents, http://www. fipa. org/specs/fipa00008/SC00008I. html (30.6. 2004).
  24. Klein, P. (2008). Time consistency of monetary and fiscal policy. In: The New Palgrave Dictionary of Economics, S. N. Durlauf and L. E. Blume, Eds. Basingstoke: Nature Publishing Group, (pp. 278–281).
  25. Jhaveri, R. H., Patel, S. J., & Jinwala, D. C. (2012, January). DoS attacks in mobile ad hoc networks: A survey. In Advanced Computing & Communication Technologies (ACCT), 2012 Second International Conference on (pp. 535-541). IEEE.
  26. Coelho, R., Kulesza, U., von Staa, A., & Lucena, C. (2006, May). Unit testing in multi-agent systems using mock agents and aspects. In Proceedings of the 2006 international workshop on Software engineering for large-scale multi-agent systems (pp. 83-90). ACM.
  27. Coelho, R., Cirilo, E., Kulesza, U., von Staa, A., Rashid, A., & Lucena, C. (2007, October). Jat: A test automation framework for multi-agent systems. In Software Maintenance, 2007. ICSM 2007. IEEE International Conference on (pp. 425-434). IEEE.
  28. Mackinnon, T., Freeman, S., & Craig, P. (2000). Endo-testing: unit testing with mock objects. Extreme programming examined, 287-301.
  29. JADE (2018). Java Agent Development Framework. Abgerufen von http://jade.tilab.com/
  30. The JUnit Team (2018). JUnit 5. Abgerufen von http://junit.org/junit5/
  31. The JUnit Team (o.J.). Sniffer (JADE 4.3.2 Sniffer Reference). Abgerufen von http://jade.cselt.it/doc/tools/sniffer/html/jdoc/jade/tools/sniffer/Sniffer.html.
Veröffentlicht
2018-04-17
Zitieren
FAY, Alexander; WASSERMANN, Erik. Sicherstellung von Interoperabilität. atp magazin, [S.l.], v. 60, n. 03, p. 34-45, apr. 2018. ISSN 2364-3137. Verfügbar unter: <http://ojs.di-verlag.de/index.php/atp_edition/article/view/1913>. Date accessed: 22 sep. 2018. doi: https://doi.org/10.17560/atp.v58i03.1913.

Am häufigsten gelesenen Artikel dieser/dieses Autor/in