中文摘要：

在实时系统的开发过程中,时间上的约束在系统早期的定量分析中起着非常重要的作用。UML作为一种图形化、面向对象的建模语言,其中的实时特性描述文件UML Profile for Schedulability,Performance and Time适用于对实时系统的刻画。在给定系统的实时状态图基础上,用相对应的随机Petri网模型进行定量分析,得到实时系统最终的分析结果,对系统开发有重要的指导意义。

英文摘要：

During the developing process of real-time systems, time restriction plays an important role in quantitative analysis of early system. UML is an object-oriented modeling language with many graphics to describe a system. The description of real-time feature is appropriate for depicting real-time system. UML Profile for Schedulability, Performance and Time is the same with the description of real-time system. Based on the real-time UML State Machine of the system, corresponding SPN models were constructed to give the precondition of quantitative analysis to the given real-time system, which could instruct the development of the system.