Methods and Articles of Manufacture for Hosting a Safety Critical Application on an Uncontrolled Data Processing Device
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.
20 Citations
163 Claims
-
1-142. -142. (canceled)
-
143. 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 retrieve a saved first current environment of the UDPD associated with a time when the SCA is permitted to operate freely on the UDPD; identifying, with the UDPD, a second current environment of the UDPD associated with a time after the SCA is permitted to operate freely on the UDPD; comparing, with the UDPD, the second current environment with the saved first current environment; and determining, with the UDPD, whether an environment change has occurred between the saved first current environment and the second current environment. - View Dependent Claims (144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163)
-
Specification