乐胖代购免代理版

{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,6]],"date-time":"2024-10-06T00:57:52Z","timestamp":1728176272843},"reference-count":90,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2018,11,26]],"date-time":"2018-11-26T00:00:00Z","timestamp":1543190400000},"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":["Autom Softw Eng"],"published-print":{"date-parts":[[2019,6]]},"DOI":"10.1007\/s10515-018-0248-3","type":"journal-article","created":{"date-parts":[[2018,11,26]],"date-time":"2018-11-26T09:46:19Z","timestamp":1543225579000},"page":"315-378","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":11,"title":["Model-driven allocation engineering: specifying and solving constraints based on the example of automotive systems"],"prefix":"10.1007","volume":"26","author":[{"ORCID":"http:\/\/orcid.org\/0000-0002-6571-7788","authenticated-orcid":false,"given":"Uwe","family":"Pohlmann","sequence":"first","affiliation":[]},{"given":"Marcus","family":"H\u00fcwe","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,11,26]]},"reference":[{"key":"248_CR1","unstructured":"Abran, A., Bourque, P., Dupuis, R., Moore, J.W. (eds.): Guide to the Software Engineering Body of Knowledge\u2013SWEBOK. IEEE Press, Piscataway, USA (2001). ISBN 0769510000"},{"key":"248_CR2","doi-asserted-by":"publisher","unstructured":"acatech (ed.): Cyber-Physical Systems: Driving Force for Innovations in Mobility, Health, Energy and Production. Springer, Berlin Heidelberg (2011) . ISBN 978-3-642-29090-9. \n https:\/\/doi.org\/10.1007\/978-3-642-29090-9","DOI":"10.1007\/978-3-642-29090-9"},{"key":"248_CR3","doi-asserted-by":"publisher","unstructured":"Aleti, A., Bjornander, S., Grunske, L., Meedeniya, I., Archeopterix, : An extendable tool for architecture optimization of aadl models. In: Prococeedings of the ICSE Workshop on Model-Based Methodologies for Pervasive and. Embedded Software, MOMPES, \u201909, pp. 61\u201371 (2009). \n https:\/\/doi.org\/10.1109\/MOMPES.2009.5069138","DOI":"10.1109\/MOMPES.2009.5069138"},{"issue":"2","key":"248_CR4","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1007\/s10515-014-0148-0","volume":"22","author":"A Aleti","year":"2015","unstructured":"Aleti, A.: Designing automotive embedded systems with adaptive genetic algorithms. Autom. Softw. Eng. 22(2), 199\u2013240 (2015). \n https:\/\/doi.org\/10.1007\/s10515-014-0148-0\n \n . ISSN 0928-8910","journal-title":"Autom. Softw. Eng."},{"issue":"5","key":"248_CR5","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). \n https:\/\/doi.org\/10.1109\/TSE.2012.64\n \n . ISSN 0098-5589","journal-title":"IEEE Trans. Softw. Eng."},{"key":"248_CR6","unstructured":"Apvrille, L., El Khayari, R., Henniger, O., Roudier, Y., Schweppe, H., Seudi\u00e9, H., Weyl, B., Wolf, M.: Secure automotive on-board electronics network architecture. In: Proceedings of the FISITA 2010, World Automotive Congress, Budapest, HUNGARY, May (2010). \n http:\/\/www.eurecom.fr\/publication\/3132"},{"key":"248_CR7","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: In the Joint Proceedings of the 8th International Workshop on Model-based Architecting of Cyber-physical and Embedded Systems and 1st International Workshop on UML Consistency Rules, volume 1508 of ACES-MB-WUCOR \u201915, pp. 19\u201326, Aachen, (2015). CEUR-WS. \n http:\/\/ceur-ws.org\/Vol-1508\/"},{"key":"248_CR8","unstructured":"Arduino. \n https:\/\/www.arduino.cc\/"},{"issue":"5","key":"248_CR9","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1109\/MS.2003.1231149","volume":"20","author":"C Atkinson","year":"2003","unstructured":"Atkinson, C., K\u00fchne, T.: Model-driven development: a metamodeling foundation. IEEE Softw. 20(5), 36\u201341 (2003). \n https:\/\/doi.org\/10.1109\/MS.2003.1231149\n \n . ISSN 0740-7459","journal-title":"IEEE Softw."},{"key":"248_CR10","doi-asserted-by":"publisher","unstructured":"Becker, S., Dziwok, S., Gerking, C. Heinzemann, C., Sch\u00e4fer, W., Meyer, M., Pohlmann, U.: The Mechatronic UML method: model-driven software engineering of self-adaptive mechatronic systems. In: Companion Proceedings of the 36th International Conference on Software Engineering, ICSE Companion \u201914, pp. 614\u2013615. ACM, New York (2014a). ISBN 978-1-4503-2768-8. \n https:\/\/doi.org\/10.1145\/2591062.2591142","DOI":"10.1145\/2591062.2591142"},{"key":"248_CR11","unstructured":"Becker, S., Dziwok, S., Gerking, C. Sch\u00e4fer, W., Heinzemann, C., Thiele, S., Meyer, M., Priesterjahn, C., Pohlmann, U., Tichy, M.: The MechatronicUML design method - process and language for platform-independent modeling. Technical Report tr-ri-14-337, Heinz Nixdorf Institute, Paderborn University, March (2014b)"},{"key":"248_CR12","doi-asserted-by":"publisher","unstructured":"Bergmann, G., Horv\u00e1th, \u00c1., R\u00e1th, I., Varr\u00f3, D., Balogh, A., Balogh, Z., \u00d6kr\u00f6s, A.: Incremental evaluation of model queries over EMF models, pp. 76\u201390. Springer Berlin (2010). ISBN 978-3-642-16145-2. \n https:\/\/doi.org\/10.1007\/978-3-642-16145-2_6","DOI":"10.1007\/978-3-642-16145-2_6"},{"key":"248_CR13","doi-asserted-by":"publisher","unstructured":"Bergmann, G., Ujhelyi, Z., R\u00e1th, I., Varr\u00f3, D.: A graph query language for EMF models, pp. 167\u2013182. Springer, Berlin (2011). ISBN 978-3-642-21732-6. \n https:\/\/doi.org\/10.1007\/978-3-642-21732-6_12","DOI":"10.1007\/978-3-642-21732-6_12"},{"issue":"3","key":"248_CR14","doi-asserted-by":"publisher","first-page":"268","DOI":"10.1145\/937503.937505","volume":"35","author":"C Blum","year":"2003","unstructured":"Blum, C., Roli, A.: Metaheuristics in combinatorial optimization: overview and conceptual comparison. ACM Comput. Surv. 35(3), 268\u2013308 (2003)","journal-title":"ACM Comput. Surv."},{"key":"248_CR15","unstructured":"Clements, P.: A survey of architecture description languages. In: Proceedings of the 8th International Workshop on Software Specification and Design, IWSSD \u201996, pp. 16\u201325. IEEE Computer Society, Washington (1996)"},{"issue":"5","key":"248_CR16","doi-asserted-by":"publisher","first-page":"803","DOI":"10.1287\/opre.31.5.803","volume":"31","author":"H Crowder","year":"1983","unstructured":"Crowder, H., Johnson, E.L., Padberg, M.: Solving large-scale zero-one linear programming problems. Oper. Res. 31(5), 803\u2013834 (1983). \n https:\/\/doi.org\/10.1287\/opre.31.5.803","journal-title":"Oper. Res."},{"issue":"3","key":"248_CR17","doi-asserted-by":"publisher","first-page":"250","DOI":"10.1093\/comjnl\/8.3.250","volume":"8","author":"RJ Dakin","year":"1965","unstructured":"Dakin, R.J.: A tree-search algorithm for mixed integer programming problems. Comput. J. 8(3), 250\u2013255 (1965). \n https:\/\/doi.org\/10.1093\/comjnl\/8.3.250","journal-title":"Comput. J."},{"issue":"3","key":"248_CR18","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). \n https:\/\/doi.org\/10.1007\/s11241-007-9012-7\n \n . ISSN 1573-1383","journal-title":"Real-Time Syst."},{"key":"248_CR19","doi-asserted-by":"crossref","unstructured":"Dearle, A.: Software deployment, past, present and future. In: Proceedings of the Future of Software Engineering, FOSE \u201907, pp. 269\u2013284. IEEE Computer Society, Washington (2007)","DOI":"10.1109\/FOSE.2007.20"},{"issue":"9","key":"248_CR20","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1145\/1995376.1995394","volume":"54","author":"L De\u00a0Moura","year":"2011","unstructured":"De\u00a0Moura, L., Bj\u00f8rner, N.: Satisfiability modulo theories: introduction and applications. Commun. ACM 54(9), 69\u201377 (2011). \n https:\/\/doi.org\/10.1145\/1995376.1995394\n \n . ISSN 0001-0782","journal-title":"Commun. ACM"},{"key":"248_CR21","doi-asserted-by":"publisher","unstructured":"Dziwok, S., Gerking, C., Becker, S., Thiele, S., Heinzemann, C., Pohlmann, U.: A tool suite for the model-driven software engineering of cyber-physical systems. In: Proceedings of the 22Nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, FSE \u201914, pp. 715\u2013718. ACM. New York (2014) ISBN 978-1-4503-3056-5. \n https:\/\/doi.org\/10.1145\/2635868.2661665","DOI":"10.1145\/2635868.2661665"},{"key":"248_CR22","unstructured":"Dziwok, S., Pohlmann, U., Piskachev, G., Schubert, D., Thiele, S., Gerking, C.: The MechatronicUML design method\u2013process and language for platform-independent modeling. Technical Report tr-ri-16-352, Software Engineering Department, Fraunhofer IEM\/Software Engineering Group, Heinz Nixdorf Institute, December (2016)"},{"issue":"1","key":"248_CR23","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/s00450-011-0184-y","volume":"28","author":"T Eckardt","year":"2013","unstructured":"Eckardt, T., Heinzemann, C., Henkler, S., Hirsch, M., Priesterjahn, C., Sch\u00e4fer, W.: Modeling and verifying dynamic communication structures based on graph transformations. Comput. Sci. Res. Dev. 28(1), 3\u201322 (2013). \n https:\/\/doi.org\/10.1007\/s00450-011-0184-y\n \n . ISSN 1865-2042","journal-title":"Comput. Sci. Res. Dev."},{"key":"248_CR24","doi-asserted-by":"publisher","unstructured":"Feljan, J., Carlson, J.: Task allocation optimization for multicore embedded systems. In: Proceedings of the 40th EUROMICRO Conference on Software Engineering and Advanced Applications, SEAA 2014, pp. 237\u2013244 (2014). \n https:\/\/doi.org\/10.1109\/SEAA.2014.22","DOI":"10.1109\/SEAA.2014.22"},{"key":"248_CR25","doi-asserted-by":"publisher","unstructured":"Feljan, J., Carlson, J., Seceleanu, T.: Towards a model-based approach for allocating tasks to multicore processors. In: Proceedings of the 38th Euromicro Conference on Software Engineering and Advanced Applications, SEAA 2012, pp. 117\u2013124 (2012). \n https:\/\/doi.org\/10.1109\/SEAA.2012.56","DOI":"10.1109\/SEAA.2012.56"},{"key":"248_CR26","unstructured":"Frieben, J., Tichy, M.: Automatic deployment of IEC 61499 function blocks onto interconnected devices. In: Proceedings of the SPS IPC DRIVES 2011 : elektrische Automatisierung, Systeme und Komponenten, SPS IPC DRIVES \u201d11, pp. 141\u2013150 (2011). \n https:\/\/www.tichy.de\/publications\/2011\/FT11.pdf"},{"key":"248_CR27","doi-asserted-by":"publisher","unstructured":"Geismann, J., Pohlmann, U., Schmelter, D.: Towards an automated synthesis of a real-time scheduling for cyber-physical multi-core systems. In: Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development, MODELSWARD \u201917, pp. 285\u2013292. Scitepress, Set\u00fabal (2017). ISBN 978-989-758-210-3. \n https:\/\/doi.org\/10.5220\/0006117702850292\n \n . \n http:\/\/www.scitepress.org\/DigitalLibrary\/PublicationsDetail.aspx?ID=ADc9X1W\/tIE=&t=1","DOI":"10.5220\/0006117702850292"},{"key":"248_CR28","unstructured":"GUROBI. \n https:\/\/www.gurobi.com"},{"key":"248_CR29","unstructured":"GUROBI LP Format. \n https:\/\/www.gurobi.com\/documentation\/8.0\/refman\/lp_format.html"},{"key":"248_CR30","unstructured":"Hartwich, F.: Bit time requirements for can FD. In: Proceedings of the International CAN Conference (ICC), pp. 4\u201317 (2013). \n http:\/\/www.can-cia.org\/fileadmin\/resources\/documents\/proceedings\/2013_hartwich_v2.pdf"},{"issue":"9","key":"248_CR31","doi-asserted-by":"publisher","first-page":"722","DOI":"10.1002\/smr.1780","volume":"28","author":"J Holtmann","year":"2016","unstructured":"Holtmann, J., Bernijazov, R., Meyer, M., Schmelter, D., Tschirner, C.: Integrated and iterative systems engineering and software requirements engineering for technical systems. J. Softw. Evol. Process 28(9), 722\u2013743 (2016). \n https:\/\/doi.org\/10.1002\/smr.1780\n \n . ISSN 2047-7481","journal-title":"J. Softw. Evol. Process"},{"issue":"1","key":"248_CR32","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1007\/s10115-013-0627-9","volume":"40","author":"P Hn\u011btynka","year":"2014","unstructured":"Hn\u011btynka, P., Malohlava, H., Bure\u0161, T.: Comparison of component frameworks for real-time embedded systems. Knowl. Inf. Syst. 40(1), 127\u2013170 (2014)","journal-title":"Knowl. Inf. Syst."},{"key":"248_CR33","unstructured":"IEC: 61499\u20131: Function blocks\u2013Part 1: Architecture, Geneva (2012). \n https:\/\/www.iec-normen.de\/219342\/iec-61499-1-2012-11-ed-2-0-zweisprachig.html"},{"key":"248_CR34","unstructured":"ISO 17458-2:2013: Road vehicles\u2013FlexRay communications system\u2013Part 2: Data link layer specification. Geneva (2013). \n http:\/\/www.iso.org\/iso\/catalogue_detail.htm?csnumber=33422"},{"key":"248_CR35","unstructured":"ISO 26262-1:2011: Road vehicles\u2013functional safety\u2013Part 1: Vocabulary, Geneva (2011). \n http:\/\/www.iso.org\/iso\/catalogue_detail?csnumber=43464"},{"key":"248_CR36","unstructured":"ISO 26262-6:2011: Road vehicles\u2013functional safety\u2013Part 6: product development at the software level, Geneva (2011). \n http:\/\/www.iso.org\/iso\/catalogue_detail.htm?csnumber=35733"},{"key":"248_CR37","doi-asserted-by":"publisher","unstructured":"Jaffar, J., Lassez, J.-L.: Constraint logic programming. In: Proceedings of the 14th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, POPL \u201987, pp. 111\u2013119. ACM, New York (1987). ISBN 0-89791-215-2. \n https:\/\/doi.org\/10.1145\/41625.41635","DOI":"10.1145\/41625.41635"},{"key":"248_CR38","doi-asserted-by":"publisher","first-page":"503","DOI":"10.1016\/0743-1066(94)90033-7","volume":"19","author":"J Jaffar","year":"1994","unstructured":"Jaffar, J., Maher, M.J.: Special issue: ten years of logic programming constraint logic programming: a survey. J. Logic Program. 19, 503\u2013581 (1994). \n https:\/\/doi.org\/10.1016\/0743-1066(94)90033-7\n \n . ISSN 0743-1066","journal-title":"J. Logic Program."},{"key":"248_CR39","unstructured":"Klobedanz, K.: Towards the design of fault-tolerant distributed real-time systems. Ph. d\u2019s thesis, Paderborn University, Paderborn (2014). \n http:\/\/nbn-resolving.de\/urn:nbn:de:hbz:466:2-13767"},{"issue":"2","key":"248_CR40","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1007\/s12532-011-0025-9","volume":"3","author":"T Koch","year":"2011","unstructured":"Koch, T., Achterberg, T., Andersen, E., Bastert, O., Berthold, T., Bixby, R.E., Danna, E., Gamrath, G., Gleixner, A.M., Heinz, S., Lodi, A., Mittelmann, H., Ralphs, T., Salvagnin, D., Steffy, D.E., Wolter, K.: Miplib 2010. Math. Program. Comput. 3(2), 103 (2011). \n https:\/\/doi.org\/10.1007\/s12532-011-0025-9\n \n . ISSN 1867-2957","journal-title":"Math. Program. Comput."},{"key":"248_CR41","doi-asserted-by":"publisher","unstructured":"Kopetz, H.: Simplicity. In: Real-Time Systems, Real-Time Systems Series, pp. 29\u201350. Springer, New York (2011). ISBN 978-1-4419-8236-0. \n https:\/\/doi.org\/10.1007\/978-1-4419-8237-7_2","DOI":"10.1007\/978-1-4419-8237-7_2"},{"key":"248_CR42","doi-asserted-by":"publisher","unstructured":"Koziolek, A., Reussner, R.: Towards a generic quality optimisation framework for component-based system models. In: Proceedings of the 14th International ACM Sigsoft Symposium on Component Based Software Engineering, CBSE \u201911, pp. 103\u2013108. ACM, New York (2011). ISBN 978-1-4503-0723-9. \n https:\/\/doi.org\/10.1145\/2000229.2000244","DOI":"10.1145\/2000229.2000244"},{"issue":"3\u20134","key":"248_CR43","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1016\/S1383-7621(00)00048-5","volume":"47","author":"K Kuchcinski","year":"2001","unstructured":"Kuchcinski, K.: Constraints-driven design space exploration for distributed embedded systems. J. Syst. Archit. 47(3\u20134), 241\u2013261 (2001). \n https:\/\/doi.org\/10.1016\/S1383-7621(00)00048-5\n \n . ISSN 1383-7621","journal-title":"J. Syst. Archit."},{"key":"248_CR44","doi-asserted-by":"publisher","unstructured":"Kugele, S., Pucea, G., Popa, R., Dieudonn\u00e9, L., Eckardt, H.: On the deployment problem of embedded systems, pp. 158\u2013167 (2015). \n https:\/\/doi.org\/10.1109\/MEMCOD.2015.7340482","DOI":"10.1109\/MEMCOD.2015.7340482"},{"issue":"3","key":"248_CR45","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1177\/097324701000600301","volume":"6","author":"S Kumar","year":"2010","unstructured":"Kumar, S., Luhandjula, M.K., Munapo, E., Jones, B.C.: Fifty years of integer programming: a review of the solution approaches. Asia Pac. Bus. Rev. 6(3), 5\u201315 (2010). \n https:\/\/doi.org\/10.1177\/097324701000600301","journal-title":"Asia Pac. Bus. Rev."},{"issue":"1","key":"248_CR46","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1145\/321738.321743","volume":"20","author":"CL Liu","year":"1973","unstructured":"Liu, C.L., Layland, J.W.: Scheduling algorithms for multiprogramming in a hard-real-time environment. J. ACM 20(1), 46\u201361 (1973). \n https:\/\/doi.org\/10.1145\/321738.321743\n \n . ISSN 0004-5411","journal-title":"J. ACM"},{"key":"248_CR47","unstructured":"LPSolve. \n http:\/\/lpsolve.sourceforge.net\/5.5\/"},{"key":"248_CR48","unstructured":"NEOS AMPL. \n https:\/\/neos-server.org\/neos\/solvers\/lp:CPLEX\/AMPL.html"},{"key":"248_CR49","unstructured":"Lukasiewycz, M.: Modeling Analysis and Optimization of Automotive Networks. Ph. d\u2019s thesis. Friedrich-Alexander-Universit\u00e4t Erlangen-N\u00fcrnberg, G\u00f6ttingen (2010)"},{"key":"248_CR50","doi-asserted-by":"publisher","unstructured":"Lukasiewycz, M., Gla\u00df, M., Reimann, F., Teich, J.: Opt4J: a modular framework for meta-heuristic optimization. In: Proceedings of the 13th Annual Conference on Genetic and Evolutionary Computation, GECCO \u201911, pp. 1723\u20131730. ACM, New York (2011). ISBN 978-1-4503-0557-0. \n https:\/\/doi.org\/10.1145\/2001576.2001808","DOI":"10.1145\/2001576.2001808"},{"key":"248_CR51","unstructured":"Maher, S.J., Fischer, T., Gally, T., Gamrath, G., Gleixner, A., Gottwald, R., Hendel, G., Koch, T., L\u00fcbbecke, M.E., Miltenberger, M., M\u00fcller, B., Pfetsch, M.E., Puchert, C., Rehfeldt, D., Schenker, S., Schwarz, R., Serrano, F., Shinano, Y., Weninger, D., Witt, J.T., Witzig, J.: The scip optimization suite 4.0. Technical Report 17\u201312, Zuse Institute, Berlin (2017)"},{"issue":"1","key":"248_CR52","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1109\/TSE.2011.3","volume":"38","author":"S Malek","year":"2012","unstructured":"Malek, S., Medvidovic, N., Mikic-Rakic, M.: An extensible framework for improving a distributed software system\u2019s deployment architecture. IEEE Trans. Softw. Eng. 38(1), 73\u2013100 (2012). \n https:\/\/doi.org\/10.1109\/TSE.2011.3\n \n . ISSN 0098-5589","journal-title":"IEEE Trans. Softw. Eng."},{"key":"248_CR53","unstructured":"Manolios, P., Vasilis, P.: ILP modulo theories. Computing Research Repository (CoRR) (2012). \n arXiv:1210.3761"},{"issue":"5","key":"248_CR54","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). \n https:\/\/doi.org\/10.1016\/j.jss.2011.01.004\n \n . ISSN 0164-1212","journal-title":"J. Syst. Softw."},{"key":"248_CR55","doi-asserted-by":"publisher","unstructured":"Metzner, A., Herde, C.: Rtsat\u2013an optimal and efficient approach to the task allocation problem in distributed architectures. In: Proceedings of the 27th IEEE International Real-Time Systems Symposium, RTSS \u201906, pp. 147\u2013158 (2006). \n https:\/\/doi.org\/10.1109\/RTSS.2006.44","DOI":"10.1109\/RTSS.2006.44"},{"key":"248_CR56","unstructured":"MODELISAR Consortium. EAST-ADL, Domain Model Specification (2013). \n http:\/\/www.east-adl.info\/Specification\/V2.1.12\/EAST-ADL-Specification_V2.1.12.pdf"},{"issue":"3","key":"248_CR57","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1057\/jors.2015.119","volume":"67","author":"A Nazari","year":"2016","unstructured":"Nazari, A., Thiruvady, D., Aleti, A., Moser, I.: A mixed integer linear programming model for reliability optimisation in the component deployment problem. J. Oper. Res. Soc. 67(3), 1\u201311 (2016). \n https:\/\/doi.org\/10.1057\/jors.2015.119\n \n . ISSN 0160-5682","journal-title":"J. Oper. Res. Soc."},{"key":"248_CR58","unstructured":"OMG BPMN: Business Process Model And Notation (2013). \n http:\/\/www.omg.org\/spec\/BPMN\/2.0.2\/PDF"},{"key":"248_CR59","unstructured":"OMG MARTE.: UML Profile for MARTE: Modeling and Analysis of Real-Time Embedded Systems (2011). \n http:\/\/www.omg.org\/spec\/MARTE\/1.1\/PDF"},{"key":"248_CR60","unstructured":"OMG OCL.: Object Constraint Language (OCL) (2014). \n http:\/\/www.omg.org\/spec\/OCL\/2.4\/PDF\/"},{"key":"248_CR61","unstructured":"OMG UML: Unified Modeling Language (UML) (2011). \n http:\/\/www.omg.org\/spec\/UML\/2.4.1\/Superstructure\/PDF\/"},{"key":"248_CR62","unstructured":"Opt4J: \n https:\/\/opt4j.sourceforge.net\/\/"},{"key":"248_CR63","unstructured":"Pohl, K., Rupp, C.: Requirements Engineering Fundamentals. 1 edn. Rocky Nook, Santa Barbara (2011). ISBN, 978-1-933952-81-9"},{"key":"248_CR64","doi-asserted-by":"publisher","unstructured":"Pohlmann, U.: A Model-driven Software Construction Approach for Cyber-physical Systems. Phd\u2019s thesis. Paderborn University, Paderborn (2018). \n https:\/\/doi.org\/10.17619\/UNIPB\/1-313","DOI":"10.17619\/UNIPB\/1-313"},{"key":"248_CR65","doi-asserted-by":"publisher","unstructured":"Pohlmann, U., H\u00fcwe, M.: Model-driven allocation engineering (t), vol. \u201915, pp. 374\u2013384. IEEE, New York (2015). \n https:\/\/doi.org\/10.1109\/ASE.2015.18","DOI":"10.1109\/ASE.2015.18"},{"key":"248_CR66","unstructured":"Pohlmann, U., H\u00fcwe, M.: Eclipse Linear Optimization, QUEry, \u2019N\u2019 Transformation (ELOQUENT) (2018a). \n https:\/\/github.com\/upohl\/eloquent"},{"key":"248_CR67","unstructured":"Pohlmann, U., H\u00fcwe, M.: MechatronicUML ELOQUENT Adapter (2018b). \n https:\/\/svn-serv.cs.uni-paderborn.de\/mechatronicuml\/trunk\/EloquentAdapter\/org.muml.eloquent.adapter.muml\/operations\/"},{"key":"248_CR68","unstructured":"Pohlmann, U. Marcus, H.: Formal definition and proofs for the MechatronicUML allocation specification language. Technical Report tr-ri-17-353, Software Engineering Department, Fraunhofer IEM\/Software Engineering Group, Heinz Nixdorf Institute, April (2017)"},{"key":"248_CR69","doi-asserted-by":"publisher","unstructured":"Pohlmann, U., Meyer, M., Dann, A., Brink, C.: Viewpoints and views in hardware platform modeling for safe deployment. In: Proceedings of the 2nd Workshop on View-Based, Aspect-Oriented and Orthographic Software Modelling, VAO \u201914, pp. 23\u201330. ACM, New York (2014). ISBN 978-1-4503-2900-2. \n https:\/\/doi.org\/10.1145\/2631675.2631682","DOI":"10.1145\/2631675.2631682"},{"issue":"2","key":"248_CR70","doi-asserted-by":"publisher","first-page":"156","DOI":"10.1007\/s10009-004-0183-4","volume":"7","author":"MR Prasad","year":"2005","unstructured":"Prasad, M.R., Biere, A., Gupta, A.: A survey of recent advances in sat-based formal verification. Int. J. Softw. Tools Technol. Transf. 7(2), 156\u2013173 (2005). \n https:\/\/doi.org\/10.1007\/s10009-004-0183-4\n \n . ISSN 1433-2787","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"248_CR71","unstructured":"QVTo. \n http:\/\/projects.eclipse.org\/projects\/modeling.mmt.qvt-oml"},{"issue":"2","key":"248_CR72","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1007\/s10664-008-9102-8","volume":"14","author":"P Runeson","year":"2008","unstructured":"Runeson, P., H\u00f6st, M.: Guidelines for conducting and reporting case study research in software engineering. Empir. Softw. Eng. 14(2), 131\u2013164 (2008). \n https:\/\/doi.org\/10.1007\/s10664-008-9102-8\n \n . ISSN 1573-7616","journal-title":"Empir. Softw. Eng."},{"key":"248_CR73","doi-asserted-by":"publisher","unstructured":"Saksena, M., Hong, S.: An engineering approach to decomposing end-to-end delays on a distributed real-time system. In: Proceedings of the 4th International Workshop on Parallel and Distributed Real-Time Systems, WPDRTS \u201996, pp. 244\u2013251 (1996). \n https:\/\/doi.org\/10.1109\/WPDRTS.1996.557688","DOI":"10.1109\/WPDRTS.1996.557688"},{"key":"248_CR74","volume-title":"Theory of Linear and Integer Programming","author":"A Schrijver","year":"1986","unstructured":"Schrijver, A.: Theory of Linear and Integer Programming. Wiley, New York (1986)"},{"key":"248_CR75","doi-asserted-by":"publisher","unstructured":"Sch\u00e4tz,B., H\u00f6lzl, F., Lundkvist, T.: Design-space exploration through constraint-based model-transformation. In: Proceedings of the 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems, ECBS\u201910, pp. 173\u2013182 (2010). \n https:\/\/doi.org\/10.1109\/ECBS.2010.25","DOI":"10.1109\/ECBS.2010.25"},{"key":"248_CR76","unstructured":"SCIP.: \n http:\/\/scip.zib.de\/"},{"issue":"4","key":"248_CR77","doi-asserted-by":"publisher","first-page":"211","DOI":"10.2498\/cit.1002284","volume":"21","author":"I \u0160vogor","year":"2013","unstructured":"\u0160vogor, I., Crnkovi\u0107, I., Vr\u010dek, N.: An extended model for multi-criteria software component allocation on a heterogeneous embedded platform. J. Comput. Inf. Technol. 21(4), 211\u2013222 (2013). \n https:\/\/doi.org\/10.2498\/cit.1002284","journal-title":"J. Comput. Inf. Technol."},{"key":"248_CR78","doi-asserted-by":"publisher","unstructured":"\u0160vogor, I., Crnkovi\u0107, I., Vr\u010dek, N.: Multi-criteria software component allocation on a heterogeneous platform. In: Proceedings of the 35th International Conference on Information Technology Interfaces, ITI \u201913, pp. 341\u2013346 (2013). \n https:\/\/doi.org\/10.2498\/iti.2013.0558","DOI":"10.2498\/iti.2013.0558"},{"key":"248_CR79","doi-asserted-by":"publisher","unstructured":"\u0160vogor, I., Carlson, J.: Scall: software component allocator for heterogeneous embedded systems. In: Proceedings of the 2015 European Conference on Software Architecture Workshops, ECSAW \u201915, pp. 66:1\u201366:5. ACM, New York (2015). ISBN 978-1-4503-3393-1. \n https:\/\/doi.org\/10.1145\/2797433.2797501","DOI":"10.1145\/2797433.2797501"},{"key":"248_CR80","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1016\/j.jss.2015.09.019","volume":"111","author":"T Vale","year":"2016","unstructured":"Vale, T., Crnkovic, I., De Almeida, E.S., Neto, P.A.D.M.S., Cavalcanti, Y.C., de Lemos Meira, S.R.: Twenty-eight years of component-based software engineering. J. Syst. Softw. 111, 128\u2013148 (2016)","journal-title":"J. Syst. Softw."},{"key":"248_CR81","doi-asserted-by":"crossref","unstructured":"van Glabbeek, R., Hofner, P.: Split, send, reassemble: A formal specification of a CAN bus protocol stack. In: 2nd Workshop on Models for Formal Analysis of. Real Systems, MARS \u201917, pp. 14\u201352 (2017)","DOI":"10.4204\/EPTCS.244.2"},{"key":"248_CR82","unstructured":"Voelter, M., Benz, S., Dietrich, C., Engelmann, B., Helander, M., Kats, L., Visser, E., Wachsmuth, G.: Designing Implementing and Using Domain-Specific Languages. CreateSpace Independent Publishing Platform (2013). ISBN, 1-4812-1858-1"},{"key":"248_CR83","unstructured":"Voss, S., Eder, J., H\u00f6lzl, F.: Design space exploration and its visualization in AUTOFOCUS3. In: Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering, vol. 1514, pp. 57\u201366. CEUR-WS, Aachen (2014). \n http:\/\/ceur-ws.org\/Vol-1129\/paper33.pdf"},{"key":"248_CR84","doi-asserted-by":"publisher","unstructured":"Wang, S., Merrick, J.R., Shin, K.G: Component allocation with multiple resource constraints for large embedded real-time software design. In: Proceedings of the 10th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2004, pp. 219\u2013226 (2004). \n https:\/\/doi.org\/10.1109\/RTTAS.2004.1317267","DOI":"10.1109\/RTTAS.2004.1317267"},{"issue":"3","key":"248_CR85","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1347375.1347389","volume":"7","author":"R Wilhelm","year":"2008","unstructured":"Wilhelm, R., Engblom, J., Ermedahl, A., Holsti, N., Thesing, S., Whalley, D., Bernat, G., Ferdinand, C., Heckmann, R., Mitra, T., Mueller, F., Puaut, I., Puschner, P., Staschulat, J., Stenstr\u00f6m, P.: The worst-case execution-time problem\u2013overview of methods and survey of tools. ACM Trans. Embed. Comput. Syst. 7(3), 1\u201352 (2008). \n https:\/\/doi.org\/10.1145\/1347375.1347389\n \n . ISSN 1539-9087","journal-title":"ACM Trans. Embed. Comput. Syst."},{"issue":"3","key":"248_CR86","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1287\/ijoc.10.3.261","volume":"10","author":"HP Williams","year":"1998","unstructured":"Williams, H.P., Wilson, J.M.: Connections between integer linear programming and constraint logic programming\u2013an overview and introduction to the cluster of articles. INFORMS J. Comput. 10(3), 261\u2013264 (1998). \n https:\/\/doi.org\/10.1287\/ijoc.10.3.261\n \n . ISSN 1526-5528","journal-title":"INFORMS J. Comput."},{"key":"248_CR87","doi-asserted-by":"publisher","unstructured":"Yoong, L.H., Roop, P.S, Bhatti, Z.E, Kuo, M.M: Model-Driven Design Using IEC 61499-A Synchronous Approach for Embedded and Automation Systems. 1st edn., Springer, Berlin (2015). ISBN 978-3-319-10521-5. \n https:\/\/doi.org\/10.1007\/978-3-319-10521-5","DOI":"10.1007\/978-3-319-10521-5"},{"key":"248_CR88","doi-asserted-by":"publisher","unstructured":"Zeller, M., Prehofer, C., Weiss, G., Eilers, D., Knorr, R.: Towards self-adaptation in real-time, networked systems: Efficient solving of system constraints for automotive embedded systems. In: Proceedings of the 5th International IEEE Conference on Self-Adaptive and Self-Organizing Systems, SASO \u201911, pp. 79\u201388 (2011). \n https:\/\/doi.org\/10.1109\/SASO.2011.19","DOI":"10.1109\/SASO.2011.19"},{"key":"248_CR89","doi-asserted-by":"publisher","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, Part C):1067\u20131082 (2013). ISSN 1383-7621. \n https:\/\/doi.org\/10.1016\/j.sysarc.2012.11.003","DOI":"10.1016\/j.sysarc.2012.11.003"},{"key":"248_CR90","doi-asserted-by":"publisher","unstructured":"Zimmermann, W., Schmidgall, R.: Bussysteme in der Fahrzeugtechnik, chapter Software-Standards: OSEK und HIS, 5th edn pp. 331\u2013365, ATZ\/MTZ-Fachbuch. Springer, Wiesbaden (2014). ISBN 978-3-658-02419-2. \n https:\/\/doi.org\/10.1007\/978-3-658-02419-2_7","DOI":"10.1007\/978-3-658-02419-2_7"}],"container-title":["Automated Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10515-018-0248-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10515-018-0248-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10515-018-0248-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,11,26]],"date-time":"2019-11-26T00:27:50Z","timestamp":1574728070000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10515-018-0248-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,11,26]]},"references-count":90,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2019,6]]}},"alternative-id":["248"],"URL":"https:\/\/doi.org\/10.1007\/s10515-018-0248-3","relation":{},"ISSN":["0928-8910","1573-7535"],"issn-type":[{"value":"0928-8910","type":"print"},{"value":"1573-7535","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,11,26]]},"assertion":[{"value":"15 December 2017","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"18 November 2018","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"26 November 2018","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}