Journals
  Publication Years
  Keywords
Search within results Open Search
Please wait a minute...
For Selected: Toggle Thumbnails
Current Status and Prospects of Runtime Software Verification and Monitoring
BU Lei, DONG Wei, SHAN Yunxiao
Abstract404)   HTML16)    PDF (2296KB)(743)      

Nowadays, many software systems are working in open, dynamic, and nondeterministic scenarios, often suffering from unexpected interference and influence. It is important to conduct runtime verification and monitoring of system behavior and adaptively make real-time responses and decisions for and exert dynamic control over each real-time situation. This paper reviews the research progress of runtime verification, monitoring, enhancement, and dynamical control in and outside China and their prospects. Meanwhile, it also explores and recommends potential future research directions from the perspectives of the understanding of system behavior, controller synthesis, full-cycle monitoring, etc.

2023, 2 (1): 62-77.   doi: 10.3981/j.issn.2097-0781.2023.01.005