Error propagation in a system model

• US 8,984,343 B2
• Filed: 06/24/2011
• Issued: 03/17/2015
• Est. Priority Date: 02/14/2011
• Status: Active Grant

• Current Assignee: Honeywell International Inc.
• Original Assignee: Honeywell International Inc.
• Inventors: Schloegel, Kirk, Bhatt, Devesh, Oglesby, David V., Madl, Gabor
• Primary Examiner(s): MASKULINSKI, MICHAEL C
• Application Number:
  US13/167,983
• Publication Number:
  US 20120210173A1
• Time in Patent Office: 1,362 Days
• US Class Current: 714/37
• CPC Class Codes: G06F 11/3608 using formal methods, e.g. model checking, abstract interpretation theorem proving G06N5/013
• CPC Class Codes: G06F 30/3323 using formal methods, e.g. equivalence checking or property checking

Abstract

Embodiments of the present subject matter can enable the analysis of signal value errors for system models. In an example, signal value errors can be propagated through the functional blocks of a system model to analyze possible effects as the signal value errors impact incident functional blocks. This propagation of the errors can be applicable to many models of computation including avionics models, synchronous data flow, and Kahn process networks.

Claims

1. A method comprising:

providing an input signal range corresponding to a range of expected values for an input signal to a functional block;

providing a minimum value error range corresponding to a range of error for a minimum value endpoint of the input signal range and a maximum value error range corresponding to a range of error for a maximum value endpoint of the input signal range;

mapping the input signal range to one or more output signal ranges as a function of a range mapping function corresponding to the functional block;

calculating a set of error extended input signal ranges by;

adding a min endpoint of the minimum value error range to the minimum value of the input signal range;

adding a max endpoint of the minimum value error range to the minimum value of the input signal range;

adding the min endpoint of the maximum value error range to the maximum value of the input signal; and

adding the max endpoint of the maximum value error range to the maximum value of the input signal range;

mapping the set of error extended input signal ranges to a set of error extended output signal ranges as a function of the range mapping function; and

calculating a minimum output error range and a maximum output error range as a function of a difference between the set of error extended output signal ranges and the output signal ranges.

2. The method of claim 1, wherein calculating a set of error extended input signal ranges includes calculating permutations of the min and max endpoints of the minimum value error interval added to the minimum value of the input signal range and the min and max endpoints of the maximum value error range added to the maximum value of the input signal range.

3. The method of claim 1, wherein each error extended output signal range has a minimum value and a maximum value;

wherein calculating a minimum output error range includes calculating a difference between a smallest of the minimum values of the set of error extended output signal ranges and a minimum value of the output signal range, and calculating a difference between a largest of the minimum values of the set of error extended output signal ranges and the minimum value of the output signal range; and

wherein calculating a maximum output error range includes calculating a difference between a smallest of the maximum values of the set of error extended output signal ranges and a maximum value of the output signal range, and calculating a difference between a largest of the maximum values of the set of error extended output signal ranges and the maximum value of the output signal range.

4. The method of claim 1, comprising:

providing an intermediate value error range corresponding to a range of error for an intermediate value of the input signal range;

mapping the intermediate value to a corresponding one or more output intermediate value as a function of the range mapping function;

calculating a set of error extended intermediate signal valued by;

adding the min endpoint of the intermediate value error range to the intermediate value of the input signal range;

adding the max endpoint of the intermediate value error range to the intermediate value of the input signal range;

mapping the set of error extended intermediate values to a set of error extended output intermediate values as a function of the range mapping function; and

calculating an intermediate value output error range as a function of a difference between the set of error extended output intermediate values and the error extended intermediate values.

5. The method of claim 1, wherein the input signal range consists of a constant value.

6. The method of claim 1, wherein the input signal range includes two or more intervals, and wherein each interval has a corresponding minimum value error range and a maximum value error range, the method further comprising:

calculating output signal error ranges corresponding to the two or more intervals.

7. The method of claim 1, wherein the method further comprises:

performing block-centric analysis on the error extended input signal ranges to determine if error extended anomalies are possible.

8. The method of claim 1, comprising:

propagating range values and error values associated with the range values through a plurality of functional blocks corresponding to a model of a system under test by calculating in topological order output signal ranges, minimum output signal error ranges, and maximum output signal error ranges for the plurality of functional blocks.

9. The method of claim 8, wherein the model includes one or more feedback signals, the method further comprising:

detecting a feedback pattern; and

replacing the feedback pattern with a functional block prior to propagating range values and error values.

10. The method of claim 1, wherein the functional block receives a plurality of input signals, and wherein the input signal range corresponds to at least one of the plurality of input signals.

11. A system comprising:

at least one processing device;

at least one memory device coupled to the at least one processing device, the at least one memory device having instructions thereon for execution by the at least one processing device, wherein the instructions, when executed by the at least one processing device, cause the at least one processing device to;

receive an input signal range corresponding to a range of expected values for an input signal to a functional block;

receive a minimum value error range corresponding to a range of error for a minimum value endpoint of the input signal range and a maximum value error range corresponding to a range of error for a maximum value endpoint of the input signal range;

map the input signal range to one or more output signal ranges as a function of a range mapping function corresponding to the functional block;

calculate a set of error extended input signal ranges by;

adding a min endpoint of the minimum value error range to the minimum value of the input signal range;

adding a max endpoint of the minimum value error range to the minimum value of the input signal range;

adding the min endpoint of the maximum value error range to the maximum value of the input signal; and

adding the max endpoint of the maximum value error range to the maximum value of the input signal range;

map the set of error extended input signal ranges to a set of error extended output signal ranges as a function of the range mapping function; and

calculate a minimum output error range and a maximum output error range as a function of a difference between the set of error extended output signal ranges and the output signal ranges.

12. The system of claim 11, wherein each error extended output signal range has a minimum value and a maximum value;

wherein calculate a minimum output error range includes calculate a difference between a smallest of the minimum values of the set of error extended output signal ranges and a minimum value of the output signal range, and calculate a difference between a largest of the minimum values of the set of error extended output signal ranges and the minimum value of the output signal range; and

wherein calculate a maximum output error range includes calculate a difference between a smallest of the maximum values of the set of error extended output signal ranges and a maximum value of the output signal range, and calculate a difference between a largest of the maximum values of the set of error extended output signal ranges and the maximum value of the output signal range.

13. The system of claim 11, wherein the instructions, when executed by the at least processor, cause the processor to:

receive an intermediate value error range corresponding to a range of error for an intermediate value of the input signal range;

map the intermediate value to a corresponding one or more output intermediate value as a function of the range mapping function;

calculate a set of error extended intermediate signal valued by;

add the min endpoint of the intermediate value error range to the intermediate value of the input signal range;

add the max endpoint of the intermediate value error range to the intermediate value of the input signal range;

map the set of error extended intermediate values to a set of error extended output intermediate values as a function of the range mapping function; and

calculate an intermediate value output error range as a function of a difference between the set of error extended output intermediate values and the error extended intermediate values.

14. The system of claim 11, wherein the instructions, when executed by the at least one processor, cause the at least one processor to:

perform block-centric analysis on the error extended input signal ranges to determine if error extended anomalies are possible.

15. The system of claim 11, wherein the instructions, when executed by the at least one processor, cause the at least one processor to:

propagate range values and error values associated with the range values through a plurality of functional blocks corresponding to a model of a system under test by calculating in topological order output signal ranges, minimum output signal error ranges, and maximum output signal error ranges for the plurality of functional blocks.

16. The system of claim 15, wherein the model includes one or more feedback signals, wherein the instructions, when executed by the at least one processor, cause the at least one processor to:

detect a feedback pattern; and

replace the feedback pattern with a functional block prior to propagate range values and error values.

17. A non-transitory computer readable medium including instructions which, when executed by at least one processor, cause the at least one processor to:

receive an input signal range corresponding to a range of expected values for an input signal to a functional block;

receive a minimum value error range corresponding to a range of error for a minimum value endpoint of the input signal range and a maximum value error range corresponding to a range of error for a maximum value endpoint of the input signal range;

map the input signal range to one or more output signal ranges as a function of a range mapping function corresponding to the functional block;

calculate a set of error extended input signal ranges by;

adding a min endpoint of the minimum value error range to the minimum value of the input signal range;

adding a max endpoint of the minimum value error range to the minimum value of the input signal range;

adding the min endpoint of the maximum value error range to the maximum value of the input signal; and

adding the max endpoint of the maximum value error range to the maximum value of the input signal range;

map the set of error extended input signal ranges to a set of error extended output signal ranges as a function of the range mapping function; and

calculate a minimum output error range and a maximum output error range as a function of a difference between the set of error extended output signal ranges and the output signal ranges.

18. The non-transitory computer readable medium of claim 17, wherein the instructions, when executed by the at least one processor, cause the at least one processor to:

perform block-centric analysis on the error extended input signal ranges to determine if error extended anomalies are possible.

19. The non-transitory computer readable medium of claim 17, wherein the instructions, when executed by the at least one processor, cause the at least one processor to:

propagate range values and error values associated with the range values through a plurality of functional blocks corresponding to a model of a system under test by calculating in topological order output signal ranges, minimum output signal error ranges, and maximum output signal error ranges for the plurality of functional blocks.

20. The non-transitory computer readable medium of claim 19, wherein the model includes one or more feedback signals, wherein the instructions, when executed by the at least one processor, cause the at least one processor to:

detect a feedback pattern; and

replace the feedback pattern with a functional block prior to propagate range values and error values.