×

时间敏感网络中的大规模周期调度。 (英语) Zbl 1511.90226号

概要:借助IEEE时间敏感网络任务组,现在可以在以太网架构上处理各种工业系统中提出的实时和安全关键需求。特别是,可以通过IEEE 802.1Qbv标准支持的时间触发通信调度来实现确定性和及时性保证。然而,由于必须满足几个苛刻的约束条件,生成这样的时间表是一项具有计算挑战性的任务。这个问题通常被转化为一些现有的形式主义,例如可满足性模理论,并使用通用的第三方求解器解决,其缺点是可扩展性有限。除了一些单程启发式算法,如最早截止时间优先或as-soon-as-possible调度,当前文献没有提供任何针对时间敏感网络中调度时间触发流量这一特定问题的算法。在本文中,我们开发了一种高效的算法,该算法不使用任何第三方求解器,并且基于在部分调度空间中的搜索,同时以发现的冲突为指导。我们的算法计算由2000个网络节点和10000多个流组成的问题实例的调度。

MSC公司:

90B35型 运筹学中的确定性调度理论
90 C59 数学规划中的近似方法和启发式
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Anon,《柔性制造试验台的时间敏感网络:聚合流量类型的特征和映射》Tech。对象管理集团工业互联网联盟代表(2019年)。
[2] 阿塔拉。;哈马德,G.B。;Mohamed,O.A.,《时间敏感网络中时间触发流量的路由和调度》(IEEE工业信息学汇刊(2019),IEEE)
[3] Barzegaran,M。;Pop,P.,基于TSN的雾计算平台中控制性能的通信调度,IEEE Access,9,50782-50797(2021)
[4] Barzegaran,M。;Reusch,北卡罗来纳州。;赵,L。;Craciuns,S.S。;Pop,P.,IEEE 802.1 Qbv TSN网络中关键流量的实时保证,带有未计划和未同步的终端系统(2021),arXiv预打印arXiv:2105.01641
[5] 南卡罗来纳州Brailsford。;波茨,C.N。;Smith,B.M.,《约束满足问题:算法和应用》,欧洲期刊Oper。决议,119,3557-581(1999)·Zbl 0938.90055号
[6] Brejchová,K.,《周期调度启发式》(2019年),乔斯克évysokéučenítechnickév Praze,(学士论文)
[7] 布鲁克,P。;海特曼,S。;Hurink,J。;Nieberg,T.,《缓冲区容量有限的作业车间调度》,OR Spectrum,28,2,151-176(2006)·Zbl 1101.90029号
[8] Caddell,B.,《与SMT的联合路由和调度》(2018年),斯图加特大学(B.S.论文)
[9] Carvajal,G。;阿拉内达,L。;Wolf,A。;菲格罗亚,M。;Fischmeister,S.,《将动态TDMA通信信道集成到COTS以太网中》,IEEE Trans。Ind.Inf.,12,5,1806-1816(2016)
[10] A.考蒙德。;拉科姆,P。;Tchernev,N.,《具有时滞的job-shop的模因算法》,计算。操作。研究,35,7,2331-2356(2008)·Zbl 1177.90147号
[11] 陈,X。;Van Beek,P.,《重新审视冲突导向回跳》,《人工智能研究杂志》,第14期,第53-81页(2001年)·Zbl 0970.68192号
[12] 科尔曼,T.H。;Leiserson,C.E。;Rivest,R.L。;Stein,C.,算法导论(2009),麻省理工学院出版社·Zbl 1187.68679号
[13] Craciuns,S.S。;奥利弗·R·S。;Chmelík,M。;Steiner,W.,《IEEE 802.1 Qbv时间敏感网络中的实时通信调度》,(第24届实时网络和系统国际会议论文集(2016),ACM),183-192
[14] Craciuns,S.S。;奥利弗·R·S。;Steiner,W.,《时间敏感网络的正式调度约束》(2017),ArXiv预打印ArXiv:1712.02246
[15] De Moura,L。;Björner,N.,Z3:高效SMT求解器,(系统构建和分析工具和算法国际会议(2008),Springer),337-340
[16] Didier,P。;Ditzel,G。;Leurs,L.公司。;Woods,J.,TSN——IIC TestbedTech报告。代表(2017),ODVA 2017年行业大会和第18届年会
[17] 杜尔,F。;Nayak,N.G.,IEEE时间敏感网络(TSN)的无等待数据包调度,(第24届实时网络和系统国际会议论文集(2016),ACM),203-212
[18] J·德沃·阿克。;海勒,M。;Hanzálek,Z.,TTEthernet网络上时间触发流量的最大化,(工厂通信系统(WFCS),2017年IEEE第13届国际研讨会(2017年),IEEE),1-10
[19] 福尔克,J。;杜尔,F。;Rothermel,K.,探索TSN与ILP联合路由和调度的实际限制,(2018 IEEE第24届嵌入式和实时计算系统与应用国际会议(RTCSA)(2018),IEEE),136-146
[20] Farkas,J。;Bello,L.L。;Gunther,C.,《时间敏感网络标准》,IEEE Commun。站立。Mag.,2,2,20-21(2018)
[21] Farzaneh,M.H。;库格勒,S。;Knoll,A.,支持时间敏感网络自动进度合成的图形建模工具,(新兴技术和工厂自动化(ETFA),2017年第22届IEEE国际会议(2017年),IEEE),1-8
[22] 费奥,T.A。;Resende,M.G.C.,贪婪随机自适应搜索程序,J.Global Optim。,6, 2, 109-133 (1995) ·Zbl 0822.90110号
[23] 加夫里鲁,V。;Pop,P.,混合临界工业应用的时间敏感网络(TSN)调度,(2018年第14届IEEE工厂通信系统国际研讨会(WFCS)(2018),IEEE),1-4
[24] 加夫里鲁,V。;赵,L。;Raagaard,M.L。;Pop,P.,支持AVB的TSN时间触发流量路由和调度,Ieee Access,675229-75243(2018)
[25] Glover,F.,禁忌搜索-第一部分,ORSA J.Compute。,1, 3, 190-206 (1989) ·Zbl 0753.90054号
[26] 格里姆斯,D。;Hebrard,E.,《设置时间和最大时滞的车间作业调度:一种简单的约束编程方法》(Lodi,A.;Milano,M.;Toth,P.,《组合优化问题约束编程中人工智能和操作规则技术的集成》(2010),斯普林格-柏林-海德堡:斯普林格–柏林-海德堡-柏林,海德堡),147-161·Zbl 1285.68157号
[27] Gurobi,D.,优化器参考手册(2020),http://www.gurobi.com/documentation/9.0/
[28] Hellmanns,D。;格拉瓦茨基,A。;福尔克,J。;Hummen,R。;Kehrer,S。;Dürr,F.,为工厂自动化网络扩展TSN调度,(2020年第16届IEEE工厂通信系统国际会议(WFCS)(2020),IEEE),1-8
[29] Hellmanns,D。;豪格·L。;希尔德布兰德,M。;杜尔,F。;Kehrer,S。;Hummen,R.,《如何使用整数线性规划优化TSN的联合路由和调度模型》(第29届实时网络和系统国际会议论文集(2021),ACM)
[30] 胡坦,B。;阿什贾伊,M。;Daneshtalab,M。;Sjödin,M。;Mubee,S.,《综合调度以改善TSN网络中最有效流量的QoS》,(第29届实时网络和系统国际会议论文集(2021年),ACM)
[31] 金,X。;夏,C。;关,N。;徐,C。;李,D。;Yin,Y。;Zeng,P.,在时间表条目数量有限的时间敏感网络中实时调度大量数据,IEEE Access,86751-6767(2020)
[32] 金,X。;夏,C。;关,N。;Zeng,P.,时间敏感网络的消息分段和无等待调度联合算法,IEEE/CAA J.Autom。罪。,8, 2, 478-490 (2021)
[33] O·科内。;Artigues,C。;洛佩兹,P。;Mongeau,M.,资源约束项目调度问题的基于事件的MILP模型,计算。操作。第38、1、3-13号决议(2011年)·Zbl 1231.90202号
[34] 库利,A。;Serairi,M.,针对发布日期不等的单机问题的混合整数规划方法,计算。操作。决议,51,323-330(2014)·Zbl 1348.90281号
[35] Lecoutre,C。;Boussemart,F。;Hemery,F.,《基于回跳的技术与冲突导向启发法》,(第16届IEEE人工智能工具国际会议(2004),IEEE),549-557
[36] 李强。;李,D。;金,X。;王,Q。;Zeng,P.,《工业场景中一种简单高效的时间敏感网络流量调度方法》,电子,9,12,2131(2020)
[37] 马奇亚罗利(R.Macchiaroli)。;摩尔,S。;Riemma,S.,《无等待约束下工业制造过程的建模与优化》,《国际生产研究杂志》,37,11,2585-2607(1999)·Zbl 0949.90563号
[38] 马利克,A。;沃克,C。;奥沙利文,M。;Sinnen,O.,具有通信延迟的任务图最优调度的可满足性模理论(SMT)公式,计算。操作。决议,89,113-126(2018)·Zbl 1391.90290号
[39] 马斯西斯,A。;Pacciarelli,D.,带阻塞和无等待约束的作业车间调度,欧洲J.Oper。Res.,143,3498-517(2002)·Zbl 1082.90528号
[40] Minaeva,A。;Hanzálek,Z.,《时间触发硬实时系统周期调度调查》,ACM Compute。调查。,54, 1, 1-32 (2021)
[41] Minaeva,A。;罗伊博士。;Akesson,B。;Hanzalek,Z。;Chakraborty,S.,《汽车架构应用集成的控制性能优化》,IEEE Trans。计算。,1 (2020)
[42] 奥利弗·R·S。;Craciuns,S.S。;Steiner,W.,使用阵列理论编码的IEEE 802.1 Qbv门控制列表合成,(2018 IEEE实时和嵌入式技术与应用研讨会(RTAS)(2018),IEEE),13-24
[43] Pacciarelli,D.,解决复杂工厂调度问题的替代图公式,《国际生产研究杂志》,40,15,3641-3653(2002)·Zbl 1032.90013号
[44] Pahlevan,M。;Obermaisser,R.,用于在时间敏感网络中调度时间触发流量的遗传算法,(2018年IEEE第23届新兴技术和工厂自动化国际会议(ETFA),1(2018),IEEE),337-344
[45] Pahlevan,M。;北塔巴萨姆。;Obermaisser,R.,针对时间敏感网络中时间触发流量的启发式列表调度程序,ACM Sigbed Rev.,16,1,15-20(2019)
[46] 皮拉,C。;Artigues,C.,求解非抢占严格周期调度问题的线搜索方法,J.Sched。,19, 3, 227-243 (2016) ·Zbl 1347.90048号
[47] 波普,P。;Raagaard,M.L。;Craciuns,S.S。;Steiner,W.,《使用IEEE时间敏感网络对网络物理分布式系统进行设计优化》,IET网络物理系统。理论应用。,1, 1, 86-94 (2016)
[48] 波普,P。;Raagaard,M.L。;古铁雷斯,M。;Steiner,W.,《通过时间敏感网络(TSN)实现工业自动化的雾计算》,IEEE Commun。站立。Mag.,2,2,55-61(2018)
[49] Prosser,P.,带回溯的正向检查,(约束处理(1994),Springer),185-204
[50] Raagaard,M.L。;Pop,P.,IEEE 802.1时间敏感网络(TSN)调度的优化算法,(丹麦科技大学,丹麦林格比,技术代表(2017))
[51] Raagaard,M.L。;流行音乐,P。;古铁雷斯,M。;Steiner,W.,雾计算的时间敏感网络(TSN)时间表的运行时重构,(雾世界大会(FWC),2017 IEEE(2017),IEEE),1-6
[52] 多斯桑托斯,A.C.T。;施耐德,B。;Nigam,V.,TSNSCHED:时间敏感网络的自动时间表生成,(2019计算机辅助设计(FMCAD)的形式化方法(2019),IEEE),69-77
[53] 施泰纳,W。;Craciuns,S.S。;Oliver,R.S.,《时间敏感通信的交通规划》,IEEE Commun。站立。Mag.,2,2,42-47(2018)
[54] Syed,A。;Fohler,G.,大型分布式时间触发系统上具有复杂约束的任务集的高效脱机调度,实时系统。,1-39 (2018)
[55] 塔马什-塞利西安,D。;波普,P。;Steiner,W.,基于TTEthernet的分布式实时系统的设计优化,实时系统。,51, 1, 1-35 (2015)
[56] Vlk,M。;Hanzálek,Z。;Brejchová,K。;唐,S。;巴塔查吉,S。;Fu,S.,《提高IEEE 802.1Qbv时间敏感网络中时间触发流量的可调度性和吞吐量》,IEEE Trans。社区。,68,7023-7038(2020)
[57] Vlk,M。;Z.Hanzálek。;Tang,S.,时间敏感网络中联合路由和调度的约束编程方法,(157(2021),Elsevier),第107317页。
[58] Wisniewski,L。;舒马赫,M。;Jasperneite,J。;Diedrich,C.,通过最优贪婪调度方法提高基于时间触发以太网系统的灵活性,(新兴技术与工厂自动化(ETFA),2015年IEEE第20届会议,2015年,IEEE),1-6
[59] Yen,J.Y.,《寻找网络中的k条最短无环路径》,《管理》。科学。,17, 11, 712-716 (1971) ·Zbl 0218.90063号
[60] 于清。;Gu,M.,多播时间敏感网络中的自适应组路由和调度,IEEE Access,837855-37865(2020)
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配,并且可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。