×

模块化零星实时系统的无优先级条件优先调度。 (英语) Zbl 1388.93015号

摘要:对于同时处理零星和(多周期)周期性任务的实时系统(RTS),本研究根据离散事件系统(DES)的相关概念和技术,提出了一种新的模块化建模框架来描述任务参数。任务由自动机表示,自动机由与其参数对应的模块化模型进行同步。因此,描绘RTS的DES模型被表示这些任务的DES同步。基于监督控制理论,通过寻找所有安全执行序列来解决无优先级条件抢占(PFCP)实时调度问题。最后,通过实际例子说明了PFCP调度。

MSC公司:

93A30型 系统数学建模(MSC2010)
90B36型 运筹学中的随机调度理论
93元65角 离散事件控制/观测系统
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Alareqi,S。;Gorges,D。;Liu,S.,基于事件的网络控制和调度协同设计,性能保证,Automatica,57,128-134,(2015)·Zbl 1330.93154号
[2] Baruah,S.(2005)。零星任务系统的有限优先级单处理器调度。第17届欧洲微型实时系统会议论文集; Baruah,S.(2005)。零星任务系统的有限优先级单处理器调度。第17届欧洲实时系统会议记录
[3] Chen,P.C.Y。;Wonham,W.M.,《周期性任务非主动执行处理器的实时监控》,实时系统,23183-208,(2002)·Zbl 1012.68019号
[4] Cury,J.E。;De Queiroz,M.H。;Bouzon,G。;Teixeira,M.,《带区分器的离散事件系统的监督控制》,Automatica,56,93-104,(2015)·Zbl 1323.93049号
[5] Fontanelli,D。;格雷科,L。;Palopoli,L.,嵌入式控制系统的软实时调度,Automatica,492330-2338,(2013)·Zbl 1364.93499号
[6] Janarthanan,V。;戈哈里,P。;Saffar,A.,《使用基于优先级的离散事件系统监督控制规范化实时调度》,IEEE自动控制汇刊,51,6,1053-1058,(2006)·Zbl 1366.93349号
[7] Kronos,Yovine S.,《实时系统验证工具》,《软件工具和技术转让国际期刊》,第1期,第123-133页,(1997年)·Zbl 1060.68606号
[8] Liu,C.L。;Layland,J.W.,硬实时环境下多道程序的调度算法,美国计算机学会期刊,20,1,46-61,(1973)·Zbl 0265.68013号
[9] Nassor,E.和Bres,G.(1991年)。固定优先级调度程序的硬实时零星任务调度。响应系统国际研讨会会议记录; Nassor,E.和Bres,G.(1991年)。固定优先级调度程序的硬实时零星任务调度。响应系统国际研讨会会议记录
[10] 帕克,S.-J。;Cho,K.-H.,基于离散事件系统监控的零星任务实时抢占式调度,信息科学,178,17,3393-3401,(2008)·Zbl 1142.90409号
[11] Ramadge,P.J。;Wonham,W.M.,一类离散事件过程的监督控制,SIAM控制与优化杂志,25,1,206-230,(1987)·Zbl 0618.93033号
[12] Singhoff,F.、Legrand,J.、Nana,L.和Marce,L.(2004)。切达:一个灵活的实时调度框架国际ACM SIGAda会议记录; Singhoff,F.、Legrand,J.、Nana,L.和Marce,L.(2004)。切达:一个灵活的实时调度框架国际ACM SIGAda会议记录
[13] 苏,R。;Wonham,W.M.,离散事件系统的监督缩减,离散事件动态系统,14,1,31-53,(2004)·Zbl 1035.93048号
[14] Veenman,J。;Scherer,C.,鲁棒增益调度控制器的综合框架,Automatica,502799-2812,(2014)·Zbl 1300.93062号
[15] 王,X。;Khemaissia,I。;M.Khalgui。;李振伟。;O.Mosbahi。;Zhou,M.C.,具有周期性和概率性任务的实时系统的动态低功耗重构,IEEE自动化科学与工程学报,12,1,258-271,(2015)
[16] 王,X。;李振伟。;Wonham,W.M.,基于定时DES监控的实时调度的动态多周期重构,IEEE工业信息学报,12,1,101-111,(2016)
[17] 王,X。;李振伟。;Wonham,W.M.,基于DES监督控制的周期性任务的最优无优先级条件提供实时调度,IEEE系统转换,人与控制论:系统,47,7,1082-1098,(2017)
[18] Wang,Y。;Saksena,M.,具有抢占阈值的固定优先级任务调度,《实时计算系统与应用程序汇编》,328-335,(1999)
[19] Wonham,W.M。;Cai,K.,离散事件系统的监督控制,(2017),多伦多大学电气与计算机工程系,网址:http://www.control.utoronto.ca/DES
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。