CAREER: Runtime Verification and Monitoring

职业：运行时验证和监控

• 批准号: 0448501
• 负责人: Grigore Rosu
• 金额: --
• 依托单位: University of Illinois at Urbana-Champaign
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 2005
• 资助国家: 美国
• 起止时间: 2005-04-01 至 2010-03-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0448501&HistoricalAwards=false
• 关键词: CAREER; Runtime; Verification; Monitoring

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.

摘要0448501 Grigore Rosu，伊利诺伊大学厄巴纳-香槟分校，职称：职业：验证和验证这个项目致力于软件开发和分析技术，将运行时监控作为一个基本原则。 建议的研究是基于这样的想法，有效的监控代码自动生成高层次的，人类可读的系统需求规格，然后用于检测或预测违反要求的软件系统在运行时。 所提出的技术的目的是在复杂的软件系统中检测错误，并在缩小规范和实现之间的差距，允许前者发挥积极的作用，在程序的执行，通过监视和guiding.Many方面的建议的研究集中在设计和实现监控合成和集成算法。 设计了一种通用的方法，以模块化和压缩的方式向运行时环境中添加新的需求规格说明形式。 技术检测不仅发生的错误，但特别是接近发生的错误，连同技术来监控复杂的并发系统中的一个分散的方式。 拟议中的研究预计将导致新的可扩展的技术来检测软件系统中的错误，以及强大和可靠的软件编程方法，从而对高质量的软件是如何被测试和开发的直接影响。