Incremental Verification of Complex Event Processing Applications for System Monitoring

Complex Event Processing (CEP) facilitates monitoring large-scale, distributed systems. CEP applications analyze real-time streams of events to detect patterns that indicate problems that may require an adaptation of the running system. Like for any software system, developers may introduce faults when designing and implementing CEP applications. Such faults may imply that true problems may not be detected during systems operation, or false alarms may be raised even though no problem exists. Therefore, verifying the CEP application during design time is critical to ensure correct system monitoring at run-time. To address the scalability problem of verifying CEP applications, we propose an incremental verification approach building on recent advances in model checking. Results of an initial evaluation indicate under which assumptions our approach scales better than standard model checking.