Performance Modeling and Analysis of Real-Time Distributed Systems

实时分布式系统的性能建模与分析

• 批准号: 9988326
• 负责人: Tadao Murata
• 金额: $ 26万
• 依托单位: University of Illinois at Chicago
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 2001
• 资助国家: 美国
• 起止时间: 2001-01-01 至 2005-12-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9988326&HistoricalAwards=false
• 关键词: Performance; Modeling; Analysis; Real; Time

The objective of this research is to investigate formal modeling and analysis methods that are applicable to large-scale real-time distributedsystems, such as networked virtual environments. The research focuses onthe development of techniques and tools for performance analysis ofnetwork protocols and Quality-of-Service requirements analysis of thenetwork connecting distributed real-time applications. It is proposed to work on the following tasks:1) Develop (extended fuzzy-timing Petri net) models for protocols in eachlayer of network architecture;2) Conduct network performance analysis and evaluate network effects onseveral distributed real-time applications;3) Focus on the development of new techniques to deal with the state explosion problem; and4) Maintain an open library of models for real-time distributedapplications.The significance and impact of the research are: 1) Provide an integrated framework to conduct performance analysis forlarge-scale real-time distributed systems with high efficiency; 2) Help designers of distributed real-time systems in testing, planning, and improving their work; and3) Help students learn formal modeling and analysis methods for network-based software design via graphic interface and simulation.

本研究的目的是探讨形式化建模和分析方法，适用于大规模的实时分布式系统，如网络虚拟环境。该研究的重点是开发用于网络协议性能分析和连接分布式实时应用程序的网络的服务质量需求分析的技术和工具。 建议做好以下工作：（1）制定本文的主要研究内容包括：1）建立网络体系结构各层协议的扩展模糊时间Petri网模型;2）进行网络性能分析，评估网络对几种分布式实时应用的影响;3）研究处理状态爆炸问题的新技术; 4）维护一个开放的实时分布式应用模型库。1）提供一个高效率的大型实时分布式系统性能分析的集成框架; 2）帮助分布式实时系统的设计人员进行测试、规划和改进工作; 3）通过图形界面和仿真帮助学生学习基于网络的软件设计的形式化建模和分析方法。