Methods and articles of manufacture for hosting a safety critical application on an uncontrolled data processing device
First Claim
Patent Images
1. A method for executing instructions with an uncontrolled data processing device (UDPD) to determine whether a safety critical application (SCA) is functioning properly on the UDPD, the method comprising:
- executing instructions, with the UDPD, to initiate a computation using reference computational inputs stored in memory of the UDPD by the SCA to derive a computation test result;
comparing the derived computation test result with a retrieved corresponding reference computational data stored in memory of the UDPD; and
determining whether the SCA is functioning properly on the UDPD based on the comparing.
1 Assignment
0 Petitions
Accused Products
Abstract
Methods and articles of manufacture for hosting a safety critical application on an uncontrolled data processing device are provided. Various combinations of installation, functional, host integrity, coexistence, interoperability, power management, and environment checks are performed at various times to determine if the safety critical application operates properly on the device. The operation of the SCA on the UDPD may be controlled accordingly.
-
Citations
18 Claims
-
1. A method for executing instructions with an uncontrolled data processing device (UDPD) to determine whether a safety critical application (SCA) is functioning properly on the UDPD, the method comprising:
-
executing instructions, with the UDPD, to initiate a computation using reference computational inputs stored in memory of the UDPD by the SCA to derive a computation test result; comparing the derived computation test result with a retrieved corresponding reference computational data stored in memory of the UDPD; and determining whether the SCA is functioning properly on the UDPD based on the comparing. - View Dependent Claims (2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18)
-
Specification