-
题名时间约束Petri网及其可调度性分析与验证
被引量：21
- 1
-
-
作者
宋巍
窦万春
刘茜萍
-
机构
南京大学计算机科学与技术系
-
出处
《软件学报》
EI
CSCD
北大核心
2007年第1期11-21,共11页
-
基金
国家自然科学基金
江苏省基础研究计划基金~~
-
文摘
时间约束Petri网(timingconstraintPetrinets,简称TCPN)是一类重要的时间Petri网系统.对相关定义重新界定,丰富并完善了TCPN理论.针对变迁可调度原始定义的不足,首先给出了变迁的弱/强可调度的新定义及强可调度判定定理;然后对变迁的强可调度进行了拓展,提出了TCPN时间可调度的概念,并结合Petri网结构给出了TCPN时间可调度判定定理;最后对TCPN的相关特性进行了研究.TCPN对时间Petri网的研究工作将起到启发作用,并对实时系统的描述和建模工作具有一定的参考价值.
-
关键词
时间相关Petd网
TCPN
弱可调度
强可调度
可调度性分析
-
Keywords
time-related Petri nets
TCPN （timing constraint Petri nets）
weak schedulability
strong schedulability
schedulability analysis
-
分类号
TP301
[自动化与计算机技术—计算机系统结构]
-
-
题名一种改进的强分区约束的实时调度算法
被引量：1
- 2
-
-
作者
曹广旭
蒋泽军
王丽芳
刘志强
-
机构
西北工业大学计算机学院
西北工业大学软件与微电子学院
-
出处
《微电子学与计算机》
CSCD
北大核心
2012年第5期108-112,共5页
-
基金
航空科学基金(2010ZD53
2009ZD53044)
+3 种基金
陕西省自然科学基金(2009JM8017
2009JQ021
2010JM8023)
西北工业大学种子基金(Z2011133)
-
文摘
研究了实时操作系统在强分区约束下的两级分区的调度问题,建立了基于时钟触发的两级分区调度算法的模型.重点论述了调度开销和分区分配方法对系统可调度性的影响,并进一步改进了算法.仿真分析证实,改进的算法能够更好地保障系统的可调度性.
-
关键词
实时操作系统
强分区约束
时钟触发
可调度性
调度算法
-
Keywords
real time system
strong partition constraints
tick triggering
schedulability
Scheduling Algorithm
-
分类号
TP316.86
[自动化与计算机技术—计算机软件与理论]
-
