Test- und Verifikationsverfahren für Agentensysteme – Status Quo und weitere Herausforderungen
Translated title
Test and verification methods for multi-agent systems - Status quo and further challenges
Publication date
2017-11-27
Document type
Research article
Author
Wassermann, Erik
Organisational unit
Scopus ID
Series or journal
at - Automatisierungstechnik
Periodical volume
65
Periodical issue
11
First page
721
Last page
736
Peer-reviewed
✅
Part of the university bibliography
✅
Keyword
Model Based Testing
Model Checking
Multi-agent System
Verification
Abstract
Multi-Agent Systems are a promising technology to cope with the requirements of digitalization, e.g., in CPS, IoT and Industry 4.0. Although intensive research has been carried out on software agents during the last two decades, they have not found broad acceptance in industry yet. One reason are the demands of industrial technical applications regarding safety, real-time response and reliability. Within this contribution, an overview of those test and verification methods is given which have been especially developed for Multi Agent Systems, and their merits and limitations are pointed out. Thus, assistance should be provided regarding the suitability of these test and verification methods for particular needs of developers. This should foster the wider acceptance of Multi Agent Systems in industrial practice and point out directions for further research.
Version
Not applicable (or unknown)
Access right on openHSU
Metadata only access