Xuan Qi and Changzhi Zhao
Calculusbased Runtime Verification
2369 - 2373
2009
3
10
International Journal of Computer and Information Engineering
https://publications.waset.org/pdf/15100
https://publications.waset.org/vol/34
World Academy of Science, Engineering and Technology
In this paper, a uniform calculusbased approach for
synthesizing monitors checking correctness properties specified by a
large variety of logics at runtime is provided, including future and past
time logics, interval logics, state machine and parameterized temporal
logics. We present a calculus mechanism to synthesize monitors from
the logical specification for the incremental analysis of execution
traces during test and real run. The monitor detects both good and bad
prefix of a particular kind, namely those that are informative for the
property under investigation. We elaborate the procedure of calculus
as monitors.
Open Science Index 34, 2009