Computer Science ›› 2016, Vol. 43 ›› Issue (5): 162-168.doi: 10.11896/j.issn.1002-137X.2016.05.030

Previous Articles     Next Articles

On Reducing Monitoring Overhead in Runtime Verification

XU Sheng, YE Jun-min, CHEN Shu, JIN Cong and CHEN Pan   

  • Online:2018-12-01 Published:2018-12-01

Abstract: A most important issue in the field of runtime verification is reducing monitoring overhead.How to reduce the monitoring overhead to minimize its influence on the system is one of the essential objectives.In this paper,monitoring methods and research status of runtime overhead control were first introduced.Then several computation methods of overhead costs were analyzed to optimize the monitoring mode.Finally,the current challenges and the future research directions of overhead control in runtime verification were further discussed.

Key words: Runtime verification,Monitoring overhead,Overhead control

[1] Zhang Shuo,He Fei.Research Advances in runtime verification[J].Computer Science,2014,41(11A):359-363(in Chinese) 张硕,贺飞.运行时验证技术的研究进展[J].计算机科学,2014,41(11A):359-363
[2] Pnueli A,Zaks A.PSL Model Checking and Run-Time Verification via Testers[C]∥14th International Symposium on Formal Methods(FM).2006:573-586
[3] Giannakopoulou D,Havelund K.Automata-Based Verification of Temporal Properties on Running Programs[C]∥IEEE International Conference on Automated Software Engineering(ASE).2002:412-416
[4] Chang E Y,Manna Z,Pnueli A.Characterization of TemporalProperty Classes[C]∥International Colloquium on Automata,Languages and Programming(ICALP).1992:474-486
[5] Stolz V,Bodden E.Temporal Assertions using AspectJ[J].Electronic Notes in Theoretical Computer Science,2015,144(4):109-124
[6] Havelund K,Rosu G.Efficient Monitoring of Safety Properties[J].Software Tools and Technology Transfer(STTT),2004,6(2):158-173
[7] Falcone Y,Fernandez J C,Mounier L.Runtime Verification of Safety-Progress Properties[M]∥Runtime Verification(RV).2009:40-59
[8] Kim M,Lee I,Sammapun U,et al.Monitoring,Checking,andSteering of Real-Time Systems[J].Electronic.Notes in Theoretical Computer Science,2002,70(4):95-111
[9] Kim M,Viswanathan M,Kannan S.Java-MaC:A Run-Time Assurance Approach for Java Programs[J].Formal Methods in System Design(FMSD),2004,24(2):129-155
[10] d’Amorim M,Rosu G.Efficient Monitoring of omega-Languages[M]∥Computer Aided Verification(CAV).2005:364-378
[11] Kupferman O,Vardi M Y.Model Checking of Safety Properties[J].Formal Methods in Systems Design,2001,9(3):291-314
[12] Bonakdarpour B,Navabpour S,Fischmeister S.Sampling-basedruntime verification[M]∥FM 2011:Formal Methods.2011:88-102
[13] Bonakdarpour B,Navabpour S,Fischmeister S.Time-triggeredruntime verification[J].Formal Methods in Systems Design(FMSD),2013,43(1):29-60
[14] Wu C W W,Kumar D,Bonakdarpour B.Reducing Monitoring Overhead by Integrating Event and time triggered techniques[M]∥Runtime Verification(RV).2013:40-59
[15] Huang X,Seyster J,Callanan S,et al.Software monitoring with controllable overhead[J].International Journal on Software Tools for Technology Transfer(STTT),2012,14(3):327-347
[16] Stoller S,Bartocci E,Seyster J,et al.Runtime verification with state estimation[C]∥International Conference on Run-time Verification(RV).2011:193-207
[17] Havelund K,Rosu G.Synthesizing Monitors for Safety Properties[M]∥Tools and Algorithms for the Construction and Ana-lysis of Systems(TACAS).2002:342-356
[18] Lattner C,Adve V.LLVM:A compilation framework for life-long program analysis and transformation[C]∥International Symposium on Code Generation and Optimization:Feedback Directed and Runtime Optimization.2004:75-86
[19] Dwyer M B,Purandare R.Residual dynamic typestate analysisexploiting Static analysis:results to reformulate and reduce the cost of dynamic analysis[C]∥ACM ICASE.New York,USA,2007:124-133
[20] Manna Z,Pnueli A.A Hierarchy of Temporal Properties[C]∥Proceedings of ACM Symposium on Principles of Distributed Computing.1990:377-410
[21] Bodden E,Feng Chen,Rosu G.Dependent Advice:A General Ap-proach to Optimizing History-based Aspects[C]∥ACM ICAOSD.Virginia,USA,2009:3-14
[22] Chen F,Rosu G.Java-MOP:A Monitoring Oriented Programming Environment for Java[C]∥Proceedings of Conferences on Theory and Practice of Software,Volume 3440 of LNCS.Edinburgh,UK,2005:546-550
[23] Bodden E,Hendren L,Lhotak O.A staged static program analysis to improve the performance of runtime monitoring[C]∥Proceedings of the 21st European Conference on Object-oriented Programming.2007:525-549
[24] Zhao Chang-zhi,Dong Wei,Sui Ping,et al.Construction Tech-niques of Anticipatory Monitors for Parameterized LTL[J].Journal of Software,2010,1(2):318-333
[25] SNU Real-Time Benchmarks.
[26] Zee K,Kuncak V,Taylor M,et al.Runtime checking for program verification[C]∥Proceedings of the 7th International Conference on Runtime Verification(RV’07).Berlin,Heidelberg:Springer-Verlag,2007:202-213
[27] Zhou W,Sokolsky O,Loo B T,et al.DMaC:Distributed Monitoring and Checking[M]∥Runtime Verification(RV).2009:184-201
[28] Navabpour S,Bonakdarpour B,Fischmeister S.Path-aware time-triggered Runtime Verification[M]∥Runtime Verification(RV2012).2012:184-201
[29] Drusinsky D.On-line monitoring of metric temporal logic with time-series constraints using alternating finite automata[J].JUCS,2006,12(5):482-498
[30] Basin D,Klaedtke F,Miiller S,et al.Runtime monitoring of me-tric first-order temporal properties[J].Best Practive & Research Clinical Obstetrics & Gynaecology,2010,2(5):899-916
[31] Bodden E,Lamp.Clara:Partially Evaluating Runtime Monitors at CompileTime[M]∥Runtime Verification.Springer Berlin Heidelberg,2010:74-88
[32] Kim C H P,Bodden E,Batory D,et al.Reducing configurations to monitor in a software productline[M]∥Runtime Verification.Springer Berlin Heidelberg,2010:285-299

No related articles found!
Full text



No Suggested Reading articles found!