Abstract: A system for verifying applications for Real-Time Execution (RTE) devices is provided. The system includes a memory, at least one processor coupled to the memory, and a simulation component executable by the at least one processor. The simulation component may be configured to receive device simulation information for an RTE device, the device simulation information including device configuration information, application information, and targeted performance information, configure a virtual device simulator to simulate performance of the RTE device, run the virtual device simulator to process one or more simulated events, and output simulation results.

Abstract: Verification systems are provided for verification of proper execution of control commands on remote devices. In some embodiments, the verification systems can include video cameras, audio sensors, thermal detectors, etc., to provide secondary sources of information by which to verify primary reports on a state of a remote device. Each device can be associated with a device profile defining operating characteristics of the remote device in various states. In some examples, device properties can also be defined based on a current state of the device and a received control command. In some examples, the device profiles are models of expected device properties that can used to verify proper execution of control commands. In some embodiments, detection of state mismatch can trigger a variety of actions by the system to mediate the mismatched state according to a variety of control rules.

Abstract: A system for verifying applications for Real-Time Execution (RTE) devices is provided. The system includes a memory, at least one processor coupled to the memory, and a simulation component executable by the at least one processor. The simulation component may be configured to receive device simulation information for an RTE device, the device simulation information including device configuration information, application information, and targeted performance information, configure a virtual device simulator to simulate performance of the RTE device, run the virtual device simulator to process one or more simulated events, and output simulation results.

Abstract: Verification systems are provided for verification of proper execution of control commands on remote devices. In some embodiments, the verification systems can include video cameras, audio sensors, thermal detectors, etc., to provide secondary sources of information by which to verify primary reports on a state of a remote device. Each device can be associated with a device profile defining operating characteristics of the remote device in various states. In some examples, device properties can also be defined based on a current state of the device and a received control command. In some examples, the device profiles are models of expected device properties that can used to verify proper execution of control commands. In some embodiments, detection of state mismatch can trigger a variety of actions by the system to mediate the mismatched state according to a variety of control rules.