Sicherstellung von Interoperabilität

Cyber-Physical Systems (CPS) greifen softwaregesteuert 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 Regeln 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.