{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,4,3]],"date-time":"2024-04-03T06:35:33Z","timestamp":1712126133131},"reference-count":43,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2017,4,10]],"date-time":"2017-04-10T00:00:00Z","timestamp":1491782400000},"content-version":"tdm","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":[[2019,2]]},"DOI":"10.1007\/s10270-017-0592-y","type":"journal-article","created":{"date-parts":[[2017,4,10]],"date-time":"2017-04-10T04:36:59Z","timestamp":1491799019000},"page":"739-767","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":9,"title":["Synthesis and exploration of multi-level, multi-perspective architectures of automotive embedded systems"],"prefix":"10.1007","volume":"18","author":[{"given":"Jordan A.","family":"Ross","sequence":"first","affiliation":[]},{"given":"Alexandr","family":"Murashkin","sequence":"additional","affiliation":[]},{"given":"Jia Hui","family":"Liang","sequence":"additional","affiliation":[]},{"given":"Micha\u0142","family":"Antkiewicz","sequence":"additional","affiliation":[]},{"given":"Krzysztof","family":"Czarnecki","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,4,10]]},"reference":[{"key":"592_CR1","unstructured":"Archeopterix: http:\/\/users.monash.edu.au\/~aldeidaa\/ArcheOpterix.html . Last accessed 21 Feb 2017"},{"key":"592_CR2","unstructured":"Autofocus 3: http:\/\/af3.fortiss.org . Last accessed 21 Feb 2017"},{"key":"592_CR3","unstructured":"Clafer: http:\/\/clafer.org . Last accessed 21 Feb 2017"},{"key":"592_CR4","unstructured":"EAST-ADL domain model specification, version V2.1.12.: http:\/\/east-adl.info\/Specification\/V2.1.12\/EAST-ADL-Specification_V2.1.12.pdf . Last accessed 21 Feb 2017"},{"key":"592_CR5","unstructured":"OSATE, version 2.: http:\/\/osate.org . Last accessed 21 Feb 2017"},{"key":"592_CR6","unstructured":"Aleti, A., Bjornander, S., Grunske, L., Meedeniya, I.: Archeopterix: An extendable tool for architecture optimization of aadl models. In: ICSE Workshop on Model-Based Methodologies for Pervasive and Embedded Software, 2009, MOMPES \u201909. pp. 61\u201371 (2009)"},{"issue":"5","key":"592_CR7","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. Softw. Eng. 39(5), 658\u2013683 (2013)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"592_CR8","doi-asserted-by":"crossref","unstructured":"Antkiewicz, M., B\u0105k, K., Murashkin, A., Olaechea, R., Liang, J., Czarnecki, K.: Clafer tools for product line engineering. In: Software Product Line Conference (2013)","DOI":"10.1145\/2499777.2499779"},{"issue":"3","key":"592_CR9","doi-asserted-by":"publisher","first-page":"811","DOI":"10.1007\/s10270-014-0441-1","volume":"15","author":"K B\u0105k","year":"2016","unstructured":"B\u0105k, K., Diskin, Z., Antkiewicz, M., Czarnecki, K., W\u0105sowski, A.: Clafer: unifying class and feature modeling. Softw. Syst. Model. 15(3), 811\u2013845 (2016)","journal-title":"Softw. Syst. Model."},{"key":"592_CR10","unstructured":"Bosch Semiconductors: CAN literature. http:\/\/www.bosch-semiconductors.de\/en\/automotive_electronics\/ip_modules\/can_literature_2.html . Last accessed 21 Feb 2017"},{"key":"592_CR11","unstructured":"Brandt, L., Kr\u00e4mer, N., Metzger, J., Lindemann, U., et\u00a0al.: Optimization approach for function-partitioning in an automotive electric electronic system architecture. In: DS 70: Proceedings of DESIGN 2012 (2012)"},{"key":"592_CR12","doi-asserted-by":"crossref","unstructured":"Broy, M.: Challenges in automotive software engineering. In: 28th International Conference on Software Engineering, pp. 33\u201342 (2006)","DOI":"10.1145\/1134285.1134292"},{"issue":"6","key":"592_CR13","doi-asserted-by":"publisher","first-page":"515","DOI":"10.1016\/0305-0548(95)00056-9","volume":"23","author":"DW Coit","year":"1996","unstructured":"Coit, D.W., Smith, A.E.: Solving the redundancy allocation problem using a combined neural network\/genetic algorithm approach. Comput. Oper. Res. 23(6), 515\u2013526 (1996)","journal-title":"Comput. Oper. Res."},{"issue":"1","key":"592_CR14","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1109\/24.690912","volume":"47","author":"DW Coit","year":"1998","unstructured":"Coit, D.W., Smith, A.E.: Redundancy allocation to maximize a lower percentile of the system time-to-failure distribution. IEEE Trans. Reliabil. 47(1), 79\u201387 (1998)","journal-title":"IEEE Trans. Reliabil."},{"key":"592_CR15","doi-asserted-by":"crossref","unstructured":"Cuenot, P., Chen, D., Gerard, S., Lonn, H., Reiser, M.O., Servat, D., Sjostedt, C.J., Kolagari, R., Torngren, M., Weber, M.: Managing complexity of automotive electronics using the EAST-ADL. In: 12th IEEE International Conference on Engineering Complex Computer Systems, 2007, pp. 353\u2013358 (2007)","DOI":"10.1109\/ICECCS.2007.28"},{"issue":"10","key":"592_CR16","doi-asserted-by":"publisher","first-page":"900","DOI":"10.1109\/43.728913","volume":"17","author":"BP Dave","year":"1998","unstructured":"Dave, B.P., Jha, N.K.: Cohra: hardware-software cosynthesis of hierarchical heterogeneous distributed embedded systems. IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst. 17(10), 900\u2013919 (1998)","journal-title":"IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst."},{"issue":"3","key":"592_CR17","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1007\/s11241-007-9012-7","volume":"35","author":"RI Davis","year":"2007","unstructured":"Davis, R.I., Burns, A., Bril, R.J., Lukkien, J.J.: Controller area network (can) schedulability analysis: refuted, revisited and revised. Real-Time Syst. 35(3), 239\u2013272 (2007)","journal-title":"Real-Time Syst."},{"key":"592_CR18","unstructured":"Feiler, P., Hansson, J.: Flow latency analysis with the architecture analysis and design language (AADL). Tech. Rep. CMU\/SEI-2007-TN-010, Software Engineering Institute, Carnegie Mellon University, Pittsburgh, PA (2007). http:\/\/resources.sei.cmu.edu\/library\/asset-view.cfm?AssetID=8229"},{"key":"592_CR19","doi-asserted-by":"crossref","unstructured":"Florentz, B., Huhn, M.: Embedded systems architecture: evaluation and analysis. In: Proceedings of the 2nd International Conference on Quality of Software Architectures, QoSA\u201906, pp. 145\u2013162 (2006)","DOI":"10.1007\/11921998_14"},{"key":"592_CR20","unstructured":"Gla\u00df, M., Lukasiewycz, M., Wanka, R., Haubelt, C., Teich, J.: Multi-objective routing and topology optimization in networked embedded systems. In: Embedded Computer Systems: Architectures, Modeling, and Simulation 2008, 74\u201381 (2008)"},{"key":"592_CR21","doi-asserted-by":"crossref","unstructured":"Graf, S., Gla\u00df, M., Teich, J., Lauer, C.: Multi-variant-based design space exploration for automotive embedded systems. In: Proceedings of the Conference on Design, Automation and Test in Europe, DAT \u201914, pp. 7:1\u20137:6. European Design and Automation Association (2014)","DOI":"10.7873\/DATE.2014.020"},{"key":"592_CR22","doi-asserted-by":"crossref","unstructured":"Han, K., Kwon, Y., Kim, W., Cho, J.: Distributed hierarchical service network for automotive embedded system. In: Information Networking (ICOIN), pp. 188\u2013192 (2012)","DOI":"10.1109\/ICOIN.2012.6164375"},{"key":"592_CR23","unstructured":"ISO: Road vehicles\u2013local interconnect network (LIN)\u2014part 6: Protocol conformance test specification (2015). ISO\/DIS 17987-6.2"},{"key":"592_CR24","unstructured":"Jackson, D., Estler, H., Rayside, D., et\u00a0al.: The guided improvement algorithm for exact, general-purpose, many-objective combinatorial optimization (2009)"},{"key":"592_CR25","doi-asserted-by":"crossref","unstructured":"Kang, E., Jackson, E., Schulte, W.: An approach for effective design space exploration. In: Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems, pp. 33\u201354. Springer (2010)","DOI":"10.1007\/978-3-642-21292-5_3"},{"key":"592_CR26","doi-asserted-by":"crossref","unstructured":"Kang, K., Cohen, S., Hess, J., Novak, W., Peterson, A.: Feature-oriented domain analysis (foda) feasibility study. Tech. Rep. CMU\/SEI-90-TR-021, Software Engineering Institute, Carnegie Mellon University, Pittsburgh, PA (1990). http:\/\/resources.sei.cmu.edu\/library\/asset-view.cfm?AssetID=11231","DOI":"10.21236\/ADA235785"},{"key":"592_CR27","doi-asserted-by":"crossref","unstructured":"Kugele, S., Pucea, G.: Model-based optimization of automotive E\/E-architectures. In: Proceedings of the 6th International Workshop on Constraints in Software Testing, Verification, and Analysis, CSTVA 2014, pp. 18\u201329 (2014)","DOI":"10.1145\/2593735.2593739"},{"key":"592_CR28","doi-asserted-by":"crossref","unstructured":"Li, R., Etemaadi, R., Emmerich, M.T.M., Chaudron, M.R.V.: An evolutionary multiobjective optimization approach to component-based software architecture design. In: Evolutionary Computation (CEC), pp. 432\u2013439 (2011)","DOI":"10.1109\/CEC.2011.5949650"},{"issue":"11","key":"592_CR29","doi-asserted-by":"publisher","first-page":"1730","DOI":"10.1109\/TCAD.2015.2448680","volume":"34","author":"CW Lin","year":"2015","unstructured":"Lin, C.W., Rao, L., Giusto, P., D\u2019Ambrosio, J., Sangiovanni-Vincentelli, A.L.: Efficient wire routing and wire sizing for weight minimization of automotive systems. IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst. 34(11), 1730\u20131741 (2015)","journal-title":"IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst."},{"key":"592_CR30","doi-asserted-by":"crossref","unstructured":"Meedeniya, I.: Architecture optimisation of embedded systems under uncertainty in probabilistic reliability evaluation model parameters. Ph.D. thesis, Swinburne University of Technology, Melbourne, Australia (2012)","DOI":"10.1109\/SEES.2012.6225486"},{"key":"592_CR31","doi-asserted-by":"crossref","unstructured":"Meedeniya, I., Buhnova, B., Aleti, A., Grunske, L.: Architecture-driven reliability and energy optimization for complex embedded systems. In: Proceedings of the 6th International Conference on Quality of Software Architectures: Research into Practice\u2014Reality and Gaps, QoSA\u201910, pp. 52\u201367 (2010)","DOI":"10.1007\/978-3-642-13821-8_6"},{"issue":"5","key":"592_CR32","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)","journal-title":"J. Syst. Softw."},{"key":"592_CR33","doi-asserted-by":"crossref","unstructured":"Meedeniya, I., Moser, I., Aleti, A., Grunske, L.: Architecture-based reliability evaluation under uncertainty. In: Proceedings of the Joint ACM SIGSOFT Conference\u2014QoSA and Symposium\u2014ISARCS on Quality of Software Architectures, QoSA-ISARCS \u201911, pp. 85\u201394 (2011)","DOI":"10.1145\/2000259.2000275"},{"key":"592_CR34","doi-asserted-by":"crossref","unstructured":"Montgomery, J., Moser, I.: Parallel constraint handling in a multiobjective evolutionary algorithm for the automotive deployment problem. In: 6th IEEE International Conference on e-Science Workshops, 2010, pp. 104\u2013109 (2010)","DOI":"10.1109\/eScienceW.2010.26"},{"key":"592_CR35","unstructured":"Murashkin, A.: Automotive electronic\/electric architecture modeling, design exploration and optimization using Clafer. Master\u2019s thesis, University of Waterloo (2014). https:\/\/uwspace.uwaterloo.ca\/handle\/10012\/8780"},{"key":"592_CR36","doi-asserted-by":"crossref","unstructured":"Murashkin, A., Antkiewicz, M., Rayside, D., Czarnecki, K.: Visualization and exploration of optimal variants in product line engineering. In: Software Product Line Conference (2013)","DOI":"10.1145\/2491627.2491647"},{"key":"592_CR37","unstructured":"Nicholson, M., Burns, A., Dd, Y.: Emergence of an architectural topology for safety-critical real-time systems (1997)"},{"key":"592_CR38","unstructured":"Prud\u2019homme, C., Fages, J.G., Lorca, X.: Choco3 Documentation. TASC, INRIA Rennes, LINA CNRS UMR 6241, COSLING S.A.S. (2014). http:\/\/www.choco-solver.org . Last accessed 21 Feb 2017"},{"key":"592_CR39","unstructured":"Ross, J., Antkiewicz, M., Czarnecki, K.: Case studies on E\/E architectures for power window and central door locks systems (2016). http:\/\/gsd.uwaterloo.ca\/node\/667"},{"key":"592_CR40","doi-asserted-by":"crossref","unstructured":"Sch\u00e4uffele, J.: E\/e architectural design and optimization using preevision. Tech. rep, SAE Technical Paper (2016)","DOI":"10.4271\/2016-01-0016"},{"key":"592_CR41","doi-asserted-by":"publisher","unstructured":"Voss, S., Eder, J., Schaetz, B. (eds.).: Scheduling Synthesis for Multi-Period SW Components. SAE Technical Paper 2016-01-0012 (2016). doi: 10.4271\/2016-01-0012","DOI":"10.4271\/2016-01-0012"},{"key":"592_CR42","doi-asserted-by":"crossref","unstructured":"Voss, S., Schatz, B.: Deployment and scheduling synthesis for mixed-critical shared-memory applications. In: 20th IEEE International Conference and Workshops on the Engineering of Computer Based Systems (ECBS), 2013, pp. 100\u2013109 (2013)","DOI":"10.1109\/ECBS.2013.23"},{"issue":"10","key":"592_CR43","doi-asserted-by":"publisher","first-page":"1067","DOI":"10.1016\/j.sysarc.2012.11.003","volume":"59","author":"M Zeller","year":"2013","unstructured":"Zeller, M., Prehofer, C.: Modeling and efficient solving of extra-functional properties for adaptation in networked embedded real-time systems. J. Syst. Archit. 59(10), 1067\u20131082 (2013)","journal-title":"J. Syst. Archit."}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-017-0592-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-017-0592-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-017-0592-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,20]],"date-time":"2019-09-20T21:03:01Z","timestamp":1569013381000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-017-0592-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,4,10]]},"references-count":43,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2019,2]]}},"alternative-id":["592"],"URL":"https:\/\/doi.org\/10.1007\/s10270-017-0592-y","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,4,10]]},"assertion":[{"value":"11 August 2016","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"27 February 2017","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"13 March 2017","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"10 April 2017","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}