Conflicts Detection in Runtime Verification Based on AOP

Abstract

Nowadays,instead of only verifying systems at the model level,current state-of-the-art verification techniques tend to focus on real code and real system’s execution.Runtime verification checks the system’s execution and tries to bridge the gap between formal verification techniques and real systems.However,this brings about some problems which usually do not appear in model-level verification.This paper analyses the problem in runtime verification.It defines two kinds of conflicts and lists their corresponding detection algorithms.These algorithms are implemented based on an open source runtime verification tool and some real cases are examined.The results demonstrate the effectiveness of the proposed method.