Performance Modeling and Analysis of Real-Time Distributed Systems

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

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.