论文部分内容阅读
复杂系统的形式化描述对新系统的设计以及现有系统的改进与评价都具有十分重要的作用；针对处理机系统容错实时混合任务调度，提出采用确定与随机Petri网进行建模与性能分析；首先，根据任务执行的优先级、周期性、容错性和实时性，将任务分为四类；然后，采用DSPN对任务调度执行过程，不同优先级任务抢占式调度，处理机故障及故障恢复过程进行建模，由此构成处理机系统容错实时任务调度过程的DSPN模型；最后，仿真实验结果表明，在负载相同情况下，处理机利用率基本相同，且具有容错的实时任务调度算法可以有效地降低任务错失率；容错实