CAREER: Runtime Verification and Monitoring

摘要：grigore Rosu伊利诺伊大学厄巴纳-香槟分校标题：职业：运行时验证和监控该项目涉及将运行时监控作为基本原则的软件开发和分析技术。提出的研究是基于这样一种思想，即有效的监视代码是从高级的、人类可读的系统需求规范中自动生成的，然后用于在运行时检测或预测软件系统中的需求违反。所提出的技术旨在检测复杂软件系统中的错误，并通过允许规范通过监视和指导在程序的执行中发挥积极作用，从而缩小规范与实现之间的差距。所提出的研究的许多方面集中在监测综合和集成算法的设计和实现上。设计了一种通用方法，以模块化和紧凑的方式将新的需求规范形式化添加到运行时环境中。不仅可以检测已经发生的错误，而且还可以检测即将发生的错误的技术，以及以分散的方式监控复杂并发系统的技术。所提出的研究预计将导致新的可扩展技术来检测软件系统中的错误，以及健壮和可靠软件的编程方法，从而对如何测试和开发高质量的软件产生直接影响。

ABSTRACT0448501Grigore Rosu University of Illinois at Urbana - ChampaignTITLE: CAREER: Runtime Verification and MonitoringThis project addresses software development and analysis techniques that take runtime monitoring as a foundational principle. The proposed research is based on the idea that effective monitoring code is automatically generated from high-level, human-readable system requirements specifications, and then used to either detect or predict violations of requirements in software systems at runtime. The proposed techniques aim at detecting errors in complex software systems and at narrowing the gap between specification and implementation by allowing the former to play an active role in the execution of programs via monitoring and guiding.Many aspects of the proposed research focus on designing and implementing monitor synthesis and integration algorithms. A generic method to add new requirements specification formalisms modularly and compactly to a runtime environment is designed. Techniques to detect not only errors that happened, but especially errors which were close to happen are developed, together with techniques to monitor complex concurrent systems in a decentralized manner. The proposed research is expected to lead to novel scalable techniques to detect errors in software systems, as well as to programming methodologies for robust and dependable software, thus having a direct impact on how high-quality software is being tested and developed.