{"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.