Modular and Online Monitoring of Temporal Logic Specification with Integral and Filter

Key Points

• The research aims to develop a modular system for online monitoring of temporal logic specifications using integral and filtering techniques.
• Developed a software package for monitoring temporal logic specifications.
• Performed experimentation based on modified monitoring algorithms.
• Evaluated performance in the context of runtime verification.
• Showed improved efficiency in monitoring temporal specifications.
• Demonstrated effectiveness of the integral and filter algorithms.
• Reported positive outcomes in runtime verification scenarios.