An Efficient Schedule Synthesis Method based on Constraint Programming Technology for Time-Triggered Ethernet

Haiying Yuan, Tong Zheng, Kai Zhang, Yichen Wang
{"title":"An Efficient Schedule Synthesis Method based on Constraint Programming Technology for Time-Triggered Ethernet","authors":"Haiying Yuan, Tong Zheng, Kai Zhang, Yichen Wang","doi":"10.1109/ICCCS49078.2020.9118453","DOIUrl":null,"url":null,"abstract":"Time-Triggered Ethernet (TTEthernet) efficiently integrates distributed applications with different security levels and real-time requirements in the mixed-criticality system. The key of TTEthernet is the time-triggered mechanism that is achieved by following statically time slot schedule. In the paper, the network model and constraint model are mathematically detailed and exemplified. Constraint programming technology based on ILOG CPLEX is applied innovatively in solve the TTEthernet schedule synthesis problem. Finally, three topologies and two message density scenarios are set up to evaluate the performance of the algorithm in variables, constraint, memory occupancy, and synthesis time dimensions. Numerous experiment results show that the schedule synthesis method is well qualified for the schedules synthesis tasks of TTEthernet.","PeriodicalId":105556,"journal":{"name":"2020 5th International Conference on Computer and Communication Systems (ICCCS)","volume":"77 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2020-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"2020 5th International Conference on Computer and Communication Systems (ICCCS)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ICCCS49078.2020.9118453","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 0

Abstract

Time-Triggered Ethernet (TTEthernet) efficiently integrates distributed applications with different security levels and real-time requirements in the mixed-criticality system. The key of TTEthernet is the time-triggered mechanism that is achieved by following statically time slot schedule. In the paper, the network model and constraint model are mathematically detailed and exemplified. Constraint programming technology based on ILOG CPLEX is applied innovatively in solve the TTEthernet schedule synthesis problem. Finally, three topologies and two message density scenarios are set up to evaluate the performance of the algorithm in variables, constraint, memory occupancy, and synthesis time dimensions. Numerous experiment results show that the schedule synthesis method is well qualified for the schedules synthesis tasks of TTEthernet.
基于约束规划技术的时间触发以太网调度综合方法
时间触发以太网(Time-Triggered Ethernet, tteethernet)能够有效地将不同安全级别和实时性要求的分布式应用集成到混合临界系统中。以太网的关键是时间触发机制,它是通过遵循静态时隙调度来实现的。本文对网络模型和约束模型进行了数学上的详细说明和举例说明。创新性地将基于ILOG CPLEX的约束规划技术应用于解决以太网调度综合问题。最后,设置了三种拓扑和两种消息密度场景,以评估算法在变量、约束、内存占用和合成时间维度上的性能。大量的实验结果表明,该调度综合方法能够很好地满足以太网调度综合任务的要求。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
求助全文
约1分钟内获得全文 求助全文
来源期刊
自引率
0.00%
发文量
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
copy
已复制链接
快去分享给好友吧!
我知道了
右上角分享
点击右上角分享
0
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术官方微信