Decomposing Digital-System Specifications into Interacting Sequential Processes

将数字系统规范分解为交互的顺序过程

• 批准号: 9208745
• 负责人: Steven Johnson
• 金额: $ 19.22万
• 依托单位: Indiana University
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 1992
• 资助国家: 美国
• 起止时间: 1992-12-01 至 1997-05-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9208745&HistoricalAwards=false
• 关键词: Decomposing; Digital; System; Specifications; into

Johnson This research is on developing formal techniques to decompose higher-level system specifications into interacting sequential processes. A functional algebra is used for defining formal representations and building a set of transformations for manipulating them. The notion of "interaction schemes" is the central subject. The project is composed of four activities: 1. theoretical studies of the decomposition of digital systems; especially formal derivation of control-synchronization and data- communication protocols; 2. automation of formal transformations which correctly do sequential decompositions; 3. integration of the mechanized formal system with available CAD tools, and other reasoning systems; and 4. application of the design system to meaningful examples of digital-system designs.

约翰逊 本研究旨在发展形式化技术，将高阶系统规格分解为互动的顺序流程。 函数代数用于定义形式表示并构建一组用于操作它们的变换。 “相互作用方案”的概念是中心主题。 该项目由四项活动组成：1. 数字系统分解的理论研究，特别是控制同步和数据通信协议的形式化推导; 自动化的形式转换，正确地做顺序分解; 3. 机械化形式系统与现有CAD工具和其他推理系统的集成; 4. 设计系统的应用，数字系统设计的有意义的例子。