DDS并行模型及其形式化

作者：刘真环; 韦立; 陈艳; 赵荣盛; 王驹

来源：软件学报, 2009, (06): 1406-1413.

• DDS并行模型
• 全局调度算法
• 分离逻辑
• 时段演算
• 形式化 parallel model of DDS
• general scheduling algorithm
• separation logic
• duration calculus
• formalization

DDS(deadline-driven scheduler)模型是实时系统研究中的一个经典模型,但其原始设置中未提及空间因素.在DDS模型的原始设置上进行扩展,给出了DDS并行模型并在该模型设置下研究带空间限制的任务调度问题.提出了极大空间相容组的概念,并给出了全局调度算法和该算法可行的条件.最后还引入分离逻辑的思想对时段演算进行扩充,得到了新的形式系统DC*,利用DC*把DDS并行模型形式化.

• 出版日期2009
• 单位广西师范大学; 贵州大学; 中国人民解放军空军空降兵学院