Performance Modeling and Analysis of Real-Time Distributed Systems

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

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.