Das Problem
Physische Befehle brauchen Grenzen, die vor der Ausführung prüfbar sind.
PBRL
Physical Boundary & Robotic Linkage .pbrl
Systeme & HardwareIn EntwicklungProprietär
Was sie tut
Beschreibt Einschränkungen physischer Befehle und prüft Befehle gegen deklarierte Grenzen.
Umfang & Grenzen
Unabhängige Steuerungen müssen die reale Hardware-Sicherheit durchsetzen. Heute erfolgen die Prüfungen offline.