{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,1]],"date-time":"2026-05-01T11:08:58Z","timestamp":1777633738231,"version":"3.51.4"},"publisher-location":"Cham","reference-count":26,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030225582","type":"print"},{"value":"9783030225599","type":"electronic"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"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":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-030-22559-9_8","type":"book-chapter","created":{"date-parts":[[2019,6,29]],"date-time":"2019-06-29T02:33:19Z","timestamp":1561775599000},"page":"165-185","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Portable Synthesis of Multi-core Real-Time Systems with Reconfiguration Constraints"],"prefix":"10.1007","author":[{"given":"Wafa","family":"Lakhdhar","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rania","family":"Mzid","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mohamed","family":"Khalgui","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Georg","family":"Frey","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,6,29]]},"reference":[{"key":"8_CR1","volume-title":"Real-Time Systems and Programming Languages: Ada, Real-Time Java and C\/Real-Time POSIX","author":"A Burns","year":"2009","unstructured":"Burns, A., Wellings, A.: Real-Time Systems and Programming Languages: Ada, Real-Time Java and C\/Real-Time POSIX, 4th edn. Addison-Wesley Educational Publishers Inc., USA (2009)","edition":"4"},{"key":"8_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"242","DOI":"10.1007\/978-3-540-73551-9_17","volume-title":"Component-Based Software Engineering","author":"J Polakovic","year":"2007","unstructured":"Polakovic, J., Mazare, S., Stefani, J.B., David, P.C.: Experience with safe dynamic reconfigurations in component-based embedded systems. In: Schmidt, H.W., Crnkovic, I., Heineman, G.T., Stafford, J.A. (eds.) CBSE 2007. LNCS, vol. 4608, pp. 242\u2013257. Springer, Heidelberg (2007). \n                    https:\/\/doi.org\/10.1007\/978-3-540-73551-9_17"},{"key":"8_CR3","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1109\/MC.2005.160","volume":"38","author":"D Geer","year":"2005","unstructured":"Geer, D.: Chip makers turn to multicore processors. Computer 38, 11\u201313 (2005)","journal-title":"Computer"},{"key":"8_CR4","unstructured":"Khan, M., Hafiz, G.: Simulation of multi-core scheduling in real-time embedded systems. Master\u2019s thesis (2014)"},{"key":"8_CR5","unstructured":"Lakshmanan, K.S.: Scheduling and synchronization for multi-core real-time systems. Ph.D. thesis, Carnegie Mellon University Pittsburgh, PA (2011)"},{"key":"8_CR6","unstructured":"Funk, S., Baruah, S.: Task assignment on uniform heterogeneous multiprocessors. In: Proceedings of 17th Euromicro Conference on Real-Time Systems, pp. 219\u2013226. IEEE (2005)"},{"key":"8_CR7","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 (JACM) 20, 46\u201361 (1973)","journal-title":"J. ACM (JACM)"},{"key":"8_CR8","doi-asserted-by":"crossref","unstructured":"Wang, W., Camut, F., Miramond, B.: Generation of schedule tables on multi-core systems for autosar applications. In: Conference on Design and Architectures for Signal and Image Processing (DASIP), pp. 191\u2013198. IEEE (2016)","DOI":"10.1109\/DASIP.2016.7853818"},{"key":"8_CR9","doi-asserted-by":"crossref","unstructured":"Yehia, K., Safar, M., Youness, H., AbdElSalam, M., Salem, A.: A design methodology for system level synthesis of multi-core system architectures. In: Saudi International Electronics, Communications and Photonics Conference (SIECPC), pp. 1\u20136. IEEE (2011)","DOI":"10.1109\/SIECPC.2011.5876883"},{"key":"8_CR10","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: MODELSWARD, pp. 285\u2013292 (2017)","DOI":"10.5220\/0006117702850292"},{"key":"8_CR11","doi-asserted-by":"publisher","first-page":"3934","DOI":"10.1109\/TIE.2012.2185913","volume":"59","author":"A Monot","year":"2012","unstructured":"Monot, A., Navet, N., Bavoux, B., Simonot-Lion, F.: Multisource software on multicore automotive ECUS-combining runnable sequencing with task scheduling. IEEE Trans. Ind. Electron. 59, 3934\u20133942 (2012)","journal-title":"IEEE Trans. Ind. Electron."},{"key":"8_CR12","doi-asserted-by":"crossref","unstructured":"Saidi, S.E., Cotard, S., Chaaban, K., Marteil, K.: An ILP approach for mapping autosar runnables on multi-core architectures. In: Proceedings of the Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools, p. 6. ACM (2015)","DOI":"10.1145\/2693433.2693439"},{"key":"8_CR13","unstructured":"Yi, Y., Han, W., Zhao, X., Erdogan, A.T., Arslan, T.: An ILP formulation for task mapping and scheduling on multi-core architectures. In: Proceedings of the Conference on Design, Automation and Test in Europe, pp. 33\u201338. IEEE (2009)"},{"key":"8_CR14","doi-asserted-by":"crossref","unstructured":"Vulgarakis, A., Shooja, R., Monot, A., Carlson, J., Behnam, M.: Task synthesis for control applications on multicore platforms. In: 2014 11th International Conference on Information Technology: New Generations (ITNG), pp. 229\u2013234. IEEE (2014)","DOI":"10.1109\/ITNG.2014.61"},{"key":"8_CR15","doi-asserted-by":"crossref","unstructured":"Faragardi, H.R., Lisper, B., Nolte, T.: Towards a communication-efficient mapping of autosar runnables on multi-cores. In: IEEE 18th Conference on Emerging Technologies & Factory Automation (ETFA), pp. 1\u20135. IEEE (2013)","DOI":"10.1109\/ETFA.2013.6648168"},{"key":"8_CR16","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1016\/j.cor.2016.05.014","volume":"75","author":"H Lei","year":"2016","unstructured":"Lei, H., Wang, R., Zhang, T., Liu, Y., Zha, Y.: A multi-objective co-evolutionary algorithm for energy-efficient scheduling on a green data center. Comput. Oper. Res. 75, 103\u2013117 (2016)","journal-title":"Comput. Oper. Res."},{"key":"8_CR17","unstructured":"Chniter, H., Jarray, F., Khalgui, M.: Combinatorial approaches for low-power and real-time adaptive reconfigurable embedded systems. In: Proceedings of the 4th Pervasive and Embedded Computing and Communication Systems, pp. 151\u2013157 (2014)"},{"key":"8_CR18","doi-asserted-by":"publisher","first-page":"535","DOI":"10.1007\/978-1-4615-2796-1_8","volume-title":"A Practitioner\u2019s Handbook for Real-Time Analysis","author":"Mark H. Klein","year":"1993","unstructured":"Klein, M.H., Ralya, T., Pollak, B., Obenza, R., Harbour, M.G.: Analyzing complex systems. In: A Practitioner\u2019s Handbook for Real-Time Analysis, pp. 535\u2013578, Springer (1993). \n                    https:\/\/doi.org\/10.1007\/978-1-4615-2796-1_8"},{"key":"8_CR19","doi-asserted-by":"crossref","unstructured":"Lakhdhar, W., Mzid, R., Khalgui, M., Tr\u00e8ves, N.: MILP-based approach for optimal implementation of reconfigurable real-time systems. In: Proceedings of the International Joint Conference on Software Technologies (ICSOFT) - Volume 1: ICSOFT-EA, Lisbon, Portugal, 24\u201326, 11th July, pp. 330\u2013335 (2016)","DOI":"10.5220\/0006006703300335"},{"key":"8_CR20","doi-asserted-by":"crossref","unstructured":"Lakhdhar, W., Mzid, R., Khalgui, M., Frey, G.: A new approach for optimal implementation of multi-core reconfigurable real-time systems. In: Proceedings of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2018, Funchal, Madeira, Portugal, 23\u201324 March 2018, pp. 89\u201398 (2018)","DOI":"10.5220\/0006698100890098"},{"key":"8_CR21","first-page":"1","volume":"99","author":"W Lakhdhar","year":"2018","unstructured":"Lakhdhar, W., Mzid, R., Khalgui, M., Li, Z., Frey, G., Al-Ahmari, A.: Multiobjective optimization approach for a portable development of reconfigurable real-time systems: from specification to implementation. IEEE Trans. Syst. Man Cybern. Syst. 99, 1\u201315 (2018)","journal-title":"IEEE Trans. Syst. Man Cybern. Syst."},{"key":"8_CR22","doi-asserted-by":"publisher","first-page":"1510","DOI":"10.1109\/TPDS.2013.213","volume":"25","author":"H Wang","year":"2014","unstructured":"Wang, H., Shu, L., Yin, W., Xiao, Y., Cao, J.: Hyperbolic utilization bounds for rate monotonic scheduling on homogeneous multiprocessors. IEEE Trans. Parallel Distrib. Syst. 25, 1510\u20131521 (2014)","journal-title":"IEEE Trans. Parallel Distrib. Syst."},{"key":"8_CR23","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1016\/0165-6074(94)90080-9","volume":"40","author":"K Tindell","year":"1994","unstructured":"Tindell, K., Clark, J.: Holistic schedulability analysis for distributed hard real-time systems. Microprocessing Microprogramming 40, 117\u2013134 (1994)","journal-title":"Microprocessing Microprogramming"},{"key":"8_CR24","unstructured":"Singhoff, F.: Real-Time Scheduling Analysis (2014)"},{"key":"8_CR25","doi-asserted-by":"crossref","unstructured":"Vulgarakis, A., Shooja, R., Monot, A., Carlson, J., Behnam, M.: Task synthesis for control applications on multicore platforms. In: 2014 11th International Conference on Information Technology: New Generations, pp. 229\u2013234 (2014)","DOI":"10.1109\/ITNG.2014.61"},{"key":"8_CR26","doi-asserted-by":"crossref","unstructured":"Yehia, K., Safar, M., Youness, H., AbdElSalam, M., Salem, A.: A design methodology for system level synthesis of multi-core system architectures. In: Proceedings of 2011 Saudi International Electronics, Communications and Photonics Conference (SIECPC), pp. 1\u20136 (2011)","DOI":"10.1109\/SIECPC.2011.5876883"}],"container-title":["Communications in Computer and Information Science","Evaluation of Novel Approaches to Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-22559-9_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,29]],"date-time":"2019-06-29T02:36:27Z","timestamp":1561775787000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-22559-9_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030225582","9783030225599"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-22559-9_8","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"value":"1865-0929","type":"print"},{"value":"1865-0937","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"29 June 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ENASE","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Evaluation of Novel Approaches to Software Engineering","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Funchal","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Portugal","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2018","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"23 March 2018","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"24 March 2018","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"8","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"enase2018","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.enase.org\/?y=2018","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}