Method and apparatus for detecting control system data processing errors
5 Assignments
0 Petitions
Accused Products
Abstract
A digital-based control data processing system detects during system operation the occurrence of data processing errors. Data processing accuracy is verified by receiving output information developed from system input information in accordance with a first operational function, computing a derived version of the system input information in accordance with a second operational function, and comparing the derived version of the system input information to the actual system input information to determine whether they differ by a predetermined operational tolerance. This method for verifying processing accuracy is especially advantageous for detecting latent software errors which are unique to a particular computer program. The processing system includes display apparatus which develops from the output information a set of display symbols that convey the information on a monitor screen to the pilot. Assigned to each display symbol is an identifying tag which identifies in real time a display symbol that conveys erroneous information.
-
Citations
28 Claims
- 1. An information processing system, comprising:
-
2. first digital processing means for receiving input information and for processing the input information in accordance with a first operational function to develop output information, the first operational function being implemented in a first of information processing algorithms;
-
second digital means receiving the output information from thefirst digital processing means for computing a derived version of the input information in accordance with a second operational function, the second operational function being implemented in a second set of information processing algorithms which differs from the first set of information processing algorithms; and comparison means for comparing the actual input information with the drived version of the input information to determine whether they differ within a preassigned operational tolerance.
-
-
7. An information processing system, comprising:
-
first digital processing means for receiving input information and for processing the input information in accordance with a first operational function to develop output information, the first digital processing means including identifying means for assigning an identifying tag to at least one of the output information; second digital processing means for computing in accordance with a second operational function a derived version of the input information, the second digital processing means operating asynchronously to the first digital processing means and communicating with the first digital processing means to receive information corresponding to the output information and identified by the identifying tag; and comparison means for comparing the actual input information with the derived version of the input information to determine whether they differ by more than a preassigned operational tolerance. - View Dependent Claims (9)
-
-
8. An information processing system, comprising:
-
first digital processing means for receiving input information and for processing the input information in accordance with a first operational function to develop output information, the first digital processing means including digital computing means for developing the output information and representing it in a first format and including conditioning means for receiving the output information represented in the first format and for representing it in a second format; second digital processing means for receiving from the first digital processing means the output information represented in the second format and for using the output information represented in the second format as a parameter in computing a derived version of the input information in accordance with a second operational function; and comparison means for comparing the actual input information with the derived version of the input information to determine whether they differ within a preassigned operational tolerance.
-
-
10. An information processing system, comprising:
-
first digital processing means for receiving input information and for processing the input information in accordance with a first operational function to develop output information, the input information defining elements of an input vector and the output information defining elements of a solution vector so that the first operational function includes a matrix of the transformation of the input vector into the solution vector; second digital processing means receiving information from the first digital processing means for computing a derived version of the input information in accordance with a second operational function, the second operational function including the inverse matrix of the matrix of the transformation; and comparison means for comparing the actual input information with the derived version of the input information to determine whether they differ within a preassigned operational tolerance. - View Dependent Claims (12)
-
-
11. An aircraft control system, comprising:
-
plural control mechanisms by which a pilot can control the flight of an aircraft; sensing means for sensing and for providing input informatin relating to the operational status of the control mechanisms; first digital processing means for processing the input information in accordance with a first operational function to develop output information, the first operational function being implemented in a first set of information processing algorithms; second digital processing means receiving the output information from the first digital processing means for computing a derived version of the input information in accordance with a second operational function, the second operatonal function being implemented in a second set of information processing algorithms which differs from the first set of information processing algorithms; comparison means for comparing the actual input information with the derived version of the input information to determine whether they differ within a preassigned operational tolerance; first means for communicating to the pilot information corresponding to the output information to assist the pilot to manipulate at least some of the control mechanisms to control the flight of the aircraft; and second means for communicating to the pilot a message whenever the comparison means determines that the actual input information and the derived version of the input information are not within the preassigned operational tolerance, thereby to inform the pilot about the reliability of the information corresponding to the output information for controlling the flight of the aircraft. - View Dependent Claims (13, 14, 16, 17, 18, 20, 23, 25, 26)
-
-
15. In an information display system including processing means for receiving input information and for processing the input information in accordance with a first operational function to develop output information, and including display symbol generating means to provide for visual display of a symbol corresponding to the output information, a method for detecting a display symbol error, comprising:
-
developing display system information corresponding to the output information; assigning an identifying tag to the display system information to mark the display symbol; processing the output information in accordance with a second operational function to compute a derived version of the input information; comparing the actual input information with the derived version of the input information to determine whether they differ within a preassigned operational tolerance; acknowledging the existence of a display symbol error whenever the difference between the actual input information and the derived version of the input information exceeds the preassigned operational tolerance; and determining the display symbol in error by means of the identifying tag corresponding thereto.
-
-
19. In an information processing system including means for providing input signal information to the system and digital processing means for processing the input signal information in accordance with a first predetermined operational function to provide output signal information, a processing error detection method comprising:
-
sensing the output signal information; processing the output signal information by the digital processing means in accordance with a second predetermined operational function to provide a derived version of the input signal information, the first predetermined operational function being implemented in a first set of information processing algorithms, and the second predetermined operational function being implemented in a second set of information processing algorithms which differs from the first set of information processing algorithms; and comparing the derived version of the input signal information with the actual input signal information to determine whether they differ by more than a predetermined operational tolerance. - View Dependent Claims (21, 22)
-
-
24. In an information display system comprising processing means for processing display information, the processing means including a display symbol generating means for generating display symbol to convey the display information, a method for detecting display symbol errors comprising the steps of:
-
applying in the processing means an identifying tag to the display information to mark the display symbol; determining in the processing means whether an error was introduced during the processing of the display information; and acknowledging with reference to the identifying tag the existence of an error, if any, in the display symbol corresponding to the display information.
-
-
27. In an information processing system including means for providing input signal information to the system and digital processing means for processing the input signal information in accordance with a first predetermined operational function to provide output signal information, a processing error detection method comprising:
-
sensing the output signal information; processing the output signal information by the digital processing means in accordance with a second redetermined operational function to provide a derived version of the input signal information, the input signal information defining an input vector and the output signal information defining a solution vector so that the first predetermined operational function defines a matrix of the transformation of the input vector into the solution vector, and the second predetermined operational function representing an inverse function of the first predetermined operational function and defining the inverse matrix of the matrix of the transformation; and comparing the derived version of the input signal informatwon with the actual input signal information to determine whether they differ by more than a predetermined operational tolerance.
-
-
28. In an information processing system including means for providing input signal information to the system and digital processing means for processing the input signal information in accordance with a first predetermined operational function to provide output signal information, a processing error detection method comprising:
-
sensing the output signal information; processing the output signal information by the digital processing means in accordance with a second predetermined operational function to provide a derived version of the the input signal information; assigning a different identifying tag to each one of at least some of the output signal information prior to the computation of the derived version of the input signal information, thereby to identify the derived version of the input signal information as that which corresponds to the actual input signal information which figured in the development of the output information having the same identifying tag; and comparing the derived version of the input signal information with the actual input signal information to determine whether they differ by more than a predetermined operational tolerance.
-
Specification