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.

这项研究的目的是增加安全性， 真实世界软件系统的可靠性。 这项研究是 旨在发展实用技术， 用于验证属性的自动化工具的构建 并发和实时软件。 许多技术已 有人提出了这项任务，但很少有人知道他们的 在实践中的适用性和适用范围。 这 研究将进行彻底的实证评估两个 有前途的技术和一种新技术， the two. 这些技术将通过构建 自动化工具，并将这些工具应用于大型 样品系统的数量。 获得的信息将 深入了解 技术研究，并将帮助开发人员选择一个 适合自己领域的技术。