RIA: Automated Support for Verification of Concurrent and Real-Time Software

RIA：并发实时软件验证的自动化支持

• 批准号: 9308067
• 负责人: James Corbett
• 金额: $ 9万
• 依托单位: University of Hawaii
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 1993
• 资助国家: 美国
• 起止时间: 1993-07-15 至 1998-06-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9308067&HistoricalAwards=false
• 关键词: RIA; Automated; Support; Verification; Concurrent

The goal of this research is to increase the safety and reliability of real-world software systems. The research is directed toward the development of practical techniques and the construction of automated tools for verifying properties of concurrent and real-time software. Many techniques have been proposed for this task, but little is known about their performance and range of applicability in practice. This research will conduct a thorough empirical evaluation of two promising techniques and a new technique that is a hybrid of the two. The techniques will be evaluated by constructing tools that automate them and applying these tools to a large number of sample systems. The information obtained will provide insights into the strengths and weaknesses of the techniques examined and will help developers choose an appropriate technique for their particular domain.

这项研究的目的是提高现实世界软件系统的安全性和可靠性。 这项研究针对实用技术的开发和构建自动化工具，以验证并发和实时软件的属性。 已经为这项任务提出了许多技术，但对其实践中的性能和适用性知之甚少。 这项研究将对两种有前途的技术和新技术进行彻底的经验评估。 这些技术将通过构造使它们自动化并将这些工具应用于大量示例系统应用的工具来评估。 获得的信息将提供有关所检查技术的优势和缺点的见解，并将帮助开发人员为其特定领域选择适当的技术。