Systems and methods for security and safety fault analysis using information flow
The present disclosure includes systems and methods relating to information flow and analyzing faults in integrated circuits for digital devices and microprocessor systems. In general, one implementation, involves a technique including: receiving a hardware design specifying an implementation for information flow in a hardware configuration; receiving one or more labels annotating the hardware design; receiving one or more fault properties specifying at least a fault type relating to the one or more labels for implementing an information flow model indicating a fault path in the hardware configuration; determining, for each of the one or more fault properties, a label value by translating the fault property into the information flow model; and automatically assigning a respective label value to each of the one or more labels in the hardware design.
1. A method performed by data processing apparatus, the method comprising:
receiving a hardware design specifying an implementation for information flow in a hardware configuration, wherein the hardware design comprises at least two variables relating to the information flow;
receiving one or more labels annotating the hardware design, wherein each of the one or more labels corresponds to a respective variable of the at least two variables;
receiving one or more fault properties specifying at least a fault type relating to the one or more labels for implementing an information flow model indicating a fault path in the hardware configuration;
determining, for each of the one or more fault properties, a label value by translating the fault property into the information flow model; and
automatically assigning a respective label value to each of the one or more labels in the hardware design.
2. The method of claim 1 , wherein the information flow model is used to generate a fault analysis result.
3. The method of claim 2 , wherein the fault analysis result is derived by analyzing the fault information flow model to determine whether the fault path propagates to one or more safety-critical outputs in the hardware configuration.
4. The method of claim 3 , wherein the fault analysis result comprises identifying circuitry in the hardware design that affects the one or more safety-critical outputs in the hardware design, based on the determination.
5. The method of claim 2 , wherein the fault analysis result is generated by an analysis platform, and the analysis platform receives the information flow model and input.
6. The method of claim 1 , wherein the one or more fault properties is received in a high-level fault specification language.
7. The method of claim 6 , wherein the translation of the one or more fault properties into the information flow model comprises using the high-level fault language to create a fault logic in the hardware design, wherein the fault logic implements the information flow model.
8. The method of claim 7 , wherein the method further comprises:
modifying the hardware design to include the fault logic, wherein the fault logic comprises tracking logic and control logic that are usable to determine the fault path in accordance with the one or more fault properties specifying fault type and constraints applied to a behavior associated with the fault type.
9. The method of claim 1 , wherein at least one of the label values assigned to each of the one or more labels in the hardware design indicates a faulty value.
10. The method of claim 9 , wherein the faulty value indicates that a current value corresponding to an element in the hardware design differs from an expected value for the element in an original hardware design.