容错实时任务调度的DSPN建模与分析

• 作者: 周悦 王勋 郭威
• 来源期刊: 计算机测量与控制
• 关键词: 确定与随机Petri网 容错 实时 任务调度
• 年，卷（期）: 2017,（1）
• 所属期刊栏目: 设计与应用
• 页码范围: 107-110
• 页数: 4页
• 分类号: TP391
• 语种: 中文
• DOI: 10.16526/j.cnki.11-4762/tp.2017.01.031

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	周悦	上海海洋大学工程学院	77	373	11.0	15.0
10	郭威		15	27	3.0	4.0
11	王勋	沈阳建筑大学信息与控制工程学院	3	5	1.0	2.0