Algebraic Reasoning for Probabilistic and Real-Time Concurrent Systems

概率和实时并发系统的代数推理

• 批准号: 9208585
• 负责人: Scott Smolka
• 金额: $ 17.79万
• 依托单位: SUNY at Stony Brook
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 1992
• 资助国家: 美国
• 起止时间: 1992-06-15 至 1996-05-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9208585&HistoricalAwards=false
• 关键词: Algebraic; Reasoning; Probabilistic; Real; Time

Real-life processes behave probabilistically and execute in real- time. This project will develop process algebra-based techniques and software tools for reasoning about probabilistic and real-time aspects of concurrent systems. o Testing Preorders for Probabilistic Processes - Testing preorders for probabilistic processes based on the natural notion of a process passing a test with a certain probability will be extended , and o Axiomatizing Probabilistic Processes - An extension of the process algebra ACP to the probabilistic setting constitutes a complete axiomatization of probabilistic bisimulation for finite process. Work will continue by considering recursion in the language, a weak version of probabilistic bisimulation in which internal actions are abstracted away, and the stratified model of probabilistic processes. o Integrated Models of Probabilistic and Real-Time Processes - The research will follow a dual approach to developing techniques for analyzing probabilistic and real-time systems by introducing time, in an integrated manner, into probabilistic testing preorders and into probabilistic extension of ACP. A major outgrowth will be a suite of design tools for analyzing algebraically the reliability and performance of systems. One can use this design environment to apply the methodology to substantive realistic examples, such as communication protocols and distributed resource allocation algorithms.

现实生活中的流程表现出概率性，并在真实的中执行- 时间 该项目将开发基于过程代数的技术， 用于推理概率和实时方面的软件工具 并发系统。 o为概率过程测试预订单- 概率过程的前序检验 一个进程通过一个测试的自然概念， 一定的概率会被延长， o概率过程公理化--概率过程的扩展 将进程代数ACP转换为概率设置 构成了一个完整的公理化的概率 有限过程互模拟 工作将继续进行， 考虑到语言中的递归， 概率互模拟，其中内部动作 抽象出来， 概率过程 o概率和实时的综合模型 过程-研究将遵循双重方法， 开发分析概率和 实时系统通过引入时间，在一个集成的 方式，到概率测试前序和到 ACP的概率扩展。 一个主要的成果将是一套设计工具，用于分析 代数系统的可靠性和性能。 人们可以使用 这种设计环境，以应用该方法，以实质性的 现实的例子，如通信协议和分布式 资源分配算法