Paper Info
Title
Optimizing Monitor Code Based on Patterns in Runtime Verification
Abstract
For runtime verification techniques, the most important part that limits its usage is how to reduce the influence of monitors. An important indicator is the amount of software codes after monitor instrumentation. The application of RV is hindered from the size-explosion problem of monitor construction. Namely, the state number of the monitor obtained is doubly exponential in the size of the input specification. This paper puts forward the method of processing parametric properties by utilizing monitor patterns and taking usage of arrays or functions, thereby greatly reducing the amount of monitor codes of the target system. It can improve the application of RV techniques in resource limited and safety critical systems, such as embedded control systems in transport or aerospace areas. Finally, the validity of the method is verified by constructing specific Benchmarks.
Year
DOI
Venue
2017
10.1109/QRS-C.2017.65
2017 IEEE International Conference on Software Quality, Reliability and Security Companion (QRS-C)
Keywords
Field
DocType
Runtime verification,Parametric property,Monitor pattern,Resource critical system
Aerospace,Model checking,Life-critical system,Computer science,Runtime verification,Real-time computing,Parametric statistics,Software,Control system,Instrumentation,Embedded system
Conference
ISBN
Citations 
PageRank 
978-1-5386-2073-1
0
0.34
References 
Authors
9
6
Name
Order
Citations
PageRank
Ge Zhou101.35
Xian Zhang211218.22
Wanwei Liu321.03
Hao Shi4309.58
Chi Hu501.01
Liangze Yin6269.47