메뉴 건너뛰기




Volumn 14, Issue 3, 2012, Pages 249-289

An overview of the MOP runtime verification framework

Author keywords

Monitoring; Real time systems; Runtime verification; Testing

Indexed keywords

COMPREHENSIVE EVALUATION; DYNAMIC BEHAVIORS; FUNDAMENTAL PRINCIPLES; ITS EFFICIENCIES; JAVA PROGRAM; JAVA-MOP; MONITORING-ORIENTED PROGRAMMING; ORIGINAL SYSTEMS; PCI BUS; RELIABLE SYSTEMS; RUN-TIME VERIFICATION; RUNTIME MONITORING; RUNTIME OVERHEADS; RUNTIMES;

EID: 84861233991     PISSN: 14332779     EISSN: 14332787     Source Type: Journal    
DOI: 10.1007/s10009-011-0198-6     Document Type: Article
Times cited : (196)

References (62)
  • 1
    • 18944400712 scopus 로고    scopus 로고
    • jContractor: Bytecode instrumentation techniques for implementing DBC in Java
    • Elsevier, Amsterdam
    • Abercrombie, P., Karaorman, M.: jContractor: Bytecode instrumentation techniques for implementing DBC in Java. In Runtime Verification (RV'02), ENTCS, vol. 70, Elsevier, Amsterdam (2002).
    • (2002) Runtime Verification (RV'02), ENTCS , vol.70
    • Abercrombie, P.1    Karaorman, M.2
  • 5
    • 84861233316 scopus 로고    scopus 로고
    • AspectC++
    • AspectC++. http://www. aspectc. org/.
  • 6
    • 84861235908 scopus 로고    scopus 로고
    • AspectJ
    • AspectJ. http://eclipse. org/aspectj/.
  • 9
    • 84861227476 scopus 로고    scopus 로고
    • H. Barringer, B. Finkbeiner, Y. Gurevich, and H. Sipma (Eds.), Amsterdam: Elsevier
    • Barringer, H., Finkbeiner, B., Gurevich, Y., Sipma, H. (eds): Runtime Verification (RV'05), ENTCS, vol. 144. Elsevier, Amsterdam (2005).
    • (2005) Runtime Verification (RV'05), ENTCS , vol.144
  • 13
    • 84861233319 scopus 로고    scopus 로고
    • Bison
    • Bison. http://www. gnu. org/software/bison/.
  • 16
    • 70450243145 scopus 로고    scopus 로고
    • Dependent advice: A general approach to optimizing history-based aspects
    • ACM, New York
    • Bodden, E., Chen, F., Roşu, G.: Dependent advice: A general approach to optimizing history-based aspects. In: Aspect-Oriented Software Development (AOSD'09), pp. 3-14. ACM, New York (2009).
    • (2009) Aspect-Oriented Software Development (AOSD'09) , pp. 3-14
    • Bodden, E.1    Chen, F.2    Roşu, G.3
  • 17
    • 38149057580 scopus 로고    scopus 로고
    • A staged static program analysis to improve the performance of runtime monitoring
    • Springer, Berlin, LNCS
    • Bodden, E., Hendren, L., Lhoták, O.: A staged static program analysis to improve the performance of runtime monitoring. In: European Conference on Object-Oriented Programming (ECOOP'07), LNCS, vol. 4609, pp. 525-549. Springer, Berlin (2007).
    • (2007) European Conference On Object-Oriented Programming (ECOOP'07) , vol.4609 , pp. 525-549
    • Bodden, E.1    Hendren, L.2    Lhoták, O.3
  • 18
    • 38149083241 scopus 로고    scopus 로고
    • Instumenting C programs with nested word monitors
    • Springer, Berlin, LNCS
    • Chaudhuri, S., Alur, R.: Instumenting C programs with nested word monitors. In: Model Checking Software (SPIN'07), LNCS, vol. 4595, pp. 279-283. Springer, Berlin (2007).
    • (2007) Model Checking Software (SPIN'07) , vol.4595 , pp. 279-283
    • Chaudhuri, S.1    Alur, R.2
  • 19
    • 35048899307 scopus 로고    scopus 로고
    • A formal monitoring-based framework for software development and analysis
    • Springer, Berlin, LNCS
    • Chen, F., D'Amorim, M., Roşu, G.: A formal monitoring-based framework for software development and analysis. In: International Conference on Formal Engineering Methods (ICFEM'04), LNCS, vol. 3308, pp. 357-372. Springer, Berlin (2004).
    • (2004) International Conference On Formal Engineering Methods (ICFEM'04) , vol.3308 , pp. 357-372
    • Chen, F.1    D'Amorim, M.2    Roşu, G.3
  • 20
    • 77952096553 scopus 로고    scopus 로고
    • Efficient formalism-independent monitoring of parametric properties
    • IEEE, New York
    • Chen, F., Meredith, P., Jin, D., Roşu, G.: Efficient formalism-independent monitoring of parametric properties. In: Automated Software Engineering (ASE'09), pp. 383-394. IEEE, New York (2009).
    • (2009) Automated Software Engineering (ASE'09) , pp. 383-394
    • Chen, F.1    Meredith, P.2    Jin, D.3    Roşu, G.4
  • 21
    • 18944375047 scopus 로고    scopus 로고
    • Towards monitoring-oriented programming: A paradigm combining specification and implementation
    • Elsevier, Amsterdam
    • Chen, F., Roşu, G.: Towards monitoring-oriented programming: A paradigm combining specification and implementation. In: Runtime Verification (RV'03), ENTCS, vol. 89, pp. 108-127. Elsevier, Amsterdam (2003).
    • (2003) Runtime Verification (RV'03), ENTCS , vol.89 , pp. 108-127
    • Chen, F.1    Roşu, G.2
  • 24
    • 34548777585 scopus 로고    scopus 로고
    • Event-based runtime verification of Java programs
    • d'Amorim M., Havelund K.: Event-based runtime verification of Java programs. ACM SIGSOFT Softw. Eng. Notes 30(4), 1-7 (2005).
    • (2005) ACM SIGSOFT Softw. Eng. Notes , vol.30 , Issue.4 , pp. 1-7
    • d'Amorim, M.1    Havelund, K.2
  • 25
    • 84947290593 scopus 로고    scopus 로고
    • The Temporal Rover and the ATG Rover
    • Springer, Berlin, LNCS
    • Drusinsky, D.: The Temporal Rover and the ATG Rover. In: Model Checking and Software Verification (SPIN'00), LNCS, vol. 1885, pp. 323-330. Springer, Berlin (2000).
    • (2000) Model Checking and Software Verification (SPIN'00) , vol.1885 , pp. 323-330
    • Drusinsky, D.1
  • 26
    • 84861227600 scopus 로고    scopus 로고
    • Eagle Technology
    • Eagle Technology. PCI 703 Series User's Manual. http://www. eagledaq. com/display_product_36. htm.
    • PCI 703 Series User's Manual
  • 27
    • 84861231797 scopus 로고    scopus 로고
    • Eiffel Language
    • Eiffel Language. http://www. eiffel. com/.
  • 30
    • 19144362424 scopus 로고    scopus 로고
    • Monitoring Java programs with Java PathExplorer
    • Elsevier, Amsterdam
    • Havelund, K., Roşu, G.: Monitoring Java programs with Java PathExplorer. In: Runtime Verification (RV'01), ENTCS, vol. 55, pp. 97-114. Elsevier, Amsterdam (2001).
    • (2001) Runtime Verification (RV'01), ENTCS , vol.55 , pp. 97-114
    • Havelund, K.1    Roşu, G.2
  • 31
    • 19144362424 scopus 로고    scopus 로고
    • Monitoring Java programs with Java PathExplorer
    • Elsevier, Amsterdam
    • Havelund, K., Roşu, G.: Monitoring Java programs with Java PathExplorer. In: Runtime Verification (RV'01), ENTCS, vol. 55, Elsevier, Amsterdam (2001).
    • (2001) Runtime Verification (RV'01), ENTCS , vol.55
    • Havelund, K.1    Roşu, G.2
  • 33
    • 84861235905 scopus 로고    scopus 로고
    • K. Havelund, G. Roşu (Eds.), Amsterdam: Elsevier
    • Havelund, K., Roşu, G. (eds): Runtime Verification (RV'02), ENTCS, vol. 70. Elsevier, Amsterdam (2002).
    • (2002) Runtime Verification (RV'02), ENTCS , vol.70
  • 34
    • 84861235907 scopus 로고    scopus 로고
    • K. Havelund, G. Roşu (Eds.), Amsterdam: Elsevier
    • Havelund, K., Roşu, G. (eds): Runtime Verification (RV'04), ENTCS, vol. 113. Elsevier, Amsterdam (2004).
    • (2004) Runtime Verification (RV'04), ENTCS , vol.113
  • 36
    • 84896694020 scopus 로고    scopus 로고
    • Efficient monitoring of safety properties
    • Havelund K., Rosu G.: Efficient monitoring of safety properties. J. Softw. Tools Technol. Transf. 6(2), 158-173 (2004).
    • (2004) J. Softw. Tools Technol. Transf. , vol.6 , Issue.2 , pp. 158-173
    • Havelund, K.1    Rosu, G.2
  • 40
    • 84861235803 scopus 로고    scopus 로고
    • JBoss
    • JBoss. http://www. jboss. org.
  • 48
    • 77952094141 scopus 로고    scopus 로고
    • Efficient monitoring of parametric context-free patterns
    • Meredith P., Jin D., Chen F., Roşu G.: Efficient monitoring of parametric context-free patterns. J. Autom. Softw. Eng. 17(2), 149-180 (2010).
    • (2010) J. Autom. Softw. Eng. , vol.17 , Issue.2 , pp. 149-180
    • Meredith, P.1    Jin, D.2    Chen, F.3    Roşu, G.4
  • 50
    • 84861230731 scopus 로고    scopus 로고
    • PCI SIG. Conventional PCI 3. 0, PCI-X 2. 0 and PCI-E 2. 0 Specifications
    • PCI SIG. Conventional PCI 3. 0, PCI-X 2. 0 and PCI-E 2. 0 Specifications. http://www. pcisig. com.
  • 52
    • 67249145222 scopus 로고    scopus 로고
    • Hardware runtime monitoring for dependable cots-based real-time embedded systems
    • IEEE, New York
    • Pellizzoni, R., Meredith, P., Caccamo, M., Roşu, G.: Hardware runtime monitoring for dependable cots-based real-time embedded systems. In: Real-Time System Symposium (RTSS'08), pp. 481-491. IEEE, New York (2008).
    • (2008) Real-Time System Symposium (RTSS'08) , pp. 481-491
    • Pellizzoni, R.1    Meredith, P.2    Caccamo, M.3    Roşu, G.4
  • 55
    • 17444417374 scopus 로고    scopus 로고
    • Rewriting-based techniques for runtime verification
    • Roşu G., Havelund K.: Rewriting-based techniques for runtime verification. J. Autom. Softw Eng. 12(2), 151-197 (2004).
    • (2004) J. Autom. Softw Eng. , vol.12 , Issue.2 , pp. 151-197
    • Roşu, G.1    Havelund, K.2
  • 56
    • 57049173078 scopus 로고    scopus 로고
    • Synthesizing monitors for safety properties-this time with calls and returns
    • Springer, Berlin, LNCS
    • Roşu, G., Chen, F., Ball, T.: Synthesizing monitors for safety properties-this time with calls and returns. In: Runtime Verification (RV'08), LNCS, vol. 5289, pp. 51-68. Springer, Berlin (2008).
    • (2008) Runtime Verification (RV'08) , vol.5289 , pp. 51-68
    • Roşu, G.1    Chen, F.2    Ball, T.3
  • 57
    • 17444392939 scopus 로고    scopus 로고
    • Generating optimal monitors for extended regular expressions
    • Elsevier, Amsterdam, ENTCS
    • Sen, K., Roşu, G.: Generating optimal monitors for extended regular expressions. In: Runtime Verification (RV'03), ENTCS, vol. 89, pp. 162-181. Elsevier, Amsterdam (2003).
    • (2003) Runtime Verification (RV'03) , vol.89 , pp. 162-181
    • Sen, K.1    Roşu, G.2
  • 58
    • 84861231343 scopus 로고    scopus 로고
    • O. Sokolsky and M. Viswanathan (Eds.), Amsterdam: Elsevier
    • Sokolsky, O., Viswanathan, M. (eds): Runtime Verification (RV'03), ENTCS, vol. 89. Elsevier, Amsterdam (2003).
    • (2003) Runtime Verification (RV'03), ENTCS , vol.89
  • 59
    • 84861235805 scopus 로고    scopus 로고
    • Soot website
    • Soot website. http://www. sable. mcgill. ca/soot/.
  • 60
    • 84945708555 scopus 로고
    • Regular expression search algorithm
    • Thompson K.: Regular expression search algorithm. Commun. ACM 11(6), 419-422 (1968).
    • (1968) Commun. ACM , vol.11 , Issue.6 , pp. 419-422
    • Thompson, K.1
  • 62
    • 84861230729 scopus 로고    scopus 로고
    • Xilinx, Inc. Virtex-4 ML455 PCI/PCI-X Development Kit User Guide
    • Xilinx, Inc. Virtex-4 ML455 PCI/PCI-X Development Kit User Guide. http://www. xilinx. com/support/documentation/boards_and_kits/ug084. pdf.


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.