U.S.-Italy Cooperative Research: Multi-Formalism Support forDesign and Analysis of Concurrent Software

美意合作研究：并发软件设计与分析的多形式主义支持

• 批准号: 9217432
• 负责人: Michal Young
• 金额: $ 1.69万
• 依托单位: Purdue Research Foundation
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 1993
• 资助国家: 美国
• 起止时间: 1993-09-01 至 1996-08-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9217432&HistoricalAwards=false
• 关键词: U.S.; Italy; Cooperative; Research; Multi

9217432 Young This award will support collaborative research between Michal Young, Purdue University, and Mauro Pezze, Politechnico di Milano, Italy. The project will investigate integration of multiple operational models of concurrent software. Research issues for the project include methods for reasoning about the relation between different behavioral models of the same component; techniques for analyzing the behavior of systems in which components may be modeled in different ways; automatic generation of state-space analysis tools with support for multi-formalism analysis; and models of time amenable to practical state-space analysis. The Italian investigator will contribute expertise in Petri net models of concurrent systems. The US investigator will bring expertise in the analysis of concurrent software and the integration of analysis techniques and tools in software development environments. Pezze will take the lead in the more theoretical side of the work, and Young will lead in the design and evaluation of the analysis tool generator. ***

小行星9217432 该奖项将支持Michal Young，普渡大学和Mauro Pezze，Politechnico di Milano，意大利之间的合作研究。 本计画将探讨并发软体的多个运作模式的整合。 该项目的研究问题包括推理同一组件的不同行为模型之间的关系的方法;分析系统行为的技术，其中组件可以以不同的方式建模;支持多形式主义分析的状态空间分析工具的自动生成;以及适用于实际状态空间分析的时间模型。 意大利调查员将贡献并发系统的Petri网模型的专门知识。 美国调查员将带来并发软件分析以及软件开发环境中分析技术和工具集成方面的专业知识。 Pezze将负责更多的理论方面的工作，Young将负责分析工具生成器的设计和评估。 ***