论文部分内容阅读
Petfi网作为一种可视化的规格语言，越来越多地用于实时系统的评估和分析。该文提出了一种基于Petri网的分布式实时系统模型，并对该模型中的局部调度器和消息调度器进行了描述。根据该模型可以开发相应的分布式实时调度模拟器，这样就可以在系统的开发初期，利用模拟器来验证在给定的局部调度策略和消息调度策略下，系统任务的时间约束是否能够得到有效的保障。同时该模型还可以很容易地转化为系统的快速原型。