U.S.-German Cooperative Research in Development and Implementation of Heterogeneous Verification Methods for Distributed Systems

美德合作研究分布式系统异构验证方法的开发和实施

• 批准号: 9603441
• 负责人: W. Rance Cleaveland
• 金额: $ 1.64万
• 依托单位: North Carolina State University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 1997
• 资助国家: 美国
• 起止时间: 1997-04-01 至 1999-01-04
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9603441&HistoricalAwards=false
• 关键词: U.S.; German; Cooperative; Research; Development

The goal of this collaboration between the PI and Bernhard Steffan of the University of Passau is to study issues related to modeling and verification of distributed systems. Two specific threads of research will be pursued. The first involves the incorporation of notions of action priority into the semantic foundations of concurrency and an exploration of its practical impact on reasoning about system designs. The second is devoted to the design and implementation of an open tool architecture that will facilitate the development of new and improved verification tools. The results of this research will be new and useful extensions to system design methods and a framework for improved tool support for system designers.

PI 和帕绍大学的 Bernhard Steffan 之间的合作目标是研究与分布式系统建模和验证相关的问题。 将进行两个具体的研究主题。 第一个涉及将动作优先级的概念纳入并发的语义基础中，并探索其对系统设计推理的实际影响。 第二个致力于开放工具架构的设计和实现，该架构将促进新的和改进的验证工具的开发。 这项研究的结果将是系统设计方法的新的、有用的扩展，以及为系统设计者提供改进的工具支持的框架。