REQUIREMENT RUNTIME MONITOR USING TEMPORAL LOGIC OR A REGULAR EXPRESSION

A hardware monitor may receive information that identifies a requirement for a system. The requirement may be associated with operation of the system during a runtime operation of the system in an intended operating environment. The hardware monitor may program the one or more hardware components to...

Full description

Saved in:
Bibliographic Details
Main Authors NGUYEN Dinh Quoc Thang, REIDL Christian, HAFNER Udo
Format Patent
LanguageEnglish
Published 31.08.2017
Subjects
CALCULATING
COMPUTING
COUNTING
ELECTRIC DIGITAL DATA PROCESSING
PHYSICS
Online AccessGet full text

Cover

More Information
Summary:A hardware monitor may receive information that identifies a requirement for a system. The requirement may be associated with operation of the system during a runtime operation of the system in an intended operating environment. The hardware monitor may program the one or more hardware components to analyze the system based on the requirement. The hardware monitor may receive a signal from the system during the runtime operation of the system in the intended operating environment. The hardware monitor may analyze the signal during the runtime operation of the system based on the requirement. The hardware monitor may 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. The hardware monitor may output information indicating that the requirement was violated.
Bibliography:Application Number: US201715423100