The Concurrency Factory- Practical Tools for the Design and Verification of Concurrent Systems

并发工厂——并发系统设计和验证的实用工具

• 批准号: 9120995
• 负责人: Philip Lewis
• 金额: $ 53.86万
• 依托单位: SUNY at Stony Brook
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 1992
• 资助国家: 美国
• 起止时间: 1992-03-01 至 1996-02-29
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9120995&HistoricalAwards=false
• 关键词: Concurrency; Factory; Practical; Tools; Design

The goal of this project is to build an efficient, comprehensive and usable environment for design, verification, and implementation of concurrent systems. The system, which will cater to protocol engineers and software developers, will support process algebra as its underlying formalism and have the following features: o A graphical user interface that will allow the non-expert to design and simulate concurrent systems using process algebra. o A suite of design and analysis algorithms for concurrent systems; care will be taken to ensure that implementations of these algorithms will be efficient enough to be used on real-life systems. o A graphical compiler that will transform the graphic designs produced on the system into Ada or Occam programs. This will relieve the user of the burden of manually recoding their designs in the target language of their final system. o A uniform intermediate representation that will serve as the input format for all the tools in the system. Basing the representation on a widely recognized format, such as BLIF-MV or KISS2, will promote the exchange of tools with industrial and academic institutions. The system, the Concurrency Factory, will be written in C++ and execute under X-Windows so that it will be efficient, easily extendible, and highly portable. Moreover, all objects manipulated by the system will be stored in an object-oriented database, for efficient and uniform access. Realization of the Factory will require research in numerous areas including efficient algorithms for design and verification, with particular emphasis on techniques for state-space management and compositional analysis; computation of diagnostic information and its graphical presentation; and methods for compiling graphical descriptions of process algebra expressions into languages such as Ada and Occam.

该项目的目标是建立一个高效、全面、 用于设计、验证和实现的可用环境 并发系统 该系统，将迎合协议 工程师和软件开发人员，将支持进程代数作为其 形式主义的基础，并具有以下特点： o图形用户界面，允许非专家 使用进程代数设计和模拟并发系统。 o一套并行系统的设计和分析算法; 将注意确保这些措施的实施 算法将足够有效， 系统. o一个图形编译器，将图形设计转换为 在系统上生成到Ada或Occam程序中。 这将 减轻用户手动重新编码其设计的负担 他们最终系统的目标语言。 o统一的中间表示，将用作 系统中所有工具的输入格式。 使所述 以广泛认可的格式表示，例如BLIF-MV或 KISS 2将促进与工业和 学术机构 该系统，并发工厂，将用C++编写， 在X-Windows下执行，以便高效，轻松 可扩展且高度便携。 此外，所有由 该系统将被存储在一个面向对象的数据库中， 高效、统一的接入。 实现工厂将需要在许多领域进行研究 包括设计和验证的有效算法， 特别强调状态空间管理技术， 成分分析;诊断信息的计算及其 图形表示;以及编译图形表示的方法 将代数表达式处理成Ada等语言的描述 奥卡姆