{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,26]],"date-time":"2026-08-26T08:12:33Z","timestamp":1787731953817,"version":"build-2784847793"},"reference-count":96,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2021,9,5]],"date-time":"2021-09-05T00:00:00Z","timestamp":1630800000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2021,9,5]],"date-time":"2021-09-05T00:00:00Z","timestamp":1630800000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"name":"Technische Hochschule Ingolstadt"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2021,12]]},"abstract":"<jats:title>Abstract<\/jats:title>\n                  <jats:sec>\n                    <jats:title>Context<\/jats:title>\n                    <jats:p>Automotive software architectures describe distributed functionality by an interaction of software components. One drawback of today\u2019s architectures is their strong integration into the onboard communication network based on predefined dependencies at design time. The idea is to reduce this rigid integration and technological dependencies. To this end, service-oriented architecture offers a suitable methodology since network communication is dynamically established at run-time.<\/jats:p>\n                  <\/jats:sec>\n                  <jats:sec>\n                    <jats:title>Aim<\/jats:title>\n                    <jats:p>We target to provide a methodology for analysing hardware resources and synthesising automotive service-oriented architectures based on platform-independent service models. Subsequently, we focus on transforming these models into a platform-specific architecture realisation process following AUTOSAR Adaptive.<\/jats:p>\n                  <\/jats:sec>\n                  <jats:sec>\n                    <jats:title>Approach<\/jats:title>\n                    <jats:p>For the platform-independent part, we apply the concepts of design space exploration and simulation to analyse and synthesise deployment configurations, i.\u00a0e., mapping services to hardware resources at an early development stage. We refine these configurations to AUTOSAR Adaptive software architecture models representing the necessary input for a subsequent implementation process for the platform-specific part.<\/jats:p>\n                  <\/jats:sec>\n                  <jats:sec>\n                    <jats:title>Result<\/jats:title>\n                    <jats:p>We present deployment configurations that are optimal for the usage of a given set of computing resources currently under consideration for our next generation of E\/E architecture. We also provide simulation results that demonstrate the ability of these configurations to meet the run time requirements. Both results helped us to decide whether a particular configuration can be implemented. As a possible software toolchain for this purpose, we finally provide a prototype.<\/jats:p>\n                  <\/jats:sec>\n                  <jats:sec>\n                    <jats:title>Conclusion<\/jats:title>\n                    <jats:p>The use of models and their analysis are proper means to get there, but the quality and speed of development must also be considered.<\/jats:p>\n                  <\/jats:sec>","DOI":"10.1007\/s10270-021-00896-9","type":"journal-article","created":{"date-parts":[[2021,9,5]],"date-time":"2021-09-05T11:02:20Z","timestamp":1630839740000},"page":"1945-1975","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":15,"title":["Model-based resource analysis and synthesis of service-oriented automotive software architectures"],"prefix":"10.1007","volume":"20","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-9833-4548","authenticated-orcid":false,"given":"Stefan","family":"Kugele","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Philipp","family":"Obergfell","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Eric","family":"Sax","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2021,9,5]]},"reference":[{"key":"896_CR1","doi-asserted-by":"publisher","unstructured":"Aleti, A., Bjornander, S., Grunske, L., Meedeniya, I.: Archeopterix: An extendable tool for architecture optimization of aadl models. In: Proceedings of the ICSE Workshop on Model-based Methodologies for Pervasive and Embedded Software, vol.\u00a00, pp. 61\u201371. IEEE Computer Society, Los Alamitos, CA, USA (2009). https:\/\/doi.org\/10.1109\/MOMPES.2009.5069138","DOI":"10.1109\/MOMPES.2009.5069138"},{"issue":"5","key":"896_CR2","doi-asserted-by":"publisher","first-page":"658","DOI":"10.1109\/TSE.2012.64","volume":"39","author":"A Aleti","year":"2013","unstructured":"Aleti, A., Buhnova, B., Grunske, L., Koziolek, A., Meedeniya, I.: Software architecture optimization methods: A systematic literature review. IEEE Trans. Software Eng. 39(5), 658\u2013683 (2013). https:\/\/doi.org\/10.1109\/TSE.2012.64","journal-title":"IEEE Trans. Software Eng."},{"key":"896_CR3","unstructured":"Alliance, G.: GENIVI. https:\/\/www.genivi.org\/. Accessed: 2020-02-11"},{"issue":"2","key":"896_CR4","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R Alur","year":"1994","unstructured":"Alur, R., Dill, D.L.: A theory of timed automata. Theor. Comput. Sci. 126(2), 183\u2013235 (1994). https:\/\/doi.org\/10.1016\/0304-3975(94)90010-8","journal-title":"Theor. Comput. Sci."},{"key":"896_CR5","doi-asserted-by":"publisher","unstructured":"Amdahl, G.M.: Validity of the single processor approach to achieving large scale computing capabilities. In: Proceedings of the April 18\u201320, 1967, spring joint computer conference, pp. 483\u2013485. Association for Computing Machinery (1967). https:\/\/doi.org\/10.1145\/1465482.1465560","DOI":"10.1145\/1465482.1465560"},{"key":"896_CR6","unstructured":"Arunkumar, N., Karunamoorthy, L.: An optimization technique for vendor selection with quantity discounts using genetic algorithm. J. Ind. Eng. Int. Islamic Azad University, South Teheran Branch (2007). http:\/\/www.sid.ir\/En\/VEWSSID\/J_pdf\/117320070401.pdf. [Online; accessed 25-August-2020]"},{"key":"896_CR7","unstructured":"AUTOSAR: Automotive Open System Architecture. http:\/\/www.autosar.org"},{"key":"896_CR8","doi-asserted-by":"publisher","unstructured":"Axelsson, J.: Cost models for electronic architecture trade studies. In: 6th International Conference on Engineering of Complex Computer Systems (ICECCS 2000), 11\u201315 September 2000, Tokyo, Japan, p. 229. IEEE Computer Society (2000). https:\/\/doi.org\/10.1109\/ICECCS.2000.10004","DOI":"10.1109\/ICECCS.2000.10004"},{"key":"896_CR9","doi-asserted-by":"crossref","unstructured":"Axelsson, J.: Cost models with explicit uncertainties for electronic architecture trade-off and risk analysis. In: Proceedings of 16th International Symposium of the International Council on Systems Engineering (2006). http:\/\/www.mrtc.mdh.se\/index.php?choice=publications&id=1155","DOI":"10.1002\/j.2334-5837.2006.tb02844.x"},{"issue":"1","key":"896_CR10","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.jss.2008.03.066","volume":"82","author":"S Becker","year":"2009","unstructured":"Becker, S., Koziolek, H., Reussner, R.H.: The palladio component model for model-driven performance prediction. J. Syst. Softw. 82(1), 3\u201322 (2009). https:\/\/doi.org\/10.1016\/j.jss.2008.03.066","journal-title":"J. Syst. Softw."},{"key":"896_CR11","doi-asserted-by":"publisher","unstructured":"Bengtsson, J., Larsen, K.G., Larsson, F., Pettersson, P., Yi, W.: UPPAAL - a tool suite for automatic verification of real-time systems. In: R.\u00a0Alur, T.A. Henzinger, E.D. Sontag (eds.) Hybrid Systems III: Verification and Control, Proceedings of the DIMACS\/SYCON Workshop on Verification and Control of Hybrid Systems, October 22-25, 1995, Ruttgers University, New Brunswick, NJ, USA, Lecture Notes in Computer Science, vol. 1066, pp. 232\u2013243. Springer (1995). https:\/\/doi.org\/10.1007\/BFb0020949","DOI":"10.1007\/BFb0020949"},{"key":"896_CR12","unstructured":"Bj\u00f8rner, N., Phan, A.D.: $$\\nu $$Z - Maximal Satisfaction with Z3. In: T.\u00a0Kutsia, A.\u00a0Voronkov (eds.) SCSS 2014, EPiC Series, 30, 1\u20139 (2014)"},{"key":"896_CR13","doi-asserted-by":"publisher","unstructured":"Bocchi, L., Fiadeiro, J.L., Lopes, A.: Service-oriented modelling of automotive systems. In: 2008 32nd Annual IEEE International Computer Software and Applications Conference, pp. 1059\u20131064 (2008). https:\/\/doi.org\/10.1109\/COMPSAC.2008.228","DOI":"10.1109\/COMPSAC.2008.228"},{"key":"896_CR14","doi-asserted-by":"publisher","unstructured":"Bosch, J. (ed.): Continuous Software Engineering. Springer (2014). https:\/\/doi.org\/10.1007\/978-3-319-11283-1","DOI":"10.1007\/978-3-319-11283-1"},{"key":"896_CR15","doi-asserted-by":"crossref","unstructured":"Broy, M., Gleirscher, M., Kluge, P., Krenzer, W., Merenda, S., Wild, D.: Automotive architecture framework: Towards a holistic and standardised system architecture description. Tech. rep., Technische Universit\u00e4t M\u00fcnchen (2009). ftp:\/\/ftp.software.ibm.com\/software\/plm\/resources\/AAF_TUM_TRI0915.pdf","DOI":"10.1109\/MC.2009.413"},{"key":"896_CR16","doi-asserted-by":"publisher","unstructured":"Broy, M., Kr\u00fcger, I.H., Meisinger, M.: A formal model of services. ACM Trans. Softw. Eng. Methodol. 16(1) (2007). https:\/\/doi.org\/10.1145\/1189748.1189753","DOI":"10.1145\/1189748.1189753"},{"key":"896_CR17","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4613-0091-5","volume-title":"Specification and development of interactive systems: FOCUS on streams, interfaces, and refinement","author":"M Broy","year":"2001","unstructured":"Broy, M., St\u00f8len, K.: Specification and development of interactive systems: FOCUS on streams, interfaces, and refinement. Springer-Verlag, New York (2001)"},{"issue":"2","key":"896_CR18","doi-asserted-by":"publisher","first-page":"73","DOI":"10.11128\/sne.29.tn.10472","volume":"29","author":"H Bucher","year":"2019","unstructured":"Bucher, H., Kamm, S., Becker, J.: Cross-layer behavioral modeling and simulation of e\/e-architectures using preevision and ptolemy II. Simul. Notes Eur. 29(2), 73\u201378 (2019). https:\/\/doi.org\/10.11128\/sne.29.tn.10472","journal-title":"Simul. Notes Eur."},{"key":"896_CR19","unstructured":"Carnegie Mellon University: Open Source AADL Tool Environment (2020 (accessed August 25, 2020)). https:\/\/osate.org"},{"key":"896_CR20","doi-asserted-by":"publisher","unstructured":"Cebotari, V., Kugele, S.: On the nature of automotive service architectures. In: IEEE International Conference on Software Architecture Companion, ICSA Companion 2019, Hamburg, Germany, March 25-26, 2019, pp. 53\u201360. IEEE (2019). https:\/\/doi.org\/10.1109\/ICSA-C.2019.00017","DOI":"10.1109\/ICSA-C.2019.00017"},{"key":"896_CR21","unstructured":"chronval. https:\/\/www.inchron.com\/tool-suite\/chronval.html. Accessed: 2019-01-16"},{"key":"896_CR22","unstructured":"Dajsuren, Y.: On the design of an architecture framework and quality evaluation for automotive software systems. Dissertation, Technische Universiteit Eindhoven, Eindhoven (2015). https:\/\/pure.tue.nl\/ws\/files\/15934981\/20160307_Dajsuren.pdf"},{"key":"896_CR23","unstructured":"Damm, W., Votintseva, A., Metzner, A., Josko, B., Peikenkamp, T., B\u00f6de, E.: Boosting re\u2013use of embedded automotive applications through rich components. In: FIT 2005\u2014Foundations of Interface Technologies (2005)"},{"key":"896_CR24","unstructured":"Daniel J.G.: Ein modellbasiertes, graphisch notiertes, integriertes Verfahren zur Bewertung und zum Vergleich von Elektrik\/Elektronik-Architekturen. Dissertation, Karlsruher Insitut f\u00fcr Technologie, Karlsruhe (2016). https:\/\/publikationen.bibliothek.kit.edu\/1000062484"},{"key":"896_CR25","unstructured":"Dziwok, S., Pohlmann, U., Piskachev, G., Schubert, D., Thiele, S., Gerking, C.: The mechatronicuml design method: Process and language for platform-independent modeling. Tech. Rep. tr-ri-16-352, Software Engineering Department, Fraunhofer IEM \/ Software Engineering Group, Heinz Nixdorf Institute, Zukunftsmeile 1, 33102 Paderborn, Germany (2016). Version 1.0"},{"key":"896_CR26","unstructured":"EAST-ADL domain model specification (2013). http:\/\/www.east-adl.info\/Specification\/V2.1.12\/EAST-ADL-Specification_V2.1.12.pdf"},{"key":"896_CR27","unstructured":"Eclipse Foundation: Franca IDL. https:\/\/github.com\/franca\/franca. Accessed: 2020-02-12"},{"key":"896_CR28","first-page":"122","volume":"8","author":"R Ernst","year":"2018","unstructured":"Ernst, R., Kuntz, S., Quinton, S., Simons, M.: The logical execution time paradigm: New perspectives for multicore systems (dagstuhl seminar 18092). Dagstuhl Rep. 8, 122\u2013149 (2018)","journal-title":"Dagstuhl Rep."},{"key":"896_CR29","unstructured":"ETAS: ASCET-DEVELOPER. https:\/\/www.etas.com\/de\/portfolio\/ascet-developer.php. Accessed: 2020-02-11"},{"key":"896_CR30","doi-asserted-by":"crossref","unstructured":"Feiler, P., Gluch, D., Hudak, J.: The architecture analysis & design language (AADL): An introduction. Tech. Rep. CMU\/SEI-2006-TN-011, Software Engineering Institute, Carnegie Mellon University, Pittsburgh, PA (2006). http:\/\/resources.sei.cmu.edu\/library\/asset-view.cfm?AssetID=7879","DOI":"10.21236\/ADA455842"},{"key":"896_CR31","doi-asserted-by":"publisher","unstructured":"Fellini, R., Michelena, N., Papalambros, P., Sasena, M.: Optimal design of automotive hybrid powertrain systems. In: Environmentally Conscious Design and Inverse Manufacturing, 1999. Proceedings. EcoDesign \u201999: First International Symposium On, pp. 400\u2013405 (1999). https:\/\/doi.org\/10.1109\/ECODIM.1999.747645","DOI":"10.1109\/ECODIM.1999.747645"},{"key":"896_CR32","doi-asserted-by":"publisher","unstructured":"Ferdinand, C., Heckmann, R., Langenbach, M., Martin, F., Schmidt, M., Theiling, H., Thesing, S., Wilhelm, R.: Reliable and precise WCET determination for a real-life processor. In: T.A. Henzinger, C.M. Kirsch (eds.) Embedded Software, First International Workshop, EMSOFT 2001, Tahoe City, CA, USA, October, 8-10, 2001, Proceedings, Lecture Notes in Computer Science, vol. 2211, pp. 469\u2013485. Springer (2001). https:\/\/doi.org\/10.1007\/3-540-45449-7_32","DOI":"10.1007\/3-540-45449-7_32"},{"key":"896_CR33","doi-asserted-by":"publisher","unstructured":"Florentz, B., Huhn, M.: Embedded systems architecture: Evaluation and analysis. In: C.\u00a0Hofmeister, I.\u00a0Crnkovic, R.H. Reussner (eds.) Quality of Software Architectures, Second International Conference on Quality of Software Architectures, QoSA 2006, V\u00e4ster\u00e5s, Sweden, June 27-29, 2006 Revised Papers, Lecture Notes in Computer Science, vol. 4214, pp. 145\u2013162. Springer (2006). https:\/\/doi.org\/10.1007\/11921998_14","DOI":"10.1007\/11921998_14"},{"key":"896_CR34","unstructured":"fortiss GmbH: Welcome to the fortiss AutoFOCUS 3 (2018). https:\/\/af3-developer.fortiss.org\/"},{"key":"896_CR35","doi-asserted-by":"publisher","unstructured":"Geiger, A., Lenz, P., Urtasun, R.: Are we ready for autonomous driving? the KITTI vision benchmark suite. In: 2012 IEEE Conference on Computer Vision and Pattern Recognition, Providence, RI, USA, June 16-21, 2012, pp. 3354\u20133361. IEEE Computer Society (2012). https:\/\/doi.org\/10.1109\/CVPR.2012.6248074","DOI":"10.1109\/CVPR.2012.6248074"},{"key":"896_CR36","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: W.A. Najjar, H.\u00a0Blume (eds.) Proceedings of the 2008 International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation (IC-SAMOS 2008), Samos, Greece, July 21-24, 2008, pp. 74\u201381. IEEE (2008). https:\/\/doi.org\/10.1109\/ICSAMOS.2008.4664849","DOI":"10.1109\/ICSAMOS.2008.4664849"},{"key":"896_CR37","unstructured":"Google: Android Auto. https:\/\/www.android.com\/auto\/. Accessed: 2020-02-11"},{"issue":"3","key":"896_CR38","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1023\/A:1021039126272","volume":"3","author":"IE Grossmann","year":"2002","unstructured":"Grossmann, I.E.: Review of nonlinear mixed-integer and disjunctive programming techniques. Optim. Eng. 3(3), 227\u2013252 (2002)","journal-title":"Optim. Eng."},{"key":"896_CR39","doi-asserted-by":"publisher","unstructured":"Grunske, L., Lindsay, P.A., Bondarev, E., Papadopoulos, Y., Parker, D.: An outline of an architecture-based method for optimizing dependability attributes of software-intensive systems. In: R.\u00a0de\u00a0Lemos, C.\u00a0Gacek, A.B. Romanovsky (eds.) Architecting Dependable Systems IV [the book is a result of the ICSE 2006 and DSN 2006 workshops], Lecture Notes in Computer Science, vol. 4615, pp. 188\u2013209. Springer (2006). https:\/\/doi.org\/10.1007\/978-3-540-74035-3_9","DOI":"10.1007\/978-3-540-74035-3_9"},{"key":"896_CR40","doi-asserted-by":"publisher","unstructured":"Haberl, W., Herrmannsdoerfer, M., Kugele, S., Tautschnig, M., Wechs, M.: Seamless model-driven development put into practice. In: T.\u00a0Margaria, B.\u00a0Steffen (eds.) Leveraging Applications of Formal Methods, Verification, and Validation - 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I, Lecture Notes in Computer Science, vol. 6415, pp. 18\u201332. Springer (2010). https:\/\/doi.org\/10.1007\/978-3-642-16558-0_4","DOI":"10.1007\/978-3-642-16558-0_4"},{"key":"896_CR41","doi-asserted-by":"publisher","unstructured":"IEEE standard for local and metropolitan area networks - virtual bridged local area networks amendment 12: Forwarding and queuing enhancements for time-sensitive streams. Tech. rep. (2010). https:\/\/doi.org\/10.1109\/IEEESTD.2009.5375704","DOI":"10.1109\/IEEESTD.2009.5375704"},{"key":"896_CR42","doi-asserted-by":"publisher","unstructured":"IEEE standard for local and metropolitan area networks\u2013audio video bridging (AVB) systems. Tech. rep. (2011). https:\/\/doi.org\/10.1109\/IEEESTD.2011.6032690","DOI":"10.1109\/IEEESTD.2011.6032690"},{"key":"896_CR43","unstructured":"IEEE Std 1666-2011 (Revision of IEEE Std 1666-2005): IEEE Standard for Standard SystemC Language Reference Manual. IEEE (2012). https:\/\/books.google.de\/books?id=shlZAQAACAAJ"},{"key":"896_CR44","unstructured":"Inchron: chronSIM. https:\/\/www.inchron.com\/tool-suite\/chronsim.html. Accessed: 2019-01-16"},{"key":"896_CR45","doi-asserted-by":"publisher","unstructured":"ISO\/IEC\/IEEE Systems and software engineering \u2013 Architecture description. ISO\/IEC\/IEEE 42010:2011(E) (Revision of ISO\/IEC 42010:2007 and IEEE Std 1471-2000) pp. 1\u201346 (2011). https:\/\/doi.org\/10.1109\/IEEESTD.2011.6129467","DOI":"10.1109\/IEEESTD.2011.6129467"},{"key":"896_CR46","unstructured":"ISO: Road vehicles\u2013Functional safety (ISO 26262) (2011)"},{"key":"896_CR47","unstructured":"Jaensch, M.: Modulorientiertes Produktlinien Engineering f\u00fcr den modellbasierten Elektrik\/Elektronik-Architekturentwurf. Karlsruher Institut f\u00fcr Technologie (2014). https:\/\/books.google.de\/books?id=mhT1pN4Xg3UC"},{"key":"896_CR48","doi-asserted-by":"publisher","unstructured":"Kampmann, A., Alrifaee, B., Kohout, M., W\u00fcstenberg, A., Woopen, T., Nolte, M., Eckstein, L., Kowalewski, S.: A dynamic service-oriented software architecture for highly automated vehicles. In: 2019 IEEE Intelligent Transportation Systems Conference, ITSC 2019, Auckland, New Zealand, October 27\u201330, 2019, pp. 2101\u20132108. IEEE (2019). https:\/\/doi.org\/10.1109\/ITSC.2019.8916841","DOI":"10.1109\/ITSC.2019.8916841"},{"key":"896_CR49","unstructured":"Kugele, S., Cebotari, V., Gleirscher, M., Farzaneh, M.H., Segler, C., Shafaei, S., V\u00f6gel, H.J., Bauer, F., Knoll, A., Marmsoler, D., Michel, H.U.: Research challenges for a future-proof e\/e architecture\u2014a project statement. In: 15. Workshop Automotive Software Engineering, Proceedings, Chemnitz, Germany. LNI (2017)"},{"key":"896_CR50","doi-asserted-by":"crossref","unstructured":"Kugele, S., Haberl, W., Tautschnig, M., Wechs, M.: Optimizing automatic deployment using non-functional requirement annotations. In: ISoLA, pp. 400\u2013414 (2008)","DOI":"10.1007\/978-3-540-88479-8_28"},{"key":"896_CR51","doi-asserted-by":"publisher","unstructured":"Kugele, S., Hettler, D., Peter, J.: Data-centric communication and containerization for future automotive software architectures. In: IEEE International Conference on Software Architecture, ICSA 2018, Seattle, WA, USA, April 30 - May 4, 2018, pp. 65\u201374. IEEE Computer Society (2018). https:\/\/doi.org\/10.1109\/ICSA.2018.00016","DOI":"10.1109\/ICSA.2018.00016"},{"key":"896_CR52","doi-asserted-by":"publisher","unstructured":"Kugele, S., Hettler, D., Shafaei, S.: Elastic service provision for intelligent vehicle functions. In: W.\u00a0Zhang, A.M. Bayen, J.J.S. Medina, M.J. Barth (eds.) 21st International Conference on Intelligent Transportation Systems, ITSC 2018, Maui, HI, USA, November 4-7, 2018, pp. 3183\u20133190. IEEE (2018). https:\/\/doi.org\/10.1109\/ITSC.2018.8569374","DOI":"10.1109\/ITSC.2018.8569374"},{"key":"896_CR53","doi-asserted-by":"publisher","unstructured":"Kugele, S., Marmsoler, D., Mata, N., Werther, K.: Verification of component architectures using mode-based contracts. In: 2016 ACM\/IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2016, Kanpur, India, November 18-20, 2016, pp. 133\u2013142 (2016). https:\/\/doi.org\/10.1109\/MEMCOD.2016.7797758","DOI":"10.1109\/MEMCOD.2016.7797758"},{"key":"896_CR54","doi-asserted-by":"publisher","unstructured":"Kugele, S., Obergfell, P., Broy, M., Creighton, O., Traub, M., Hopfensitz, W.: On service-orientation for automotive software. In: 2017 IEEE International Conference on Software Architecture, ICSA 2017, Gothenburg, Sweden, April 3-7, 2017, pp. 193\u2013202. IEEE (2017). https:\/\/doi.org\/10.1109\/ICSA.2017.20","DOI":"10.1109\/ICSA.2017.20"},{"key":"896_CR55","doi-asserted-by":"publisher","unstructured":"Kugele, S., Pucea, G., Popa, R., Dieudonn\u00e9, L., Eckardt, H.: On the deployment problem of embedded systems. In: 13. ACM\/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2015, Austin, TX, USA, September 21\u201323, 2015, pp. 158\u2013167. IEEE (2015). https:\/\/doi.org\/10.1109\/MEMCOD.2015.7340482","DOI":"10.1109\/MEMCOD.2015.7340482"},{"key":"896_CR56","doi-asserted-by":"publisher","unstructured":"Kugele, S., Pucea, G.: Model-based optimization of automotive e\/e-architectures. In: V.\u00a0Ganesh, N.\u00a0Williams (eds.) Proceedings of the 6th International Workshop on Constraints in Software Testing, Verification, and Analysis, CSTVA 2014, Hyderabad, India, May 31, 2014, pp. 18\u201329. ACM (2014). https:\/\/doi.org\/10.1145\/2593735.2593739","DOI":"10.1145\/2593735.2593739"},{"issue":"4","key":"896_CR57","doi-asserted-by":"publisher","first-page":"650","DOI":"10.1109\/TR.2008.2006079","volume":"57","author":"R Kumar","year":"2008","unstructured":"Kumar, R., Izui, K., Masataka, M., Nishiwaki, S.: Multilevel redundancy allocation optimization using hierarchical genetic algorithm. IEEE Trans. Reliab. 57(4), 650\u2013661 (2008). https:\/\/doi.org\/10.1109\/TR.2008.2006079","journal-title":"IEEE Trans. Reliab."},{"key":"896_CR58","unstructured":"Lampe, B., Woopen, T., Eckstein, L.: Collective Driving\u2014Cloud Services for Automated Vehicles in UNICARagil. In: 28th Aachen Colloquium. Aachen, Germany (2019)"},{"issue":"3","key":"896_CR59","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1142\/S0218126603000751","volume":"12","author":"EA Lee","year":"2003","unstructured":"Lee, E.A., Neuendorffer, S., Wirthlin, M.J.: Actor-oriented design of embedded hardware and software systems. J. Circ. Syst. Comput. 12(3), 231\u2013260 (2003). https:\/\/doi.org\/10.1142\/S0218126603000751","journal-title":"J. Circ. Syst. Comput."},{"key":"896_CR60","unstructured":"Lohstroh, M., Romero, \u00cd.\u00cd., Goens, A., Derler, P., Castrillon, J., Lee, E.A., Sangiovanni-Vincentelli, A.: Reactors: A deterministic model for composable reactive systems. In: Proceedings of the 9th Workshop on Design, Modeling and Evaluation of Cyber Physical Systems (CyPhy 2019) and the Workshop on Embedded and Cyber-Physical Systems Education (WESE 2019), p. 26pp (2019)"},{"key":"896_CR61","doi-asserted-by":"publisher","unstructured":"Lotz, J., Vogelsang, A., Benderius, O., Berger, C.: Microservice architectures for advanced driver assistance systems: A case-study. In: IEEE International Conference on Software Architecture Companion, ICSA Companion 2019, pp. 45\u201352. IEEE (2019). https:\/\/doi.org\/10.1109\/ICSA-C.2019.00016","DOI":"10.1109\/ICSA-C.2019.00016"},{"key":"896_CR62","doi-asserted-by":"publisher","unstructured":"Lukasiewycz, M., Gla\u00df, M., Haubelt, C., Teich, J., Regler, R., Lang, B.: Concurrent topology and routing optimization in automotive network integration. In: L.\u00a0Fix (ed.) Proceedings of the 45th Design Automation Conference, DAC 2008, Anaheim, CA, USA, June 8-13, 2008, pp. 626\u2013629. ACM (2008). https:\/\/doi.org\/10.1145\/1391469.1391629","DOI":"10.1145\/1391469.1391629"},{"key":"896_CR63","doi-asserted-by":"publisher","unstructured":"Malkis, A., Marmsoler, D.: A model of service-oriented architectures. In: 2015 IX Brazilian Symposium on Components, Architectures and Reuse Software, SBCARS 2015, Belo Horizonte, Minas Gerais, Brazil, September 21\u201322, 2015, pp. 110\u2013119. IEEE Computer Society (2015). https:\/\/doi.org\/10.1109\/SBCARS.2015.22","DOI":"10.1109\/SBCARS.2015.22"},{"issue":"1","key":"896_CR64","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1016\/j.entcs.2009.09.029","volume":"253","author":"A Martens","year":"2009","unstructured":"Martens, A., Koziolek, H.: Automatic, model-based software performance improvement for component-based software designs. Electron. Notes Theor. Comput. Sci. 253(1), 77\u201393 (2009). https:\/\/doi.org\/10.1016\/j.entcs.2009.09.029","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"896_CR65","unstructured":"MATLAB: version 7.10.0 (R2010a). The MathWorks Inc., Natick, Massachusetts (2010)"},{"issue":"5","key":"896_CR66","doi-asserted-by":"publisher","first-page":"835","DOI":"10.1016\/j.jss.2011.01.004","volume":"84","author":"I Meedeniya","year":"2011","unstructured":"Meedeniya, I., Buhnova, B., Aleti, A., Grunske, L.: Reliability-driven deployment optimization for embedded systems. J. Syst. Softw. 84(5), 835\u2013846 (2011). https:\/\/doi.org\/10.1016\/j.jss.2011.01.004","journal-title":"J. Syst. Softw."},{"key":"896_CR67","doi-asserted-by":"crossref","unstructured":"Menard, C., Goens, A., Lohstroh, M., Castrill\u00f3n, J.: Achieving determinism in adaptive AUTOSAR. CoRR abs\/1912.01367 (2019). arXiv:1912.01367","DOI":"10.23919\/DATE48585.2020.9116430"},{"key":"896_CR68","unstructured":"Modelica Association Project \u201cFMI\u201d: Functional Mock-up Interface for Model Exchange and Co-Simulation (2014)"},{"key":"896_CR69","doi-asserted-by":"publisher","unstructured":"Obergfell, P., Kugele, S., Sax, E.: Model-based resource analysis and synthesis of service-oriented automotive software architectures. In: M.\u00a0Kessentini, T.\u00a0Yue, A.\u00a0Pretschner, S.\u00a0Voss, L.\u00a0Burgue\u00f1o (eds.) 22nd ACM\/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2019, Munich, Germany, September 15\u201320, 2019, pp. 128\u2013138. IEEE (2019). https:\/\/doi.org\/10.1109\/MODELS.2019.000-8","DOI":"10.1109\/MODELS.2019.000-8"},{"key":"896_CR70","doi-asserted-by":"publisher","unstructured":"Obergfell, P., Kugele, S., Segler, C., Knoll, A., Sax, E.: Continuous software engineering of innovative automotive functions: An industrial perspective. In: IEEE International Conference on Software Architecture Companion, ICSA Companion 2019, Hamburg, Germany, March 25\u201326, 2019, pp. 127\u2013128. IEEE (2019). https:\/\/doi.org\/10.1109\/ICSA-C.2019.00030","DOI":"10.1109\/ICSA-C.2019.00030"},{"key":"896_CR71","unstructured":"OMG: Data Distribution Service (DDS), 1.4 edn. (2015). http:\/\/www.omg.org\/spec\/DDS\/1.4\/"},{"key":"896_CR72","unstructured":"OMG: Meta object facility (2016). http:\/\/www.omg.org\/spec\/MOF\/"},{"key":"896_CR73","unstructured":"OMG: UML Profile for MARTE: Modeling and Analysis of Real-Time Embedded Systems (2009)"},{"key":"896_CR74","doi-asserted-by":"publisher","unstructured":"Pelliccione, P., Knauss, E., Heldal, R., \u00c5gren, M., Mallozzi, P., Alminger, A., Borgentun, D.: Automotive architecture framework: The experience of Volvo Cars. J. Syst. Archit. 77 (2017). https:\/\/doi.org\/10.1016\/j.sysarc.2017.02.005","DOI":"10.1016\/j.sysarc.2017.02.005"},{"key":"896_CR75","unstructured":"Pohl, K., Broy, M., Daembkes, H., Hnninger, H.: Advanced Model-Based Engineering of Embedded Systems: Extensions of the SPES 2020 Methodology, 1st edn., chap. 3. SPES\\_XT Modeling Framework. Springer Publishing Company, Incorporated (2016)"},{"key":"896_CR76","unstructured":"Preevision. https:\/\/vector.com\/vi_preevision_de.html. Accessed: 2019-01-16"},{"key":"896_CR77","unstructured":"Ptolemaeus, C. (ed.): System Design, Modeling, and Simulation using Ptolemy II. Ptolemy.org (2014). http:\/\/ptolemy.org\/books\/Systems"},{"key":"896_CR78","unstructured":"Quigley, C., McMurran, R., Jones, R., Faithfull, P.: An investigation into cost modelling for design of distributed automotive electrical architectures. In: Automotive Electronics, 2007 3rd Institution of Engineering and Technology Conference on, pp. 1\u20139 (2007)"},{"key":"896_CR79","unstructured":"Qureshi, T.N., T\u00f6rngren, M., Pessson, M., Chen, D.J., Sj\u00f6stedt, C.J.: Towards harmonizing multiplearchitecture description languages for real-time embedded systems. In: Real-Time in Sweden (RTiS) (2011). http:\/\/www.mrtc.mdh.se\/rtis2011\/. QC 20120214"},{"key":"896_CR80","doi-asserted-by":"publisher","unstructured":"Rebholz, H., Tenbohlen, S.: A fast radiated emission model for arbitrary cable harness configurations based on measurements and simulations. In: Electromagnetic Compatibility, 2008. EMC 2008. IEEE International Symposium on, pp. 1\u20135 (2008). https:\/\/doi.org\/10.1109\/ISEMC.2008.4652041","DOI":"10.1109\/ISEMC.2008.4652041"},{"key":"896_CR81","doi-asserted-by":"publisher","unstructured":"Reinhardt, D., Morgan, G.: An embedded hypervisor for safety-relevant automotive e\/e-systems. In: Proceedings of the 9th IEEE International Symposium on Industrial Embedded Systems (SIES 2014), pp. 189\u2013198 (2014). https:\/\/doi.org\/10.1109\/SIES.2014.6871203","DOI":"10.1109\/SIES.2014.6871203"},{"key":"896_CR82","unstructured":"Richter, K.: Compositional scheduling analysis using standard event models. Ph.D. thesis (2004). https:\/\/publikationsserver.tu-braunschweig.de\/receive\/dbbs_mods_00001765"},{"key":"896_CR83","unstructured":"SCADE Overview. http:\/\/www.esterel-technologies.com\/technology\/WhitePapers"},{"key":"896_CR84","doi-asserted-by":"crossref","unstructured":"Seyler, J.R., Streichert, T., Gla\u00df, M., Navet, N., Teich, J.: Formal analysis of the startup delay of SOME\/IP service discovery. In: W.\u00a0Nebel, D.\u00a0Atienza (eds.) Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, DATE 2015, Grenoble, France, March 9-13, 2015, pp. 49\u201354. ACM (2015)","DOI":"10.7873\/DATE.2015.0469"},{"key":"896_CR85","doi-asserted-by":"publisher","unstructured":"Sillmann, B., Glock, T., Ghassemi, R., Sax, E.: A multi-objective optimization approach for analysing and architecting system of systems. In: 2018 Annual IEEE International Systems Conference (SysCon), Vancouver, CDN, April 23\u201326, 2018, pp. 1\u20138. IEEE (2018). https:\/\/doi.org\/10.1109\/SYSCON.2018.8369581","DOI":"10.1109\/SYSCON.2018.8369581"},{"key":"896_CR86","doi-asserted-by":"publisher","unstructured":"Sobieszczanski-Sobieski, J., Kodiyalam, S., Yang, R.Y.: Optimization of car body under constraints of noise, vibration, and harshness (nvh), and crash. Structural and Multidisciplinary Optimization pp. 295\u2013306 (2001). https:\/\/doi.org\/10.1007\/s00158-001-0150-6","DOI":"10.1007\/s00158-001-0150-6"},{"key":"896_CR87","unstructured":"Society of Automotive Engineers: SAE Standards: Architecture Analysis & Design Language (AADL)\u2014AS5506 (November 2004) and AS5506\/1 (2006)"},{"key":"896_CR88","unstructured":"Society of Automotive Engineers: Taxonomy and Definitions for Terms Related to On-road Motor Vehicle Automated Driving Systems. SAE Standard J3016, (2014)"},{"key":"896_CR89","doi-asserted-by":"publisher","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. In: 2013 IEEE International Electric Vehicle Conference (IEVC), pp. 1\u20136 (2013). https:\/\/doi.org\/10.1109\/IEVC.2013.6681152","DOI":"10.1109\/IEVC.2013.6681152"},{"key":"896_CR90","doi-asserted-by":"publisher","unstructured":"Streichert, T., Haubelt, C., Teich, J.: Multi-objective topology optimization for networked embedded systems. In: G.\u00a0Gaydadjiev, C.J. Glossner, J.\u00a0Takala, S.\u00a0Vassiliadis (eds.) Proceedings of 2006 International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation (IC-SAMOS 2006), Samos, Greece, July 17-20, 2006, pp. 93\u201398. IEEE (2006). https:\/\/doi.org\/10.1109\/ICSAMOS.2006.300814","DOI":"10.1109\/ICSAMOS.2006.300814"},{"key":"896_CR91","unstructured":"The MathWorks Inc.: Using Simulink (2000)"},{"key":"896_CR92","doi-asserted-by":"publisher","unstructured":"Thiele, L., Chakraborty, S., Naedele, M.: Real-time calculus for scheduling hard real-time systems. In: 2000 IEEE International Symposium on Circuits and Systems. Emerging Technologies for the 21st Century. Proceedings (IEEE Cat No.00CH36353), vol.\u00a04, pp. 101\u2013104 vol. 4 (2000). https:\/\/doi.org\/10.1109\/ISCAS.2000.858698","DOI":"10.1109\/ISCAS.2000.858698"},{"key":"896_CR93","doi-asserted-by":"publisher","unstructured":"Thiele, L., Chakraborty, S., Naedele, M.: Real-time calculus for scheduling hard real-time systems. In: IEEE International Symposium on Circuits and Systems, ISCAS 2000, Emerging Technologies for the 21st Century, Geneva, Switzerland, 28-31 May 2000, Proceedings, pp. 101\u2013104. IEEE (2000). https:\/\/doi.org\/10.1109\/ISCAS.2000.858698","DOI":"10.1109\/ISCAS.2000.858698"},{"key":"896_CR94","doi-asserted-by":"publisher","unstructured":"Traub, M.: Durchg\u00e4ngige Timing-Bewertung von Vernetzungsarchitekturen und Gateway-Systemen im Kraftfahrzeug. Ph.D. thesis (2010). https:\/\/doi.org\/10.5445\/KSP\/1000020379","DOI":"10.5445\/KSP\/1000020379"},{"issue":"3","key":"896_CR95","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1109\/MS.2017.69","volume":"34","author":"M Traub","year":"2017","unstructured":"Traub, M., Maier, A., Barbeh\u00f6n, K.L.: Future automotive architecture and the impact of IT trends. IEEE Softw. 34(3), 27\u201332 (2017)","journal-title":"IEEE Softw."},{"key":"896_CR96","unstructured":"V\u00f6lker, L.: Scalable service-Oriented MiddlewarE over IP. http:\/\/some-ip.com\/"}],"container-title":["Software and Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-021-00896-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10270-021-00896-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-021-00896-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,5]],"date-time":"2021-12-05T22:14:00Z","timestamp":1638742440000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10270-021-00896-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,9,5]]},"references-count":96,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2021,12]]}},"alternative-id":["896"],"URL":"https:\/\/doi.org\/10.1007\/s10270-021-00896-9","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,9,5]]},"assertion":[{"value":"2 March 2020","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"7 March 2021","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"3 May 2021","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"5 September 2021","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}