Title: Test- und Verifikationsverfahren für Agentensysteme – Status Quo und weitere Herausforderungen
Other Titles: Test and verification methods for multi-agent systems - Status quo and further challenges
Authors: Wassermann, Erik
Fay, Alexander 
Language: ger
Keywords: Model Based Testing;Model Checking;Multi-agent System;Verification
Issue Date: 27-Nov-2017
Publisher: De Gruyter Oldenbourg
Document Type: Article
Journal / Series / Working Paper (HSU): at - Automatisierungstechnik
Volume: 65
Issue: 11
Page Start: 721
Page End: 736
Publisher Place: Berlin
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.
Organization Units (connected with the publication): Automatisierungstechnik 
ISSN: 2196-677X
0178-2312
Verlags-DOI: 10.1515/auto-2017-0008
Appears in Collections:3 - Publication references (without fulltext)

Show full item record

CORE Recommender

Google ScholarTM

Check

Altmetric

Altmetric


Items in openHSU are protected by copyright, with all rights reserved, unless otherwise indicated.