Safety-Critical Data Checking In Object-Oriented Systems
First Claim
1. A method comprising:
- generating, at run-time, a software object that comprises one or more safety-critical data;
generating, at run-time, code for detecting a change in a value of said safety-critical data; and
inserting, at run-time, said code into said software object.
1 Assignment
0 Petitions
Accused Products
Abstract
Methods for detecting the corruption of vital data during the execution of object-oriented programs are disclosed. In accordance with the illustrative embodiments, code is generated at run-time for computing a checksum of vital data in an object, and the code is inserted into the object. When the object is created, this code is executed to compute an initial checksum, and subsequently the code re-computes the checksum during program execution so that a change in the checksum—and inferentially, a change in one or more vital data—can be detected. The checksum is subsequently re-computed during program execution—either periodically, or in response to events such as when the object is modified or when a method of the object is invoked.
-
Citations
20 Claims
-
1. A method comprising:
-
generating, at run-time, a software object that comprises one or more safety-critical data; generating, at run-time, code for detecting a change in a value of said safety-critical data; and inserting, at run-time, said code into said software object. - View Dependent Claims (2, 3, 4)
-
-
5. A method comprising:
-
generating, at run-time, a software object that comprises; (i) one or more safety-critical data, and (ii) a code template for detecting a change in a value of said safety-critical data; and instantiating said code template at run-time. - View Dependent Claims (6, 7, 8)
-
-
9. A method comprising:
-
generating, at run-time, a collection object that; (i) is capable of holding one or more constituent objects, wherein at least one of said constituent objects is capable of storing a respective safety-critical datum, and (ii) comprises a code template for computing a cumulative checksum over all of the safety-critical data of said constituent objects; and instantiating said code template at run-time. - View Dependent Claims (10, 11, 12, 13, 14)
-
-
15. An object class comprising:
-
one or more safety-critical data; and a segment of memory that is populated at run-time with code for detecting a change in a value of said safety-critical data. - View Dependent Claims (16, 17, 18, 19, 20)
-
Specification