An Integrated Approach to the Analysis of Concurrent Software Systems

并发软件系统分析的综合方法

• 批准号: 8702905
• 负责人: Laura Dillon
• 金额: $ 14.63万
• 依托单位: University of California-Santa Barbara
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 1987
• 资助国家: 美国
• 起止时间: 1987-08-01 至 1991-02-28
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=8702905&HistoricalAwards=false
• 关键词: Integrated; Approach; Analysis; Concurrent; Software

This project will investigate the feasibility of integrating two different, but related approaches to validation of concurrent software systems. Specifically, the integration of the analysis techniques that are associated with a particular concurrent system modeling scheme, called constrained expressions, and certain static analysis techniques for studying synchronization properties of concurrent systems will be studied. The complementary nature of the strengths and weaknesses of these two approaches suggests that their integration will produce techniques that surpass existing analysis techniques in both power and practical utility. While the theoretical limitation of general approaches to validation of concurrent software systems are known to be quite severe, little is known about how limiting these considerations actually are in practice. Experience with existing concurrent system analysis techniques is limited to "toy" systems, due to the computational complexity of the techniques and a lack of automated support. The demand for reliable concurrent software requires experimenting more fully with these techniques to determine how they "scale-up" to useful, realistically- sized systems.

该项目将研究集成两种不同但相关的并发软件系统验证方法的可行性。 具体来说，将研究与特定并发系统建模方案（称为约束表达式）相关的分析技术和用于研究并发系统同步特性的某些静态分析技术的集成。 这两种方法的优点和缺点的互补性表明，它们的集成将产生在能力和实用性方面都超越现有分析技术的技术。 虽然众所周知，验证并发软件系统的一般方法在理论上存在相当严重的局限性，但人们对这些考虑因素在实践中实际受到的限制却知之甚少。 由于技术的计算复杂性和缺乏自动化支持，现有并发系统分析技术的经验仅限于“玩具”系统。 对可靠并发软件的需求需要更充分地试验这些技术，以确定它们如何“扩展”为有用的、实际大小的系统。