{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,24]],"date-time":"2025-10-24T08:21:29Z","timestamp":1761294089101},"reference-count":33,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2020,3,12]],"date-time":"2020-03-12T00:00:00Z","timestamp":1583971200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,3,12]],"date-time":"2020-03-12T00:00:00Z","timestamp":1583971200000},"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":["Softw Syst Model"],"published-print":{"date-parts":[[2020,7]]},"DOI":"10.1007\/s10270-020-00786-6","type":"journal-article","created":{"date-parts":[[2020,3,12]],"date-time":"2020-03-12T06:02:27Z","timestamp":1583992947000},"page":"911-934","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":9,"title":["Hardware architecture exploration: automatic exploration of distributed automotive hardware architectures"],"prefix":"10.1007","volume":"19","author":[{"given":"Johannes","family":"Eder","sequence":"first","affiliation":[]},{"given":"Sebastian","family":"Voss","sequence":"additional","affiliation":[]},{"given":"Andreas","family":"Bayha","sequence":"additional","affiliation":[]},{"given":"Alexandru","family":"Ipatiov","sequence":"additional","affiliation":[]},{"given":"Maged","family":"Khalil","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2020,3,12]]},"reference":[{"key":"786_CR1","doi-asserted-by":"publisher","first-page":"4503","DOI":"10.1145\/1235","volume-title":"A Lightweight Design Space Exploration and Optimization Language","author":"SV Alexander Diewald","year":"2015","unstructured":"Alexander Diewald, S.V., Barner, S.: A Lightweight Design Space Exploration and Optimization Language, p. 4503. ACM, New York (2015). https:\/\/doi.org\/10.1145\/1235"},{"key":"786_CR2","unstructured":"Aravantinos, V., Voss, S., Teufl, S., H\u00f6lzl, F., Sch\u00e4tz, B.: AutoFOCUS 3: tooling concepts for seamless, model-based development of embedded systems. In: CEUR Workshop Proceedings, vol. 1508, pp. 19\u201326 (2015)"},{"key":"786_CR3","doi-asserted-by":"publisher","unstructured":"Bajaj, N., Nuzzo, P., Masin, M., Sangiovanni-Vincentelli, A.: Optimized selection of reliable and cost-effective cyber-physical system architectures. In: Design, Automation and Test in Europe Conference and Exhibition (DATE), 2015, pp. 561\u2013566 (2015). https:\/\/doi.org\/10.7873\/DATE.2015.0913.\nhttp:\/\/ieeexplore.ieee.org\/xpl\/articleDetails.jsp?arnumber=7092450","DOI":"10.7873\/DATE.2015.0913."},{"key":"786_CR4","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1201\/9781351117821-9","volume-title":"Modeling and Development Process","author":"S Barner","year":"2018","unstructured":"Barner, S., Chauvel, F., Diewald, A., Eizaguirre, F., Haugen, \u00d8., Migge, J., Vasilevskiy, A.: Modeling and Development Process, p. 76. CRC Press, Boca Raton (2018). https:\/\/doi.org\/10.1201\/9781351117821-9"},{"key":"786_CR5","unstructured":"Barrett, C., Stump, A., Tinelli, C., et\u00a0al.: The SMT-LIB standard: version 2.0. In: Proceedings of the 8th International Workshop on Satisfiability Modulo Theories (Edinburgh, England), vol.\u00a013, p.\u00a014 (2010)"},{"key":"786_CR6","doi-asserted-by":"crossref","unstructured":"Bayha, A., L\u00facio, L., Aravantinos, V., Miyamoto, K., Igna, G.: Factory product lines: tackling the compatibility problem. In: Proceedings of the Tenth International Workshop on Variability Modelling of Software-Intensive Systems, pp. 57\u201364. ACM, New York (2016)","DOI":"10.1145\/2866614.2866623"},{"key":"786_CR7","doi-asserted-by":"publisher","unstructured":"Becker, K., Voss, S.: Analyzing graceful degradation for mixed critical fault-tolerant real-time systems. In: 2015 IEEE 18th International Symposium on Real-Time Distributed Computing, pp. 110\u2013118 (2015). https:\/\/doi.org\/10.1109\/ISORC.2015.10","DOI":"10.1109\/ISORC.2015.10"},{"key":"786_CR8","doi-asserted-by":"publisher","unstructured":"Bilic, D., Brosse, E., Sadovykh, A., Truscan, D., Bruneliere, H., Ryssel, U.: An integrated model-based tool chain for managing variability in complex system design. In: Models and Evolution Workshop (ME 2019), Co-Located with the IEEE\/ACM 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS 2019) (2019). https:\/\/doi.org\/10.1109\/MODELS-C.2019.00045","DOI":"10.1109\/MODELS-C.2019.00045"},{"key":"786_CR9","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1007\/978-3-662-46681-0_14","volume-title":"Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)","author":"N Bj\u00f8rner","year":"2015","unstructured":"Bj\u00f8rner, N., Phan, A.D., Fleckenstein, L.: $$\\nu $$Z-an optimizing SMT solver. In: Baier, C., Tinelli, C. (eds.) Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 9035, pp. 194\u2013199. Springer, Berlin (2015). https:\/\/doi.org\/10.1007\/978-3-662-46681-0_14"},{"key":"786_CR10","unstructured":"Brandt, L.S., Kr\u00e4mer, N., Metzger, J., Lindemann, U.: Optimization approach for function-partitioning in an automotive electric electronic system architecture. In: Proceedings of International Design Conference, DESIGN DS, vol. 70, pp. 737\u2013746 (2012)"},{"key":"786_CR11","volume-title":"Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement","author":"M Broy","year":"2012","unstructured":"Broy, M., St\u00f8len, K.: Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement. Springer, Berlin (2012)"},{"key":"786_CR12","doi-asserted-by":"crossref","unstructured":"De\u00a0Moura, L., Bj\u00f8rner, N.: Z3: an efficient SMT solver. In: International Conference on Tools and Algorithms for the Construction and Analysis of Systems, pp. 337\u2013340. Springer, Berlin (2008)","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"786_CR13","doi-asserted-by":"publisher","unstructured":"Eder, J., Bahya, A., Voss, S., Ipatiov, A., Khalil, M.: From deployment to platform exploration: automatic synthesis of distributed automotive hardware architectures. In: Proceedings\u201421st ACM\/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2018 (2018). https:\/\/doi.org\/10.1145\/3239372.3239385","DOI":"10.1145\/3239372.3239385"},{"key":"786_CR14","doi-asserted-by":"publisher","unstructured":"Eder, J., Zverlov, S., Voss, S., Khalil, M., Ipatiov, A.: Bringing DSE to life: exploring the design space of an industrial automotive use case. In: 2017 ACM\/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS) (2017). https:\/\/doi.org\/10.1109\/MODELS.2017.36","DOI":"10.1109\/MODELS.2017.36"},{"key":"786_CR15","doi-asserted-by":"publisher","unstructured":"Gla\u00df, M., Lukasiewycz, M., Wanka, R., Haubelt, C., Teich, J.: Multi-objective routing and topology optimization in networked embedded systems. In: Proceedings\u20142008 International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation, IC-SAMOS 2008, pp. 74\u201381 (2008). https:\/\/doi.org\/10.1109\/ICSAMOS.2008.4664849","DOI":"10.1109\/ICSAMOS.2008.4664849"},{"key":"786_CR16","unstructured":"ISO, I.: 26262: road vehicles-functional safety. In: International Standard ISO\/FDIS, vol. 26262 (2011)"},{"key":"786_CR17","unstructured":"ISO\/IEC, S..: ISO\/IEC 42010 systems and software engineering\u2014architectural description. In: International Standard ISO\/IEC, vol. 42010 (2011)"},{"key":"786_CR18","doi-asserted-by":"publisher","unstructured":"Kugele, S., Pucea, G., Popa, R., Dieudonne, L., Eckardt, H.: On the deployment problem of embedded systems. In: 2015 ACM\/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2015, pp. 158\u2013167 (2015). https:\/\/doi.org\/10.1109\/MEMCOD.2015.7340482","DOI":"10.1109\/MEMCOD.2015.7340482"},{"key":"786_CR19","unstructured":"(OMG), O.M.G.: Omg systems modeling language (omg sysml$$^{\\rm TM}$$) (2012)"},{"key":"786_CR20","doi-asserted-by":"publisher","unstructured":"Pasricha, S., Dutt, N.: Floorplan-aware automated synthesis of bus-based communication architectures. In: Proceedings of the 42nd Annual Design Automation Conference, pp. 565\u2013570 (2005). https:\/\/doi.org\/10.1145\/1065579.1065727, http:\/\/dl.acm.org\/citation.cfm?id=1065727","DOI":"10.1145\/1065579.1065727"},{"issue":"3","key":"786_CR21","doi-asserted-by":"publisher","first-page":"537","DOI":"10.1145\/1142980.1142982","volume":"11","author":"A Pinto","year":"2006","unstructured":"Pinto, A., Bonivento, A., Passerone, R., Sangiovanni-Vincetelli, A.: System level design paradigms: platform-based design and communication synthesis. ACM Trans. Des. Autom. Electron. Syst. 11(3), 537\u2013563 (2006). https:\/\/doi.org\/10.1145\/1142980.1142982","journal-title":"ACM Trans. Des. Autom. Electron. Syst."},{"key":"786_CR22","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-28901-1","volume-title":"Software Product Line Engineering: Foundations, Principles and Techniques","author":"K Pohl","year":"2005","unstructured":"Pohl, K., B\u00f6ckle, G., van Der Linden, F.J.: Software Product Line Engineering: Foundations, Principles and Techniques. Springer, Berlin (2005)"},{"key":"786_CR23","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-319-48003-9_1","volume-title":"Advanced Model-Based Engineering of Embedded Systems","author":"K Pohl","year":"2016","unstructured":"Pohl, K., Broy, M., Daembkes, H., H\u00f6nninger, H.: Advanced model-based engineering of embedded systems. In: Pohl, K., Broy, M., Daembkes, H., H\u00f6nninger, H. (eds.) Advanced Model-Based Engineering of Embedded Systems, pp. 3\u20139. Springer, Cham (2016)"},{"key":"786_CR24","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-34614-9","volume-title":"Model-Based Engineering of Embedded Systems: The SPES 2020 Methodology","author":"K Pohl","year":"2012","unstructured":"Pohl, K., H\u00f6nninger, H., Achatz, R., Broy, M.: Model-Based Engineering of Embedded Systems: The SPES 2020 Methodology. Springer, Berlin (2012)"},{"issue":"4","key":"786_CR25","doi-asserted-by":"publisher","first-page":"510","DOI":"10.1109\/JPROC.2010.2041835","volume":"98","author":"KV Prasad","year":"2010","unstructured":"Prasad, K.V., Broy, M., Krueger, I.: Scanning advances in aerospace and automobile software technology. Proc. IEEE 98(4), 510\u2013514 (2010). https:\/\/doi.org\/10.1109\/JPROC.2010.2041835","journal-title":"Proc. IEEE"},{"key":"786_CR26","doi-asserted-by":"publisher","unstructured":"Pretschner, A., Broy, M., Kr\u00fcger, I.H., Stauner, T.: Software engineering for automotive systems: a roadmap. In: FoSE 2007: Future of Software Engineering, pp. 55\u201371 (2007). https:\/\/doi.org\/10.1109\/FOSE.2007.22","DOI":"10.1109\/FOSE.2007.22"},{"key":"786_CR27","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-017-0592-y","author":"JA Ross","year":"2017","unstructured":"Ross, J.A., Murashkin, A., Liang, J.H., Antkiewicz, M., Czarnecki, K.: Synthesis and exploration of multi-level, multi-perspective architectures of automotive embedded systems. Softw. Syst. Model. (2017). https:\/\/doi.org\/10.1007\/s10270-017-0592-y","journal-title":"Softw. Syst. Model."},{"key":"786_CR28","doi-asserted-by":"publisher","unstructured":"Sch\u00e4tz, B., Voss, S., Zverlov, S.: Automating design-space exploration: optimal deployment of automotive SW-components in an ISO26262 context. In: Proceedings of the 52nd Annual Design Automation Conference, pp. 99:1\u201399:6 (2015). https:\/\/doi.org\/10.1145\/2744769.2747912","DOI":"10.1145\/2744769.2747912"},{"key":"786_CR29","doi-asserted-by":"crossref","unstructured":"Sommer, S., Camek, A., Becker, K., Buckl, C., Zirkler, A., Fiege, L., Armbruster, M., Spiegelberg, G., Knoll, A.: RACE: a centralized platform computer based architecture for automotive applications (2013)","DOI":"10.1109\/IEVC.2013.6681152"},{"key":"786_CR30","doi-asserted-by":"publisher","unstructured":"Voss, S., Schatz, B.: Deployment and scheduling synthesis for mixed-critical shared-memory applications. In: Proceedings of the International Symposium and Workshop on Engineering of Computer Based Systems (April), pp. 100\u2013109 (2013). https:\/\/doi.org\/10.1109\/ECBS.2013.23","DOI":"10.1109\/ECBS.2013.23"},{"key":"786_CR31","volume-title":"The Object Constraint Language: Getting Your Models Ready for MDA","author":"JB Warmer","year":"2003","unstructured":"Warmer, J.B., Kleppe, A.G.: The Object Constraint Language: Getting Your Models Ready for MDA. Addison-Wesley Professional, Boston (2003)"},{"key":"786_CR32","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysarc.2012.11.003","author":"M Zeller","year":"2012","unstructured":"Zeller, M., Prehofer, C.: Modeling and efficient solving of extra-functional properties for adaptation in networked embedded real-time systems. J. Syst. Archit. (2012). https:\/\/doi.org\/10.1016\/j.sysarc.2012.11.003","journal-title":"J. Syst. Archit."},{"key":"786_CR33","doi-asserted-by":"publisher","unstructured":"Zverlov, S., Voss, S.: Synthesis of pareto efficient technical architectures for multi-core systems. In: 2014 IEEE 38th International Computer Software and Applications Conference Workshops, pp. 366\u2013371 (2014). https:\/\/doi.org\/10.1109\/COMPSACW.2014.63","DOI":"10.1109\/COMPSACW.2014.63"}],"container-title":["Software and Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-020-00786-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-020-00786-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-020-00786-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,3,12]],"date-time":"2021-03-12T00:54:54Z","timestamp":1615510494000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-020-00786-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,3,12]]},"references-count":33,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2020,7]]}},"alternative-id":["786"],"URL":"https:\/\/doi.org\/10.1007\/s10270-020-00786-6","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020,3,12]]},"assertion":[{"value":"14 August 2019","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"13 December 2019","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"7 February 2020","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"12 March 2020","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}