计算机科学 ›› 2016, Vol. 43 ›› Issue (5): 162-168.doi: 10.11896/j.issn.1002-137X.2016.05.030
徐胜,叶俊民,陈曙,金聪,陈盼
XU Sheng, YE Jun-min, CHEN Shu, JIN Cong and CHEN Pan
摘要： 运行时验证中的一个重要研究内容就是减少监控开销,以达到运行时开销对系统影响最小化的目标。总结了近年来运行时验证中减少监控开销技术的研究发展,首先介绍了运行时开销控制的研究现状；然后详细介绍了运行时开销减少的具体方法；最后分析了运行时开销控制技术面临的主要挑战,并对该领域未来的研究方向进行了展望。
| [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.http://www.cprover.org/goto-cc/examples/snu [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! |
|
||
首页