Monitoring of Probabilistic Timed Property Sequence Charts

Authors:
Pengcheng Zhang;Wenrui Li;Dingsheng Wan;Lars Grunske
Affiliations:
College of Computer and Information Engineering, Hohai University, Nanjing, People's Republic of China and School of Mathematics & Information Technology, Nanjing Xiaozhuang University, People's R ...;College of Computer and Information Engineering, Hohai University, Nanjing, People's Republic of China and State Key Laboratory of Software Engineering, Wuhan University, People's Republic of Chin ...;College of Computer and Information Engineering, Hohai University, Nanjing, People's Republic of China;Faculty of ICT, Swinburne University of Technology, Hawthorn, VIC, Australia
Venue:
Software—Practice & Experience
Year:
2011

Citing 0
Cited 2

Statistical detection of QoS violations based on CUSUM control charts

ICPE '12 Proceedings of the 3rd ACM/SPEC International Conference on Performance Engineering
Runtime verification with state estimation

RV'11 Proceedings of the Second international conference on Runtime verification

Quantified Score

Hi-index	0.00

Visualization

Abstract

Run-time monitoring is an important technique to detect erroneous run-time behaviors. Several techniques have been proposed to automatically generate monitors from specification languages to check temporal and real-time properties. However, monitoring of probabilistic properties still requires manual generation. To overcome this problem, we define a formal property specification language called Probabilistic Timed Property Sequence Chart (PTPSC). PTPSC is a probabilistic and timed extension of the existing scenario-based specification formalism Property Sequence Chart (PSC). We have defined a formal grammar-based syntax and have implemented a syntax-directed translator that can automatically generate a probabilistic monitor which combines timed B”uchi automata and a sequential statistical hypothesis test process. We validate the generated monitors with a set of experiments performed with our tool WS-PSC Monitor. Copyright © 2011 John Wiley & Sons, Ltd.