Back to results
US 2026/0104907 A1Published application
Method and apparatus for checking an execution of a bytecode instruction
AssigneeSick AG
InventorsPascal LIEGIBEL, Thomas NEUMANN
Life of this patent
Estimating the term…
Abstract
A method for checking an execution of a bytecode instruction of a safety program comprises: executing the bytecode instruction in a virtual machine; and checking by means of the virtual machine whether the bytecode instruction was executed correctly.
Claims16
A method for checking an execution of a bytecode instruction of a safety program, the method comprising:
- executing the bytecode instruction in a virtual machine;
- and
- checking by means of the virtual machine whether the bytecode instruction was executed correctly.
An apparatus for checking an execution of a bytecode instruction of a safety program, the apparatus comprising:
- a device for providing a virtual machine that is configured to execute the bytecode instruction;
- wherein the virtual machine is further configured to check whether the bytecode instruction was executed correctly.
A computer readable storage medium comprising commands that, on
- execution by a computer, cause it to carry out a method for checking an execution of a bytecode instruction of a safety program, the method comprising:
- executing the bytecode instruction in a virtual machine;
- and
- checking by means of the virtual machine whether the bytecode instruction was executed correctly.
1 more element
Dependencies are inferred from the claim text.