Requirement runtime monitor using temporal logic or a regular expression

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 system,
• the requirement being associated with operation of the system during a runtime operation of the system in an intended operating environment;
• store the requirement in the memory as code that represents the requirement;
• receive a signal from the system during the runtime operation of the system;
• analyze the signal during the runtime operation of the system using the stored requirement;
• determine, during the runtime operation of the system, that the requirement was violated during the runtime operation of the system based on analyzing the signal;
• and
• output information indicating that the requirement was violated.

A method, comprising:

• receiving, by a hardware monitor, information that identifies a requirement for a system,
• the requirement being associated with operation of the system during a runtime operation of the 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 signal from the system during the runtime operation of the system;
• analyzing, by the hardware monitor, the signal during the runtime operation of the system using the requirement;
• determining, by the hardware monitor and during the runtime operation, that the requirement was violated during the runtime operation of the system based on analyzing the signal;
• and
• outputting, by the hardware monitor, information indicating that the requirement was violated.