{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,10]],"date-time":"2024-09-10T15:55:28Z","timestamp":1725983728405},"publisher-location":"Cham","reference-count":31,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319947631"},{"type":"electronic","value":"9783319947648"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-94764-8_4","type":"book-chapter","created":{"date-parts":[[2018,7,7]],"date-time":"2018-07-07T09:03:35Z","timestamp":1530954215000},"page":"72-93","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Automated Synthesis of a Real-Time Scheduling for Cyber-Physical Multi-core Systems"],"prefix":"10.1007","author":[{"given":"Johannes","family":"Geismann","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Robert","family":"H\u00f6ttger","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lukas","family":"Krawczyk","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Uwe","family":"Pohlmann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Schmelter","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,7,8]]},"reference":[{"issue":"2","key":"4_CR1","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.: A theory of timed automata. Theor. Comput. Sci. 126(2), 183\u2013235 (1994)","journal-title":"Theor. Comput. Sci."},{"key":"4_CR2","unstructured":"Amalthea: Deliverable: D3.1 concept for a partitioning\/mapping\/scheduling\/timing-analysis tool. Technical report 3.4, Amalthea, January 2013"},{"key":"4_CR3","unstructured":"AMALTHEA4public Consortium: APP4MC Help Documentation (2017). \nhttps:\/\/www.eclipse.org\/app4mc\/help\/app4mc-0.8.0\/index.html#section4.5.2.3"},{"issue":"4","key":"4_CR4","first-page":"269","volume":"9","author":"T Amnell","year":"2002","unstructured":"Amnell, T., Fersman, E., Pettersson, P., Yi, W., Sun, H.: Code synthesis for timed automata. Nord. J. Comput. 9(4), 269\u2013300 (2002). \nhttp:\/\/dl.acm.org\/citation.cfm?id=779110.779112","journal-title":"Nord. J. Comput."},{"issue":"2","key":"4_CR5","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1109\/2.982917","volume":"35","author":"T Austin","year":"2002","unstructured":"Austin, T., Larson, E., Ernst, D.: Simplescalar: an infrastructure for computer system modeling. Computer 35(2), 59\u201367 (2002)","journal-title":"Computer"},{"key":"4_CR6","unstructured":"AUTOSAR: Release 4.2 Overview and Revision History (2014). \nhttp:\/\/www.autosar.org\/specifications\/release-42\/"},{"key":"4_CR7","unstructured":"Becker, S., et al.: The mechatronicuml design method - process and language for platform-independent modeling. Technical report tr-ri-14-337, Heinz Nixdorf Institute, Paderborn University, version 0.4, March 2014"},{"key":"4_CR8","doi-asserted-by":"publisher","unstructured":"Borde, E., Carlson, J.: Towards verified synthesis of ProCom, a component model for real-time embedded systems. In: Proceedings of the 14th International ACM Sigsoft Symposium on Component Based Software Engineering, CBSE 2011, pp. 129\u2013138. ACM, New York (2011). \nhttps:\/\/doi.org\/10.1145\/2000229.2000248","DOI":"10.1145\/2000229.2000248"},{"key":"4_CR9","unstructured":"Brun, M., Delatour, J.: Contribution to the software execution platform integration during an application deployment process. Ph.D. thesis, Ph.D. dissertation, \u00c9cole Centrale de Nantes, Nantes, France (2010)"},{"key":"4_CR10","unstructured":"Bure\u0161, et al.: Procom-the progress component model reference manual. M\u00e4lardalen University, V\u00e4ster\u00e5s (2008)"},{"issue":"5","key":"4_CR11","doi-asserted-by":"publisher","first-page":"593","DOI":"10.1109\/TSE.2010.83","volume":"37","author":"I Crnkovi\u0107","year":"2011","unstructured":"Crnkovi\u0107, I., Sentilles, S., Vulgarakis, A., Chaudron, M.R.: A classification framework for software component models. IEEE Trans. Softw. Eng. 37(5), 593\u2013615 (2011)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"4_CR12","series-title":"Computer Communications and Networks","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-84882-310-5","volume-title":"Scheduling for Parallel Processing","author":"M Drozdowski","year":"2009","unstructured":"Drozdowski, M.: Scheduling for Parallel Processing. Computer Communications and Networks. Springer, Berlin (2009). \nhttps:\/\/doi.org\/10.1007\/978-1-84882-310-5"},{"key":"4_CR13","series-title":"IFIP International Federation for Information Processing","doi-asserted-by":"publisher","first-page":"377","DOI":"10.1007\/978-1-4020-8157-6_29","volume-title":"Building the Information Society","author":"C Ferdinand","year":"2004","unstructured":"Ferdinand, C., Heckmann, R.: aiT: worst-case execution time prediction by static program analysis. In: Jacquart, R. (ed.) Building the Information Society. IIFIP, vol. 156, pp. 377\u2013383. Springer, Boston, MA (2004). \nhttps:\/\/doi.org\/10.1007\/978-1-4020-8157-6_29"},{"key":"4_CR14","doi-asserted-by":"crossref","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, vol. 1, pp. 285\u2013292. INSTICC\/ScitePress (2017)","DOI":"10.5220\/0006117702850292"},{"key":"4_CR15","unstructured":"Geismann et al.: Implementation and example models (2016). \nhttps:\/\/trac.cs.upb.de\/mechatronicuml\/wiki\/PaperModelsward17\n\n, \nhttp:\/\/workupload.com\/file\/rMP2kVG"},{"key":"4_CR16","unstructured":"Gerking et al.: Domain-specific model checking for cyber-physical systems. In: Proceedings of the 12th Workshop on Model-Driven Engineering, Verification and Validation, MoDeVVa 2015, vol. 1514 (2015). \nhttp:\/\/ceur-ws.org\/Vol-1514\/"},{"issue":"6","key":"4_CR17","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/966221.966237","volume":"28","author":"NS Gill","year":"2003","unstructured":"Gill, N.S., Grover, P.S.: Component-based measurement: few useful guidelines. SIGSOFT Softw. Eng. Notes 28(6), 1\u20136 (2003)","journal-title":"SIGSOFT Softw. Eng. Notes"},{"key":"4_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/978-3-642-13238-4_2","volume-title":"Component-Based Software Engineering","author":"P Ho\u0161ek","year":"2010","unstructured":"Ho\u0161ek, P., Pop, T., Bure\u0161, T., Hn\u011btynka, P., Malohlava, M.: Comparison of component frameworks for real-time embedded systems. In: Grunske, L., Reussner, R., Plasil, F. (eds.) CBSE 2010. LNCS, vol. 6092, pp. 21\u201336. Springer, Heidelberg (2010). \nhttps:\/\/doi.org\/10.1007\/978-3-642-13238-4_2"},{"key":"4_CR19","unstructured":"H\u00f6ttger, R., Krawczyk, L., Igel, B.: Model-based automotive partitioning and mapping for embedded multicore systems. In: International Conference on Parallel, Distributed Systems and Software Engineering, ICPDSSE 2015, vol. 2, pp. 2643\u20132649. World Academy of Science, Engineering and Technology (2015)"},{"issue":"4","key":"4_CR20","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1109\/52.391832","volume":"12","author":"B. Kitchenham","year":"1995","unstructured":"Kitchenham, B., et al.: Case studies for method and tool evaluation. IEEE Softw. 12(4), 52\u201362 (1995)","journal-title":"IEEE Software"},{"key":"4_CR21","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","first-page":"320","DOI":"10.1007\/978-3-319-24770-0_28","volume-title":"Information and Software Technologies","author":"L Krawczyk","year":"2015","unstructured":"Krawczyk, L., Wolff, C., Fruhner, D.: Automated distribution of software to multi-core hardware in model based embedded systems development. In: Dregvaite, G., Damasevicius, R. (eds.) ICIST 2015. CCIS, vol. 538, pp. 320\u2013329. Springer, Cham (2015). \nhttps:\/\/doi.org\/10.1007\/978-3-319-24770-0_28"},{"key":"4_CR22","unstructured":"Kristensen, J., Mejholm, A., Pedersen, S.: Automatic translation from UPPAAL to C. Technical report, Department of Computer Science, Aalborg University (2004)"},{"issue":"10","key":"4_CR23","doi-asserted-by":"publisher","first-page":"709","DOI":"10.1109\/TSE.2007.70726","volume":"33","author":"KK Lau","year":"2007","unstructured":"Lau, K.K., Wang, Z.: Software component models. IEEE Trans. Softw. Eng. 33(10), 709\u2013724 (2007)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"4_CR24","unstructured":"Lelionnais, C., et al.: Formal behavioral modeling of real-time operating systems. In: Proceedings of the 14th International Conference on Enterprise Information Systems (ICEIS 2012), Wroclaw, Poland, vol. 2, June 2012. \nhttps:\/\/hal.archives-ouvertes.fr\/hal-01093794"},{"key":"4_CR25","unstructured":"Lukasiewycz, F.N., et al.: Priority assignment for event-triggered systems using mathematical programming. In: Proceedings of the Conference on Design, Automation and Test in Europe, DATE 2013, EDA Consortium, San Jose, CA, USA, pp. 982\u2013987 (2013). \nhttp:\/\/dl.acm.org\/citation.cfm?id=2485288.2485524"},{"issue":"3","key":"4_CR26","doi-asserted-by":"publisher","first-page":"142","DOI":"10.1007\/s00502-015-0301-x","volume":"132","author":"Georg Macher","year":"2015","unstructured":"Macher et al.: Filling the gap between automotive systems, safety, and software engineering. e & i Elektrotechnik und Informationstechnik, 1\u20137 (2015). \nhttps:\/\/doi.org\/10.1007\/s00502-015-0301-x","journal-title":"e & i Elektrotechnik und Informationstechnik"},{"key":"4_CR27","unstructured":"OMG: Unified Modeling Language, version 2.4.1. Superstructure Specification (2011). \nhttp:\/\/www.omg.org\/spec\/UML\/2.4.1\/Superstructure\/PDF\/"},{"key":"4_CR28","unstructured":"Opp, D., Caspar, M., Hardt, W.: Code generation for timed automata system specifications considering target platform resource-restrictions. In: Proceedings of the 7th International Conference on Computing and Information Technology 2011, pp. 144\u2013149 (2011)"},{"key":"4_CR29","doi-asserted-by":"crossref","unstructured":"Pohlmann, U., H\u00fcwe, M.: Model-driven allocation engineering. In: Proceedings of the 30th IEEE\/ACM International Conference on Automated Software Engineering (ASE 2015), November 2015. ACM\/IEEE (2015)","DOI":"10.1109\/ASE.2015.18"},{"issue":"2","key":"4_CR30","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1007\/BF01088855","volume":"9","author":"K Tindell","year":"1995","unstructured":"Tindell, K., et al.: Analysis of hard real-time communications. Real-Time Syst. 9(2), 147\u2013171 (1995). \nhttps:\/\/doi.org\/10.1007\/BF01088855","journal-title":"Real-Time Syst."},{"key":"4_CR31","volume-title":"The Goal\/Question\/Metric Method: A Practical Guide for Quality Improvement of Software Development","author":"R Solingen Van","year":"1999","unstructured":"Van Solingen, R., et al.: The Goal\/Question\/Metric Method: A Practical Guide for Quality Improvement of Software Development. McGraw-Hill, London (1999)"}],"container-title":["Communications in Computer and Information Science","Model-Driven Engineering and Software Development"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-94764-8_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,7,7]],"date-time":"2018-07-07T09:07:25Z","timestamp":1530954445000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-94764-8_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319947631","9783319947648"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-94764-8_4","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2018]]}}}