IP Library Granted Patent US 9,552,052
Granted Patent B2
US 9,552,052 · App. 14/748,942 · Granted Jan 24, 2017

Methods and articles of manufacture for hosting a safety critical application on an uncontrolled data processing device

Inventors: Daniel M. Bernstein (El Granada, CA); Saeed Nekoomaram (San Mateo, CA); Mark K. Sloan (Redwood City, CA)
Assignee: Abbott Diabetes Care Inc.
G06F1/3287G06F1/3203G06F8/61G06F9/5011G06F9/546G06F11/004G06F11/079G06F11/0721G06F11/0736G06F11/0751G06F11/3668G06F11/3688G06F11/3692G06F19/3412G06F2201/865
View Patent ↗
Loading inventors, assignments & file history…
Monitor This Case
Get email alerts when status or documents change.
Order Certified Copies
Most orders are placed with the USPTO same day — all within 24 business hours.
Order via The Patent Place →
Pre-filled with this patent's details
Quick Facts
Patent No.
US 9,552,052
App. No.
14/748,942
Granted
Jan 24, 2017
Kind
B2
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.

Claims (37)

1. A method for determine whether a safety critical application (SCA) is functioning properly on an uncontrolled data processing device (UDPD) by determining whether the SCA can interoperate on the UDPD with a related program, the method comprising:

executing instructions with the UDPD, to identify a related program that interoperates with the SCA using the UDPD;

launching the related program and the SCA and allowing both the SCA and the related program to simultaneously interoperate; and

determine, using the UDPD, whether the related program interoperates properly with the SCA.

2. The method of claim 1 , wherein the determining comprises verifying that the SCA and the related program communicate using a predetermined communication protocol.

3. The method of claim 1 , wherein the determining comprises verifying that data being communicated between the SCA and the related program is communicated accurately.

4. The method of claim 1 , wherein the determining comprises verifying that data being communicated between the SCA and the related program is done in a predetermined time period.

5. The method of claim 1 , wherein the determining comprises verifying that the SCA can properly access a feature or capability associated with the related program.

6. The method of claim 1 , wherein the related program comprises a data management program, data logging program, graphical display of data program.

7. The method of claim 1 , wherein the SCA is an analyte monitoring application and the related program is a program for a remote sensor device, insulin delivery device, or analyte meter.

8. The method of claim 1 , further comprising determining that the SCA is installed properly on the UDPD and permitting the SCA to operate freely on the UDPD, a determination is made that the related program interoperates properly with the SCA the UDPD.

9. The method of claim 1 , further comprising determining that the SCA is not installed properly on the UDPD, thereby preventing the SCA to operate freely on the UDPD, if a determination is made that the related program does not interoperate properly with the SCA.

10. The method of claim 1 , further comprising determining that the SCA is not installed properly on the UDPD, thereby disabling safety critical features of the SCA from being executed on the UDPD and enabling non-safety critical features of the SCA to be executed on the UDPD, if a determination is made that the related program does not interoperate properly with the SCA.

11. The method of claim 10 , wherein the safety critical features of the SCA comprises determining glucose concentration from a bodily fluid executed on the UDPD.

12. The method of claim 10 , wherein the safety critical features of the SCA comprises receiving data from a sensor subcutaneously implanted in a subject.

13. The method of claim 1 , wherein the UDPD is a mobile phone or personal digital assistant (PDA).

14. The method of claim 1 , further comprising executing instructions with the UDPD to determine whether the SCA is functioning properly on the UDPD, the method comprising:

executing instructions with the UDPD to establish a communication link between the UDPD and an external device;

retrieving a reference communication data stored in memory of the UDPD;

comparing, with the UDPD, a result of the communication link with the retrieved reference communication data; and

determining, with the UDPD, whether the communication link is properly established.

15. The method of claim 14 , wherein the result of the communication link is the amount of time required to establish the communication link between the UDPD and the external device, and the reference communication data is a predetermined amount of time to establish the communication link between the UDPD and the external device.

16. The method of claim 14 , wherein the result of the communication link is the amount of time required to retrieve a data request from the external device by the UDPD, and the reference communication data is a predetermined amount of time to retrieve a data request from the external device by the UDPD.

17. The method of claim 1 , further comprising executing instructions with the UDPD to determine whether the SCA is functioning properly on the UDPD, the method comprising:

executing instructions, with the UDPD, to initiate a computation using reference computational inputs 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.

18. The method of claim 17 , wherein the computation comprises computing a glucose measurement.

19. The method of claim 1 , further comprising executing instructions with the UDPD to determine whether the SCA is functioning properly on the UDPD, comprising:

determining, with the UDPD, a time to perform a computation using the reference computational inputs by the SCA to derive a test result time; and

comparing the derived test result time with a retrieved corresponding reference timing data stored in memory of the UDPD; and

determining whether the SCA is functioning properly on the UDPD based on the comparing.

20. The method of claim 1 , further comprising executing instructions with the UDPD to determine whether the SCA is functioning properly on the UDPD by determining whether the codetext of the SCA is uncorrupted, comprising:

calculating, with the UDPD, a host integrity check for a codetext of the SCA;

comparing, with the UDPD, the calculated host integrity check and a retrieved corresponding reference host integrity check calculation stored in memory of the UDPD; and

determining, with the UDPD, whether a change exists in the calculated host integrity check and the reference host integrity check.

21. The method of claim 20 , wherein the reference host integrity check is a host integrity check calculated previously during manufacturing and testing and stored in memory for later retrieval.

Assignments (1)
ASSIGNMENT OF ASSIGNOR'S INTEREST Recorded Aug 19, 2015
From: BERNSTEIN, DANIEL M.; NEKOOMARAM, SAEED; SLOAN, MARK K.
To: ABBOTT DIABETES CARE INC.
Reel/Frame 036365/0651 →
Continuity (6)
Continuation 14739976 · Jun 15, 2015
Continuation 14088844 · Nov 25, 2013
Continuation 12876840 · Sep 7, 2010
Provisional Application 61359265 · Jun 28, 2010
Provisional Application 61240578 · Sep 8, 2009
Related Publication 20150293805A1 · Oct 15, 2015