{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,21]],"date-time":"2026-07-21T05:20:18Z","timestamp":1784611218339,"version":"3.55.0"},"publisher-location":"New York, NY, USA","reference-count":32,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,4,7]],"date-time":"2021-04-07T00:00:00Z","timestamp":1617753600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2021,4,7]]},"DOI":"10.1145\/3453417.3453423","type":"proceedings-article","created":{"date-parts":[[2021,7,22]],"date-time":"2021-07-22T22:18:55Z","timestamp":1626992335000},"page":"68-77","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":47,"title":["Synthesising Schedules to Improve QoS of Best-effort Traffic in TSN Networks"],"prefix":"10.1145","author":[{"given":"Bahar","family":"Houtan","sequence":"first","affiliation":[{"name":"M\u00e4lardalen University, Sweden"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Mohammad","family":"Ashjaei","sequence":"additional","affiliation":[{"name":"M\u00e4lardalen University, Sweden"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Masoud","family":"Daneshtalab","sequence":"additional","affiliation":[{"name":"M\u00e4lardalen University, Sweden"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Mikael","family":"Sj\u00f6din","sequence":"additional","affiliation":[{"name":"M\u00e4lardalen University, Sweden"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Saad","family":"Mubeen","sequence":"additional","affiliation":[{"name":"M\u00e4lardalen University, Sweden"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2021,7,22]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"Bj\u00f8rner Nikolaj","unstructured":"Nikolaj Bj\u00f8rner , Anh-Dung Phan , and Lars Fleckenstein . 2015. \u03bdZ - An Optimizing SMT Solver . In Tools and Algorithms for the Construction and Analysis of Systems , Christel Baierand Cesare Tinelli (Eds.). Springer Berlin Heidelberg . Nikolaj Bj\u00f8rner, Anh-Dung Phan, and Lars Fleckenstein. 2015. \u03bdZ - An Optimizing SMT Solver. In Tools and Algorithms for the Construction and Analysis of Systems, Christel Baierand Cesare Tinelli (Eds.). Springer Berlin Heidelberg."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"crossref","unstructured":"S.\u00a0S. Craciunas and R.\u00a0S. Oliver. 2016. Combined Task-and Network-level Scheduling for Distributed Time-triggered Systems. Real-Time Systems.  S.\u00a0S. Craciunas and R.\u00a0S. Oliver. 2016. Combined Task-and Network-level Scheduling for Distributed Time-triggered Systems. Real-Time Systems.","DOI":"10.1007\/s11241-015-9244-x"},{"key":"e_1_3_2_1_3_1","volume-title":"Proceedings of the Real-time Summer School.","author":"Craciunas S.","year":"2017","unstructured":"S.\u00a0 S. Craciunas and R.\u00a0 S. Oliver . 2017 . An Overview of Scheduling Mechanisms for Time-sensitive Networks . Proceedings of the Real-time Summer School. S.\u00a0S. Craciunas and R.\u00a0S. Oliver. 2017. An Overview of Scheduling Mechanisms for Time-sensitive Networks. Proceedings of the Real-time Summer School."},{"key":"e_1_3_2_1_4_1","volume-title":"Proceedings of the 24th Intl. Conference on Real-Time Networks and Systems.","author":"Craciunas S.","unstructured":"S.\u00a0 S. Craciunas , R.\u00a0 S. Oliver , M. Chmel\u00edk , and W. Steiner . 2016. Scheduling Real-Time Communication in IEEE 802.1Qbv Time Sensitive Networks . In Proceedings of the 24th Intl. Conference on Real-Time Networks and Systems. S.\u00a0S. Craciunas, R.\u00a0S. Oliver, M. Chmel\u00edk, and W. Steiner. 2016. Scheduling Real-Time Communication in IEEE 802.1Qbv Time Sensitive Networks. In Proceedings of the 24th Intl. Conference on Real-Time Networks and Systems."},{"key":"e_1_3_2_1_5_1","unstructured":"S.\u00a0S Craciunas R.\u00a0S. Oliver and Wilfried Steiner. 2017. Formal scheduling constraints for time-sensitive networks. arXiv preprint arXiv:1712.02246(2017).  S.\u00a0S Craciunas R.\u00a0S. Oliver and Wilfried Steiner. 2017. Formal scheduling constraints for time-sensitive networks. arXiv preprint arXiv:1712.02246(2017)."},{"key":"e_1_3_2_1_6_1","volume-title":"2018 IEEE Real-Time and Embedded Technology and Applications Symposium.","author":"Craciunas S.","unstructured":"S.\u00a0 S. Craciunas , R.\u00a0 S. Oliver , and W. Steiner . 2018. Demo Abstract: Slate XNS\u2013An Online Management Tool for Deterministic TSN Networks . In 2018 IEEE Real-Time and Embedded Technology and Applications Symposium. S.\u00a0S. Craciunas, R.\u00a0S. Oliver, and W. Steiner. 2018. Demo Abstract: Slate XNS\u2013An Online Management Tool for Deterministic TSN Networks. In 2018 IEEE Real-Time and Embedded Technology and Applications Symposium."},{"key":"e_1_3_2_1_7_1","volume-title":"TSNSCHED: Automated Schedule Generation for Time Sensitive Networking. In 2019 Formal Methods in Computer Aided Design","author":"dos Santos T.","year":"2019","unstructured":"A.\u00a0C.\u00a0 T. dos Santos , B. Schneider , and V. Nigam . 2019 . TSNSCHED: Automated Schedule Generation for Time Sensitive Networking. In 2019 Formal Methods in Computer Aided Design . IEEE. A.\u00a0C.\u00a0T. dos Santos, B. Schneider, and V. Nigam. 2019. TSNSCHED: Automated Schedule Generation for Time Sensitive Networking. In 2019 Formal Methods in Computer Aided Design. IEEE."},{"key":"e_1_3_2_1_8_1","volume-title":"Proceedings of the 24th Intl. Conference on Real-Time Networks and Systems.","author":"D\u00fcrr F.","unstructured":"F. D\u00fcrr and N. Nayak . 2016. No-wait Packet Scheduling for IEEE Time-sensitive Networks (TSN) . In Proceedings of the 24th Intl. Conference on Real-Time Networks and Systems. F. D\u00fcrr and N. Nayak. 2016. No-wait Packet Scheduling for IEEE Time-sensitive Networks (TSN). In Proceedings of the 24th Intl. Conference on Real-Time Networks and Systems."},{"key":"e_1_3_2_1_9_1","volume-title":"Proceedings of the 2019 Intl. Conference on Networked Systems. IEEE.","author":"Falk J.","unstructured":"J. Falk , D. Hellmanns , B. Carabelli , N. Nayak , F. D\u00fcrr , S. Kehrer , and K. Rothermel . 2019. NeSTiNg: Simulating IEEE Time-sensitive Networking (TSN) in OMNeT++ . In Proceedings of the 2019 Intl. Conference on Networked Systems. IEEE. J. Falk, D. Hellmanns, B. Carabelli, N. Nayak, F. D\u00fcrr, S. Kehrer, and K. Rothermel. 2019. NeSTiNg: Simulating IEEE Time-sensitive Networking (TSN) in OMNeT++. In Proceedings of the 2019 Intl. Conference on Networked Systems. IEEE."},{"key":"e_1_3_2_1_11_1","volume-title":"Electronics and Mobile Communication Conference.","author":"Farzaneh H.","year":"2016","unstructured":"M.\u00a0 H. Farzaneh and A.\u00a0 C. Knoll . 2016 . An ontology-based Plug-and-Play approach for in-vehicle Time-Sensitive Networking (TSN). In 7th IEEE Annual Information Technology , Electronics and Mobile Communication Conference. M.\u00a0H. Farzaneh and A.\u00a0C. Knoll. 2016. An ontology-based Plug-and-Play approach for in-vehicle Time-Sensitive Networking (TSN). In 7th IEEE Annual Information Technology, Electronics and Mobile Communication Conference."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/VNC.2017.8275648"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2017.8247599"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/VNC.2016.7835941"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"crossref","unstructured":"V. Gavrilu\u0163 L. Zhao M.\u00a0L. Raagaard and P. Pop. 2018. AVB-Aware Routing and Scheduling of Time-Triggered Traffic for TSN. IEEE Access (2018).  V. Gavrilu\u0163 L. Zhao M.\u00a0L. Raagaard and P. Pop. 2018. AVB-Aware Routing and Scheduling of Time-Triggered Traffic for TSN. IEEE Access (2018).","DOI":"10.1109\/ACCESS.2018.2883644"},{"key":"e_1_3_2_1_16_1","unstructured":"IEEE. 2018. IEEE Std. 802.1Q IEEE Standard for Local and metropolitan area networks Bridges and Bridged Networks. (2018).  IEEE. 2018. IEEE Std. 802.1Q IEEE Standard for Local and metropolitan area networks Bridges and Bridged Networks. (2018)."},{"key":"e_1_3_2_1_17_1","unstructured":"IEEE. 2020. IEEE Std. 802.1AS IEEE Standard for Local and Metropolitan Area Networks-Timing and Synchronization for Time-Sensitive Applications. (2020).  IEEE. 2020. IEEE Std. 802.1AS IEEE Standard for Local and Metropolitan Area Networks-Timing and Synchronization for Time-Sensitive Applications. (2020)."},{"key":"e_1_3_2_1_18_1","volume-title":"Real World Automotive Benchmarks for Free. In 6th Intl. Workshop on Analysis Tools and Methodologies for Embedded and Real-Time Systems.","author":"Kramer S.","unstructured":"S. Kramer , D. Ziegenbein , and A. Hamann . 2015 . Real World Automotive Benchmarks for Free. In 6th Intl. Workshop on Analysis Tools and Methodologies for Embedded and Real-Time Systems. S. Kramer, D. Ziegenbein, and A. Hamann. 2015. Real World Automotive Benchmarks for Free. In 6th Intl. Workshop on Analysis Tools and Methodologies for Embedded and Real-Time Systems."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2018.2879544"},{"key":"e_1_3_2_1_20_1","volume-title":"Proc. IEEE","author":"Lo Bello L.","year":"2019","unstructured":"L. Lo Bello and W. Steiner . 2019. A Perspective on IEEE Time-Sensitive Networking for Industrial Communication and Automation Systems . Proc. IEEE ( 2019 ). L. Lo Bello and W. Steiner. 2019. A Perspective on IEEE Time-Sensitive Networking for Industrial Communication and Automation Systems. Proc. IEEE (2019)."},{"key":"e_1_3_2_1_21_1","volume-title":"2020 IEEE 3rd Intl. Conference on Electronics Technology.","author":"Mi Y.","unstructured":"Y. Mi , J. Qu , J. Zhang , and M. Yao . 2020. A Scheduling Algorithm of Maximize the Number of Porosity for the Time-Triggered DIMA System . In 2020 IEEE 3rd Intl. Conference on Electronics Technology. Y. Mi, J. Qu, J. Zhang, and M. Yao. 2020. A Scheduling Algorithm of Maximize the Number of Porosity for the Time-Triggered DIMA System. In 2020 IEEE 3rd Intl. Conference on Electronics Technology."},{"key":"e_1_3_2_1_22_1","volume-title":"Genetic Algorithm for Scheduling Time-Triggered Traffic in Time-Sensitive Networks. In 2018 IEEE 23rd Intl. Conference on Emerging Technologies and Factory Automation.","author":"Pahlevan M.","unstructured":"M. Pahlevan and R. Obermaisser . 2018 . Genetic Algorithm for Scheduling Time-Triggered Traffic in Time-Sensitive Networks. In 2018 IEEE 23rd Intl. Conference on Emerging Technologies and Factory Automation. M. Pahlevan and R. Obermaisser. 2018. Genetic Algorithm for Scheduling Time-Triggered Traffic in Time-Sensitive Networks. In 2018 IEEE 23rd Intl. Conference on Emerging Technologies and Factory Automation."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"crossref","unstructured":"M. Pahlevan J. Schmeck and R. Obermaisser. 2019. Evaluation of TSN Dynamic Configuration Model for Safety-Critical Applications. In 2019 IEEE Intl Conf on Parallel Distributed Processing with Applications Big Data Cloud Computing Sustainable Computing Communications Social Computing Networking (ISPA\/BDCloud\/SocialCom\/SustainCom). 566\u2013571.  M. Pahlevan J. Schmeck and R. Obermaisser. 2019. Evaluation of TSN Dynamic Configuration Model for Safety-Critical Applications. In 2019 IEEE Intl Conf on Parallel Distributed Processing with Applications Big Data Cloud Computing Sustainable Computing Communications Social Computing Networking (ISPA\/BDCloud\/SocialCom\/SustainCom). 566\u2013571.","DOI":"10.1109\/ISPA-BDCloud-SustainCom-SocialCom48970.2019.00086"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"crossref","unstructured":"M. Pahlevan N. Tabassam and R. Obermaisser. 2019. Heuristic List Scheduler for Time Triggered Traffic in Time Sensitive Networks. SIGBED Rev. (Feb. 2019).  M. Pahlevan N. Tabassam and R. Obermaisser. 2019. Heuristic List Scheduler for Time Triggered Traffic in Time Sensitive Networks. SIGBED Rev. (Feb. 2019).","DOI":"10.1145\/3314206.3314208"},{"key":"e_1_3_2_1_25_1","volume-title":"Schedule Reparability: Enhancing Time-Triggered Network Recovery Upon Link Failures. In 2018 IEEE 24th Intl. Conference on Embedded and Real-Time Computing Systems and Applications.","author":"Pozo F.","unstructured":"F. Pozo , G. Rodriguez-Navas , and H. Hansson . 2018 . Schedule Reparability: Enhancing Time-Triggered Network Recovery Upon Link Failures. In 2018 IEEE 24th Intl. Conference on Embedded and Real-Time Computing Systems and Applications. F. Pozo, G. Rodriguez-Navas, and H. Hansson. 2018. Schedule Reparability: Enhancing Time-Triggered Network Recovery Upon Link Failures. In 2018 IEEE 24th Intl. Conference on Embedded and Real-Time Computing Systems and Applications."},{"key":"e_1_3_2_1_26_1","volume-title":"2020 16th IEEE Intl. Conference on Factory Communication Systems.","author":"Reusch N.","unstructured":"N. Reusch , L. Zhao , S.\u00a0 S. Craciunas , and P. Pop . 2020. Window-Based Schedule Synthesis for Industrial IEEE 802.1Qbv TSN Networks . In 2020 16th IEEE Intl. Conference on Factory Communication Systems. N. Reusch, L. Zhao, S.\u00a0S. Craciunas, and P. Pop. 2020. Window-Based Schedule Synthesis for Industrial IEEE 802.1Qbv TSN Networks. In 2020 16th IEEE Intl. Conference on Factory Communication Systems."},{"key":"e_1_3_2_1_27_1","volume-title":"2018 IEEE Real-Time and Embedded Technology and Applications Symposium.","author":"Oliver R. S.","unstructured":"R. S. Oliver , S.\u00a0 S. Craciunas , and W. Steiner . 2018. IEEE 802.1Qbv Gate Control List Synthesis Using Array Theory Encoding . In 2018 IEEE Real-Time and Embedded Technology and Applications Symposium. R. S. Oliver, S.\u00a0S. Craciunas, and W. Steiner. 2018. IEEE 802.1Qbv Gate Control List Synthesis Using Array Theory Encoding. In 2018 IEEE Real-Time and Embedded Technology and Applications Symposium."},{"key":"e_1_3_2_1_28_1","volume-title":"Distributed Industrial Automation Systems. In 2019 ACM\/IEEE 22nd Intl. Conference on Model Driven Engineering Languages and Systems Companion.","author":"Schneider B.","year":"2019","unstructured":"B. Schneider . 2019 . Automatic Network Configuration for Real-Time , Distributed Industrial Automation Systems. In 2019 ACM\/IEEE 22nd Intl. Conference on Model Driven Engineering Languages and Systems Companion. B. Schneider. 2019. Automatic Network Configuration for Real-Time, Distributed Industrial Automation Systems. In 2019 ACM\/IEEE 22nd Intl. Conference on Model Driven Engineering Languages and Systems Companion."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2010.25"},{"key":"e_1_3_2_1_30_1","volume-title":"Synthesis of Static Communication Schedules for Mixed-Criticality Systems. In 2011 14th IEEE Intl. Symposium on Object\/Component\/Service-Oriented Real-Time Distributed Computing Workshops.","author":"Steiner W.","year":"2011","unstructured":"W. Steiner . 2011 . Synthesis of Static Communication Schedules for Mixed-Criticality Systems. In 2011 14th IEEE Intl. Symposium on Object\/Component\/Service-Oriented Real-Time Distributed Computing Workshops. W. Steiner. 2011. Synthesis of Static Communication Schedules for Mixed-Criticality Systems. In 2011 14th IEEE Intl. Symposium on Object\/Component\/Service-Oriented Real-Time Distributed Computing Workshops."},{"key":"e_1_3_2_1_31_1","unstructured":"TSNSched. 2020. Automated Schedule Generation for TSN networks. https:\/\/github.com\/ACassimiro\/TSNsched  TSNSched. 2020. Automated Schedule Generation for TSN networks. https:\/\/github.com\/ACassimiro\/TSNsched"},{"key":"e_1_3_2_1_32_1","unstructured":"Z3Py. 2020. Z3 is a theorem prover from Microsoft Research. https:\/\/pypi.org\/project\/z3-solver\/  Z3Py. 2020. Z3 is a theorem prover from Microsoft Research. https:\/\/pypi.org\/project\/z3-solver\/"},{"key":"e_1_3_2_1_33_1","volume-title":"Worst-Case Latency Analysis for IEEE 802.1Qbv Time Sensitive Networks Using Network Calculus","author":"Zhao L.","year":"2018","unstructured":"L. Zhao , P. Pop , and S.\u00a0 S. Craciunas . 2018. Worst-Case Latency Analysis for IEEE 802.1Qbv Time Sensitive Networks Using Network Calculus . IEEE Access ( 2018 ). L. Zhao, P. Pop, and S.\u00a0S. Craciunas. 2018. Worst-Case Latency Analysis for IEEE 802.1Qbv Time Sensitive Networks Using Network Calculus. IEEE Access (2018)."}],"event":{"name":"RTNS'2021: 29th International Conference on Real-Time Networks and Systems","location":"NANTES France","acronym":"RTNS'2021"},"container-title":["29th International Conference on Real-Time Networks and Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3453417.3453423","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3453417.3453423","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:03:06Z","timestamp":1750197786000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3453417.3453423"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,4,7]]},"references-count":32,"alternative-id":["10.1145\/3453417.3453423","10.1145\/3453417"],"URL":"https:\/\/doi.org\/10.1145\/3453417.3453423","relation":{},"subject":[],"published":{"date-parts":[[2021,4,7]]},"assertion":[{"value":"2021-07-22","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}