{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T04:53:17Z","timestamp":1743137597870,"version":"3.40.3"},"publisher-location":"Cham","reference-count":32,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030680275"},{"type":"electronic","value":"9783030680282"}],"license":[{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021]]},"DOI":"10.1007\/978-3-030-68028-2_9","type":"book-chapter","created":{"date-parts":[[2021,1,29]],"date-time":"2021-01-29T19:02:55Z","timestamp":1611946975000},"page":"173-199","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Efficient Symbolic Routing Encoding for In-vehicle Network Optimization"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-2715-5614","authenticated-orcid":false,"given":"Fedor","family":"Smirnov","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0350-4784","authenticated-orcid":false,"given":"Behnaz","family":"Pourmohseni","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8006-8843","authenticated-orcid":false,"given":"Michael","family":"Gla\u00df","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6285-5862","authenticated-orcid":false,"given":"J\u00fcrgen","family":"Teich","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2021,1,30]]},"reference":[{"issue":"3","key":"9_CR1","doi-asserted-by":"publisher","first-page":"308","DOI":"10.1007\/s11241-012-9171-z","volume":"49","author":"A Al Sheikh","year":"2013","unstructured":"Al Sheikh, A., Brun, O., Ch\u00e9ramy, M., Hladik, P.E.: Optimal design of virtual links in AFDX networks. Real-Time Syst. 49(3), 308\u2013336 (2013)","journal-title":"Real-Time Syst."},{"key":"9_CR2","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1023\/A:1008899229802","volume":"3","author":"T Blickle","year":"1998","unstructured":"Blickle, T., Teich, J., Thiele, L.: System-level synthesis using evolutionary algorithms. Des. Autom. Embed. Syst. 3, 23\u201358 (1998)","journal-title":"Des. Autom. Embed. Syst."},{"key":"9_CR3","doi-asserted-by":"publisher","first-page":"182","DOI":"10.1109\/4235.996017","volume":"6","author":"K Deb","year":"2002","unstructured":"Deb, K., Pratap, A., Agarwal, S., Meyarivan, T.: A fast and elitist multiobjective genetic algorithm: NSGA-II. IEEE Trans. Evol. Comput. 6, 182\u2013197 (2002)","journal-title":"IEEE Trans. Evol. Comput."},{"key":"9_CR4","unstructured":"Dick, R.: Embedded system synthesis benchmarks suite (E3S) (2010). http:\/\/ziyang.eecs.umich.edu\/ dickrp\/e3sdd\/"},{"key":"9_CR5","doi-asserted-by":"crossref","unstructured":"Fuhrman, T., Wang, S., Jersak, M., Richter, K.: On designing software architectures for next-generation multi-core ECUs. SAE Int. J. Passeng. Cars Electron. Electr. Syst. 8(2015-01-0177), 115\u2013123 (2015)","DOI":"10.4271\/2015-01-0177"},{"key":"9_CR6","doi-asserted-by":"crossref","unstructured":"Gavrilut, V., Zarrin, B., Pop, P., Samii, S.: Fault-tolerant topology and routing synthesis for IEEE time-sensitive networking. In: Proceedings of RTNS (2017)","DOI":"10.1145\/3139258.3139284"},{"key":"9_CR7","doi-asserted-by":"crossref","unstructured":"Graf, S., Reimann, F., Gla\u00df, M., Teich, J.: Towards scalable symbolic routing for multi-objective networked embedded system design and optimization. In: Proceedings of CODES+ISSS (2014)","DOI":"10.1145\/2656075.2656102"},{"key":"9_CR8","unstructured":"International Cablemakers Federation: ICF News. International Cablemakers Federation (2015)"},{"key":"9_CR9","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1162\/106365602760234108","volume":"10","author":"M Laumanns","year":"2002","unstructured":"Laumanns, M., Thiele, L., Deb, K., Zitzler, E.: Combining convergence and diversity in evolutionary multiobjective optimization. Evol. Comput. 10, 263\u2013282 (2002)","journal-title":"Evol. Comput."},{"issue":"4","key":"9_CR10","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1145\/3015037.3015044","volume":"13","author":"SM Laursen","year":"2016","unstructured":"Laursen, S.M., Pop, P., Steiner, W.: Routing optimization of AVB streams in TSN networks. ACM SIGBED Rev. 13(4), 43\u201348 (2016)","journal-title":"ACM SIGBED Rev."},{"key":"9_CR11","unstructured":"Le Berre, D., Parrain, A.: The SAT4J library, release 2.2, system description. J. Satis. Boolean Model. Comput. 7, 59\u201364 (2010)"},{"key":"9_CR12","doi-asserted-by":"crossref","unstructured":"Lukasiewycz, M., Gla\u00df, M., Haubelt, C., Teich, J.: SAT-decoding in evolutionary algorithms for discrete constrained optimization problems. In: IEEE Congress on Evolutionary Computation (2007)","DOI":"10.1109\/CEC.2007.4424570"},{"key":"9_CR13","doi-asserted-by":"crossref","unstructured":"Lukasiewycz, M., Gla\u00df, M., Reimann, F., Teich, J.: Opt4J - a modular framework for meta-heuristic optimization. In: Proceedings of GECCO (2011)","DOI":"10.1145\/2001576.2001808"},{"key":"9_CR14","doi-asserted-by":"crossref","unstructured":"Lukasiewycz, M., Shreejith, S., Fahmy, S.A.: System simulation and optimization using reconfigurable hardware. In: Proceedings of ISIC (2014)","DOI":"10.1109\/ISICIR.2014.7029545"},{"key":"9_CR15","doi-asserted-by":"crossref","unstructured":"Lukasiewycz, M., Streub\u00fchr, M., Gla\u00df, M., Haubelt, C., Teich, J.: Combined system synthesis and communication architecture exploration for MPSoCs. In: Proceedings of DATE (2009)","DOI":"10.1109\/DATE.2009.5090711"},{"key":"9_CR16","doi-asserted-by":"crossref","unstructured":"Mahfouzi, R., Aminifar, A., Samii, S., Rezine, A., Eles, P., Peng, Z.: Stability-aware integrated routing and scheduling for control applications in ethernet networks. In: Proceedings of DATE (2018)","DOI":"10.23919\/DATE.2018.8342096"},{"key":"9_CR17","doi-asserted-by":"crossref","unstructured":"Nayak, N.G., D\u00fcrr, F., Rothermel, K.: Time-sensitive software-defined network (TSSDN) for real-time applications. In: Proceedings of RTNS (2016)","DOI":"10.1145\/2997465.2997487"},{"key":"9_CR18","doi-asserted-by":"crossref","unstructured":"Neubauer, K., Wanko, P., Schaub, T., Haubelt, C.: Exact multi-objective design space exploration using ASPmT. In: Proceedings of DATE (2018)","DOI":"10.23919\/DATE.2018.8342014"},{"issue":"7","key":"9_CR19","doi-asserted-by":"publisher","first-page":"956","DOI":"10.1109\/TCAD.2009.2014005","volume":"28","author":"R Obermaisser","year":"2009","unstructured":"Obermaisser, R., El Salloum, C., Huber, B., Kopetz, H.: From a federated to an integrated automotive architecture. IEEE Trans. Comput.-Aid. Des. Integr. Circ. Syst. 28(7), 956\u2013965 (2009)","journal-title":"IEEE Trans. Comput.-Aid. Des. Integr. Circ. Syst."},{"key":"9_CR20","unstructured":"Pourmohseni, B., Smirnov, F., Wildermann, S., Teich, J.: Isolation-aware timing analysis and design space exploration for predictable and composable many-core systems. In: Proceedings of ECRTS (2019)"},{"key":"9_CR21","unstructured":"Reimann, F., Lukasiewycz, M., Gla\u00df, M., Smirnov, F.: OpenDSE - open design space exploration framework (2018). http:\/\/opendse.sourceforge.net\/"},{"key":"9_CR22","unstructured":"Richthammer, V., Gla\u00df, M.: On search-space restriction for design space exploration of multi-\/many-core systems. In: Proceedings of MBMV (2018)"},{"issue":"10","key":"9_CR23","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1109\/MC.2007.344","volume":"40","author":"A Sangiovanni-Vincentelli","year":"2007","unstructured":"Sangiovanni-Vincentelli, A., Di Natale, M.: Embedded system design for automotive applications. Computer 40(10), 42\u201351 (2007)","journal-title":"Computer"},{"key":"9_CR24","doi-asserted-by":"crossref","unstructured":"Schweissguth, E., Danielis, P., Timmermann, D., Parzyjegla, H., M\u00fchl, G.: ILP-based joint routing and scheduling for time-triggered networks. In: Proceedings of RTNS (2017)","DOI":"10.1145\/3139258.3139289"},{"key":"9_CR25","doi-asserted-by":"crossref","unstructured":"Smirnov, F., Gla\u00df, M., Reimann, F., Teich, J.: Optimizing message routing and scheduling in automotive mixed-criticality time-triggered networks. In: Proceedings of DAC (2017)","DOI":"10.1145\/3061639.3062298"},{"key":"9_CR26","doi-asserted-by":"crossref","unstructured":"Smirnov, F., Pourmohseni, B., Gla\u00df, M., Teich, J.: IGOR, get me the Optimum! Prioritizing important design decisions during the DSE of embedded systems. In: Proceedings of CODES+ISSS (2019)","DOI":"10.1145\/3358204"},{"key":"9_CR27","doi-asserted-by":"crossref","unstructured":"Smirnov, F., Pourmohseni, B., Gla\u00df, M., Teich, J.: Variety-aware routing encoding for efficient design space exploration of automotive communication networks. In: Proceedings of VEHITS (2019)","DOI":"10.5220\/0007797802420253"},{"issue":"1","key":"9_CR28","first-page":"9","volume":"24","author":"F Smirnov","year":"2018","unstructured":"Smirnov, F., Reimann, F., Teich, J., Gla\u00df, M.: Automatic optimization of the VLAN partitioning in automotive communication networks. ACM Trans. Des. Autom. Electron. Syst. (TODAES) 24(1), 9 (2018)","journal-title":"ACM Trans. Des. Autom. Electron. Syst. (TODAES)"},{"key":"9_CR29","doi-asserted-by":"crossref","unstructured":"Smirnov, F., Reimann, F., Teich, J., Han, Z., Gla\u00df, M.: Automatic optimization of redundant message routings in automotive networks. In: Proceedings of SCOPES (2018)","DOI":"10.1145\/3207719.3207725"},{"issue":"1","key":"9_CR30","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1109\/65.819168","volume":"14","author":"B Wang","year":"2000","unstructured":"Wang, B., Hou, J.C.: Multicast routing and its QoS extension: problems, algorithms, and protocols. IEEE Netw. 14(1), 22\u201336 (2000)","journal-title":"IEEE Netw."},{"key":"9_CR31","unstructured":"Weichslgartner, A., Gangadharan, D., Wildermann, S., Gla\u00df, M., Teich, J.: DAARM: design-time application analysis and run-time mapping for predictable execution in many-core systems. In: Proceedings of CODES+ISSS (2014)"},{"key":"9_CR32","doi-asserted-by":"crossref","unstructured":"Wolkotte, P.T., Smit, G.J., Kavaldjiev, N., Becker, J.E., Becker, J.: Energy model of networks-on-chip and a bus. In: International Symposium on System-on-Chip (SoC) (2005)","DOI":"10.1109\/ISSOC.2005.1595650"}],"container-title":["Communications in Computer and Information Science","Smart Cities, Green Technologies and Intelligent Transport Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-68028-2_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,3,5]],"date-time":"2021-03-05T05:09:49Z","timestamp":1614920989000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-68028-2_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021]]},"ISBN":["9783030680275","9783030680282"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-68028-2_9","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2021]]},"assertion":[{"value":"30 January 2021","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"VEHITS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Vehicle Technology and Intelligent Transport Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Heraklion, Crete","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Greece","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"3 May 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"5 May 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"5","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"icvti2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.vehits.org\/?y=2019","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Double-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"PRIMORIS","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"90","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"12","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"13% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"4","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"No","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}