Method and system for using inverted data to detect corrupt data

• US 5,699,509 A
• Filed: 06/07/1995
• Issued: 12/16/1997
• Est. Priority Date: 06/07/1995
• Status: Expired due to Term

• Current Assignee: Hospira Incorporated (Pfizer Inc.)
• Original Assignee: Abbott Laboratories Incorporated
• Inventors: Pope, David E., Chang, Tao, Gary, Scott P.
• Primary Examiner(s): Nguyen, Hoa T.
• Application Number:
  US08/484,704
• Time in Patent Office: 923 Days
• Field of Search: 395/185.07, 395/183.01, 395/183.02, 395/183.06, 395/183.07, 395/183.13, 395/183.14, 395/183.18, 395/184.01, 395/185.01, 395/186 , 395/187.01, 364/550, 364/265, 364/265.3
• US Class Current: 714/54
• CPC Class Codes: G06F 11/08 Error detection or correction by redundancy in data representation, e.g. by using checking codes
• CPC Class Codes: G06F 11/167 Error detection by comparing the memory output
• CPC Class Codes: G06F 2201/865 Monitoring of software
• CPC Class Codes: G11C 29/74 using duplex memories, i.e. using dual copies

Abstract

Errors in data stored in the memory of a computer are detected prior to use of the data. A protected data type is declared in writing a program in which errors in critical data must be detected before the data are used. The invention is preferably implemented on a personal computer system (10) or in a microcontroller for a device. When a protected data item is initialized, both the protected data item and its corresponding bit-inverted form are stored in memory. A constructor function is used to determine the bit-inverted form. Any time that the protected data item is subsequently accessed for use by an application program, either the stored protected data item or its corresponding bit-inverted form are inverted for comparison to the other stored data item. Any difference detected in this comparison indicates that a change has occurred in either or both of the protected data item and its corresponding bit-inverted form within memory. Depending upon the application program in which the invention is used, an appropriate action is taken upon detecting such an error, such as providing an indication of the error and terminating further execution of the program.

Claims

1. A method of detecting, using a computer, an error in a data item selected from a plurality of data items, comprising the steps of:

(a) providing a software library of functions that includes a constructor function, a conversion function, an error handling function, and a program including machine instructions defining program steps to be implemented by said computer;

(b) employing the constructor function to associate a protected data type with the data item, store the data item into a memory, determine an inverted data item corresponding to the data item that is stored in the memory, and store said inverted data item into the memory in association with the data item to which it corresponds;

(c) recalling the data item and the inverted data item from the memory when the data item is required in the program that is executed by the computer;

(d) comparing the recalled data item with the recalled inverted data item before either is used by the program so that a correspondence can be determined between said data items; and

(e) indicating that an error in one of the data item and the inverted data item that are recalled from the memory has occurred with the error handling function if the data item no longer corresponds to the inverted data item, else if the data item and the inverted data item correspond to each other, employing the conversion function to associate the data item with a non-protected data type, so that the data-item can be used by the program.

2. The method of claim 1, wherein the step of employing the constructor function further comprises the step of identifying the data item as a protected data item that will be checked for error, from among a plurality of possible data items used by the program.

3. The method of claim 1, wherein the step of employing the constructor function further comprises the step of inverting the data item to produce a test inverted data item for comparison to the inverted data item.

4. The method of claim 1, wherein the step of employing the constructor function further comprises the step of inverting the inverted data item to produce a test data item for comparison to the data item.

5. The method of claim 4, wherein the step of inverting the inverted data item comprises the step of using the conversion function to implement the inversion.

6. The method of claim 5, wherein the conversion function is shared between a plurality of tasks in which a plurality of other inverted data items are used.

7. The method of claim 1, further comprising the step of declaring a protected data type for the data item that indicates the data item has an inverted data item associated with it.

8. The method of claim 7, wherein steps (a) and (d) are implemented automatically for each selected data item that is declared to be of the type having the inverted data item associated with it.

9. A method of detecting, using a computer, an error in a data item, selected from a plurality of data items, comprising the steps of:

(a) declaring the data item as a protected data type;

(b) providing a software library of functions that includes a constructor function, a conversion function, an error handling function, the constructor function, and a program including machine instructions defining program steps to be implemented by said computer being employed to associate the data item with a protected data type;

(c) employing the constructor function to create an inverted data item corresponding to the data item, when the data item is associated with the protected data type by the constructor function;

(d) storing the data item and the inverted data item into the memory, said data item being stored into the memory in association with the inverted data item to which it corresponds;

(e) prior to using the data item with the program recalling the data item and the inverted data item from the memory and determining whether the recalled data item and the recalled inverted data item correspond to each other; and

(f) providing an indication of an error in one of the data item and the inverted data item with the error handling function if the data item and the inverted data item are recalled from memory and do not correspond to each other, else if said data item and the inverted data item correspond to each other, employing the conversion function to associate the data item with a non-protected data type, so that the data item can be used by the program.

10. The method of claim 9, wherein the step of determining whether the data item and the inverted data item that are recalled from memory correspond to each other comprises the steps of inverting the data item to produce a test inverted data item;

and, comparing the test inverted data item with the inverted data item previously stored in the memory.

11. The method of claim 9, wherein the step of determining whether the data item and the inverted data item that are recalled from memory correspond to each other comprises the steps of inverting the inverted data item to produce a test data item;

and, comparing the test data item with the data item previously stored in the memory.

12. The method of claim 11, wherein the step of inverting the inverted data item comprises the step of using the conversion function to effect the inversion.

13. The method of claim 12, wherein the conversion function is shared between a plurality of tasks in which a plurality of other inverted data items are included.

14. The method of claim 9, wherein steps (c) through (e) are implemented automatically for each selected data item declared as the protected type.

15. A system for detecting an error in a data item selected from a plurality of data items, before the data item is employed in a computation, comprising:

(a) a computer for implementing the computation that employs the data item, said computer including;

(i) a central processing unit that carries out program steps to detect an error in the data item;

(ii) a memory for storing the data item, a software library having a plurality of functions, and machine instructions that control the central processing unit and define the program steps implemented by the central processing unit; and

(iii) a data bus that couples the memory to the central processing unit; and

(b) said machine instructions causing the central processing unit to;

(i) access the software library;

(ii) determine an inverted data item corresponding to the data item when the data item is stored in the memory, said inverted data item also being stored in the memory in association with the data item;

(iii) recall the data item and the inverted data item from the memory when the data item is next required by the central processing unit;

(iv) compare the data item with the inverted data item before either is used by the central processing unit; and

(v) indicate that an error in one of the data item and the inverted data item has occurred if the data item that is compared to the inverted data item no longer corresponds to the inverted data item, else if said data item corresponds to said inverted data item, enabling the central processing unit to use said data item.

16. The system of claim 15, wherein the program steps implemented by the central processing unit employ a constructor function from the software library to determine the inverted data item when the data item is initialized and stored in the memory.

17. The system of claim 15, wherein the program steps implemented by the central processing unit invert the inverted data item to produce a test data item for comparison to the data item.

18. The system of claim 17, wherein the program steps implemented by the central processing unit to invert the inverted data item use a conversion function from the software library.

19. The system of claim 18, wherein the conversion function is shared between a plurality of tasks implemented by the central processing unit, said plurality of tasks including a plurality of other inverted data items.

20. The system of claim 15, wherein a specific data type declared for the data item in defining the program steps, indicates that the data item has an inverted data item associated with it.