基于UML实时状态图的定量分析

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