Sicherstellung von Interoperabilität
Autor: | Erik Wassermann, Alexander Fay |
---|---|
Rok vydání: | 2018 |
Předmět: | |
Zdroj: | atp magazin. 60:34-45 |
ISSN: | 2364-3137 2190-4111 |
DOI: | 10.17560/atp.v58i03.1913 |
Popis: | 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. |
Databáze: | OpenAIRE |
Externí odkaz: |