Requirement runtime monitor using temporal logic or a regular expression

1. A hardware monitor, comprising:

one or more hardware components to:

receive information that identifies a requirement for a hardware system,

the requirement being associated with operation of the hardware system during a runtime operation of the hardware system in an intended operating environment;

program the one or more hardware components to analyze the hardware system based on the requirement;

receive a runtime signal, associated with a component of the hardware system, from the hardware system during the runtime operation of the hardware system in the intended operating environment;

analyze the runtime signal during the runtime operation of the hardware system based on programming the one or more hardware components to analyze the hardware system;

monitor another signal associated with a software module of the hardware system or another component of the hardware system;

determine, during the runtime operation of the hardware system, that the requirement was violated during the runtime operation of the hardware system based on analyzing the runtime signal and the other signal; and

output information indicating that the requirement was violated.

2. The hardware monitor of claim 1 , where the one or more hardware components are further to:

identify a cause of the requirement being violated; and

where the one or more hardware components are further to:

output information that identifies the cause.

3. The hardware monitor of claim 2 , where the one or more hardware components include:

a requirements runtime monitor component to monitor the runtime signal and determine that the requirement was violated; and

a causality analysis component to identify the cause.

4. The hardware monitor of claim 1 , where the requirement is associated with a hardware component of the hardware system, a software module of the hardware system, or a communication interface associated with two or more components of the hardware system.

5. The hardware monitor of claim 1 , where the requirement is implemented as hardware code in the hardware monitor,

the hardware code having been translated from temporal logic syntax or a regular expression.

6. The hardware monitor of claim 5 , where the temporal logic syntax or the regular expression has been translated from a natural language requirement.

7. The hardware monitor of claim 1 , where the hardware system includes a sensor, an electronic control unit, and an actuator.

8. A runtime monitor, comprising:

a memory; and

one or more processors to:

receive information that identifies an intermediate time-based representation that expresses a requirement for a hardware system,

the requirement being associated with operation of the hardware system during a runtime operation of the hardware system in an intended operating environment;

store the requirement in the memory as code that represents the requirement;

program the one or more processors to analyze the hardware system based on the requirement;

receive a runtime signal from the hardware system during the runtime operation of the hardware system;

analyze the runtime signal during the runtime operation of the hardware system based on programming the one or more processors to analyze the hardware system;

monitor another signal associated with a software module of the hardware system;

determine, during the runtime operation of the hardware system, that the requirement was violated during the runtime operation of the hardware system based on analyzing the runtime signal and the other signal; and

output information indicating that the requirement was violated.

9. The runtime monitor of claim 8 , where the runtime signal is an analog signal.

10. The runtime monitor of claim 8 , where the requirement relates to an electrical interface of the hardware system.

11. The runtime monitor of claim 8 , where the requirement relates to a transmission property of the hardware system.

12. The runtime monitor of claim 8 , where the intermediate time-based representation is temporal logic or a regular expression.

13. The runtime monitor of claim 8 , where the intermediate time-based representation is translated from a natural language requirement.

14. The runtime monitor of claim 8 , where the one or more processors are further to:

identify the hardware system or a type of the hardware system; and

program the one or more processors to analyze the hardware system, using the requirement, based on the hardware system or the type of the hardware system.

15. A method, comprising:

receiving, by a hardware monitor, information that identifies a requirement for a hardware system,

the requirement being associated with operation of the hardware system during a runtime operation of the hardware system in an intended operating environment,

the requirement being translated from temporal logic or a regular expression to code implemented on the hardware monitor;

monitoring, by the hardware monitor, a runtime signal, associated with a component of the hardware system, from the hardware system during the runtime operation of the hardware system;

analyzing, by the hardware monitor, the runtime signal during the runtime operation of the hardware system using the requirement translated to code implemented on the hardware monitor;

monitoring another signal associated with another component of the hardware system;

determining, by the hardware monitor and during the runtime operation, that the requirement was violated during the runtime operation of the hardware system based on analyzing the runtime signal and the other signal; and

outputting, by the hardware monitor, information indicating that the requirement was violated.

16. The method of claim 15 , further comprising:

determining a reason that the requirement was violated; and

outputting information that identifies the reason.

17. The method of claim 15 , further comprising:

providing a control signal to the hardware system to counteract the requirement that was violated.

18. The method of claim 15 ,

where the runtime signal is a first signal;

where the other signal is a second signal; and

the method further comprising:

monitoring a third signal associated with an interface of the hardware system; and

where determining that the requirement was violated comprises:

determining that the requirement was violated based on the first signal, the second signal, and the third signal.

19. The method of claim 15 , where outputting information indicating that the requirement was violated comprises:

providing the information indicating that the requirement was violated to a user device for display via a user interface associated with the user device.

20. The method of claim 15 , further comprising:

determining, based on a machine learning algorithm, an instruction to counteract the requirement that was violated;

the machine learning algorithm being based on at least one of:

analyzing historical operating characteristics associated with the hardware system,

analyzing historical instructions associated with the hardware system,

analyzing historical violations associated with the hardware system, or

analyzing historical causes of violations associated with the hardware system; and

providing the instruction to the hardware system to counteract the requirement that was violated.