Publication:
Test- und Verifikationsverfahren für Agentensysteme – Status Quo und weitere Herausforderungen

cris.customurl14944
cris.virtual.departmentAutomatisierungstechnik
cris.virtual.department#PLACEHOLDER_PARENT_METADATA_VALUE#
cris.virtual.departmentbrowseAutomatisierungstechnik
cris.virtual.departmentbrowseAutomatisierungstechnik
cris.virtual.departmentbrowseAutomatisierungstechnik
cris.virtual.departmentbrowseAutomatisierungstechnik
cris.virtualsource.departmentd27eae86-6d38-489c-b4c3-2eed27fb81cc
cris.virtualsource.department#PLACEHOLDER_PARENT_METADATA_VALUE#
dc.contributor.authorWassermann, Erik
dc.contributor.authorFay, Alexander
dc.date.issued2017-11-27
dc.description.abstractMulti-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.
dc.description.versionNA
dc.identifier.doi10.1515/auto-2017-0008
dc.identifier.issn0178-2312
dc.identifier.issn2196-677X
dc.identifier.scopus2-s2.0-85034014140
dc.identifier.urihttps://openhsu.ub.hsu-hh.de/handle/10.24405/14944
dc.language.isode
dc.publisherDe Gruyter Oldenbourg
dc.relation.journalat - Automatisierungstechnik
dc.relation.orgunitAutomatisierungstechnik
dc.rights.accessRightsmetadata only access
dc.subjectModel Based Testing
dc.subjectModel Checking
dc.subjectMulti-agent System
dc.subjectVerification
dc.titleTest- und Verifikationsverfahren für Agentensysteme – Status Quo und weitere Herausforderungen
dc.title.alternativeTest and verification methods for multi-agent systems - Status quo and further challenges
dc.typeResearch article
dcterms.bibliographicCitation.originalpublisherplaceBerlin
dspace.entity.typePublication
hsu.peerReviewed
hsu.uniBibliography
oaire.citation.endPage736
oaire.citation.issue11
oaire.citation.startPage721
oaire.citation.volume65
Files