The store will not work correctly when cookies are disabled.
WIR NUTZEN COOKIES
Wir benötigen für einzelne Datennutzungen Ihre Einwilligung, um die Funktion der Website zu gewährleisten. Mit Klick auf
"Akzeptieren" erteilen Sie die Einwilligung dazu.
Ausführliche Informationen erhalten Sie in unserer Datenschutzerklärung. Sie können jederzeit die Zustimmung zurücknehmen.
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.
Test von Agentensystemen mit Interoperabilitätsregeln
Beschreibung
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.
