{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:27:34Z","timestamp":1750220854288,"version":"3.41.0"},"reference-count":54,"publisher":"Association for Computing Machinery (ACM)","issue":"5","license":[{"start":{"date-parts":[[2019,9,30]],"date-time":"2019-09-30T00:00:00Z","timestamp":1569801600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"ONERA project MAUSART"},{"name":"European project DREAMS","award":["610640"],"award-info":[{"award-number":["610640"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Embed. Comput. Syst."],"published-print":{"date-parts":[[2019,9,30]]},"DOI":"10.1145\/3350533","type":"journal-article","created":{"date-parts":[[2019,10,10]],"date-time":"2019-10-10T13:13:05Z","timestamp":1570713185000},"page":"1-24","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["GRec"],"prefix":"10.1145","volume":"18","author":[{"given":"Guy","family":"Durrieu","sequence":"first","affiliation":[{"name":"ONERA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7265-1839","authenticated-orcid":false,"given":"Claire","family":"Pagetti","sequence":"additional","affiliation":[{"name":"ONERA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2019,10,9]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/71.809575"},{"key":"e_1_2_1_2_1","unstructured":"Aeronautical Radio Inc. 1997. Avionics Application Software Standard Interface--ARINC Specification 653. https:\/\/www.aviation-ia.com\/products\/653p0-2-avionics-application-software-standard-interface-part-0-overview-arinc-653.  Aeronautical Radio Inc. 1997. Avionics Application Software Standard Interface--ARINC Specification 653. https:\/\/www.aviation-ia.com\/products\/653p0-2-avionics-application-software-standard-interface-part-0-overview-arinc-653."},{"key":"e_1_2_1_3_1","first-page":"7","article-title":"Fault tolerance in multi-core processors using flexible redundant threading","volume":"2","author":"Ashok Kumar P.","year":"2014","journal-title":"Int. J. Adv. Comput. Eng. Netw."},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/MODELS.2017.28"},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-85778-5_12"},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/MM.2005.110"},{"volume-title":"Xoncrete. In Proceedings of the 5th Conference on Embedded Real Time Software and Systems (ERTS\u201910)","year":"2010","author":"Brocal Vicent","key":"e_1_2_1_7_1"},{"volume-title":"Proceedings of the 27th Euromicro Conference on Real-Time Systems (ECRTS\u201915)","author":"Burns Alan","key":"e_1_2_1_8_1"},{"volume-title":"Proceedings of the 27th IEEE International Real-Time Systems Symposium (RTSS\u201906)","author":"Calandrino J.","key":"e_1_2_1_9_1"},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACSD.2014.19"},{"volume-title":"Proceedings of the 18th Asia and South Pacific Design Automation Conference (ASP-DAC\u201913)","author":"Chang C.-W.","key":"e_1_2_1_11_1"},{"key":"e_1_2_1_12_1","unstructured":"E. G. Coffman  Jr M. R. Garey and D. S. Johnson. 1996. Approximation algorithms for bin packing: A survey. In Approximation Algorithms for NP-hard Problems. PWS Publishing Co. 46--93.  E. G. Coffman Jr M. R. Garey and D. S. Johnson. 1996. Approximation algorithms for bin packing: A survey. In Approximation Algorithms for NP-hard Problems. PWS Publishing Co. 46--93."},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11241-015-9244-x"},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/307418.307461"},{"volume":"634","volume-title":"Proceedings of the 2nd Joint International Conference on Vector and Parallel Processing (CONPAR\u201992\u2014VAPP V) (Lecture Notes in Computer Science), L. Boug\u00e9, M. Cosnard, Y. Robert, and D. Trystram (Eds.)","author":"David V.","key":"e_1_2_1_15_1"},{"volume":"1073","volume-title":"Proceedings of the 5th International Workshop on Graph Grammars and Their Application to Computer Science (Lecture Notes in Computer Science), J. Cuny, H. Ehrig, G. Engels, and G. Rozenberg (Eds.)","author":"Derk M. D.","key":"e_1_2_1_16_1"},{"key":"e_1_2_1_17_1","unstructured":"DREAMS consortium. 2013--2017. DREAMS: Distributed REal-time Architecture for Mixed Criticality Systems. Retrieved from: http:\/\/dreams-project.eu.  DREAMS consortium. 2013--2017. DREAMS: Distributed REal-time Architecture for Mixed Criticality Systems. Retrieved from: http:\/\/dreams-project.eu."},{"key":"e_1_2_1_18_1","unstructured":"DREAMS consortium. 2016. DREAMS Final Integration. Retrieved from: http:\/\/www.uni-siegen.de\/dreams\/publications\/2016-12-20-newsletter.pdf.  DREAMS consortium. 2016. DREAMS Final Integration. Retrieved from: http:\/\/www.uni-siegen.de\/dreams\/publications\/2016-12-20-newsletter.pdf."},{"volume-title":"Proceedings of the 7th Conference on Embedded Real Time Software and Systems (ERTS\u201914)","year":"2014","author":"Durrieu Guy","key":"e_1_2_1_19_1"},{"volume-title":"Proceedings of the 8th Conference on Embedded Real Time Software and Systems (ERTS\u201916)","year":"2016","author":"Durrieu Guy","key":"e_1_2_1_20_1"},{"key":"e_1_2_1_22_1","volume-title":"Proceedings of the 3rd International Symposium on Applications of Graph Transformations with Industrial Relevance (AGTIVE\u201907)","volume":"5088","author":"Ermel Claudia","year":"2007"},{"volume-title":"Proceedings of the 15th International Symposium on Quality Electronic Design. IEEE, 284--291","author":"Fan M.","key":"e_1_2_1_23_1"},{"key":"e_1_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1007993819750"},{"volume-title":"Proceedings of the 9th European Congress on Embedded Real Time Software and Systems (ERTS\u201918)","year":"2018","author":"Fohler Gerhard","key":"e_1_2_1_25_1"},{"key":"e_1_2_1_26_1","unstructured":"Radio Technical Commission for Aeronautics (RTCA) and EURopean Organisation for Civil Aviation Equipment (EUROCAE). 2007. DO-297: Software Electronic Integrated Modular Avionics (IMA) Development Guidance and Certification Considerations. https:\/\/standards.globalspec.com\/std\/2018378\/RTCA%20DO-297.  Radio Technical Commission for Aeronautics (RTCA) and EURopean Organisation for Civil Aviation Equipment (EUROCAE). 2007. DO-297: Software Electronic Integrated Modular Avionics (IMA) Development Guidance and Certification Considerations. https:\/\/standards.globalspec.com\/std\/2018378\/RTCA%20DO-297."},{"key":"e_1_2_1_27_1","unstructured":"Freescale. 2014. T4240 QorIQ: Integrated Multicore Communications Processor Family Reference Manual. https:\/\/www.nxp.com\/docs\/en\/user-guide\/T4240RDBUG.pdf.  Freescale. 2014. T4240 QorIQ: Integrated Multicore Communications Processor Family Reference Manual. https:\/\/www.nxp.com\/docs\/en\/user-guide\/T4240RDBUG.pdf."},{"key":"e_1_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.5220\/0006698500990110"},{"key":"e_1_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-22975-1_8"},{"key":"e_1_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2007.02.032"},{"key":"e_1_2_1_32_1","unstructured":"IBM 2017. IBM ILOG CPLEX Optimization Studio. Retrieved from: http:\/\/www03.ibm.com\/software\/products\/en\/ibmilogcpleoptistud\/.  IBM 2017. IBM ILOG CPLEX Optimization Studio. Retrieved from: http:\/\/www03.ibm.com\/software\/products\/en\/ibmilogcpleoptistud\/."},{"volume-title":"Proceedings of the 16th Euromicro Conference on Real-Time Systems (ECRTS\u201904)","author":"Isovic D.","key":"e_1_2_1_33_1"},{"volume-title":"Proceedings of the IEEE 18th Real Time and Embedded Technology and Applications Symposium. IEEE, 307--316","author":"Kandhalu A.","key":"e_1_2_1_34_1"},{"volume-title":"Proceedings of the Design, Automation 8 Test in Europe Conference 8 Exhibition (DATE\u201910)","author":"Kooti H.","key":"e_1_2_1_35_1"},{"key":"e_1_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/2659787.2659799"},{"key":"e_1_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1109\/5.259424"},{"volume-title":"Proceedings of the 1st Merged International Parallel Processing Symposium and Symposium on Parallel and Distributed Processing. IEEE, 511--518","author":"Lauzac S.","key":"e_1_2_1_38_1"},{"key":"e_1_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1109\/DASC.2000.886885"},{"key":"e_1_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/321738.321743"},{"volume-title":"Proceedings of the IEEE International Conference on Intelligent Systems and Knowledge Engineering. IEEE, 580--583","author":"Liu J.","key":"e_1_2_1_41_1"},{"volume-title":"Proceedings of DASIA","year":"2009","author":"Masmano Miguel","key":"e_1_2_1_42_1"},{"volume-title":"Proceedings of the 8th IEEE Design and Test Symposium.","author":"Mushtaq H.","key":"e_1_2_1_43_1"},{"key":"e_1_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-011-0107-x"},{"key":"e_1_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2014.6926012"},{"key":"e_1_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.637388"},{"key":"e_1_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/2997465.2997496"},{"key":"e_1_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11241-015-9232-1"},{"key":"e_1_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1009804226473"},{"key":"e_1_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.5555\/956418.956580"},{"key":"e_1_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2010.25"},{"key":"e_1_2_1_53_1","unstructured":"TTTech. 2011. TTEthernet Time-Triggered Ethernet (SAE AS 6802). https:\/\/www.sae.org\/standards\/content\/as6802\/.  TTTech. 2011. TTEthernet Time-Triggered Ethernet (SAE AS 6802). https:\/\/www.sae.org\/standards\/content\/as6802\/."},{"key":"e_1_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.3390\/app8030465"},{"volume":"24","volume-title":"Proceedings of the 7th European Software Engineering Conference Held Jointly with the 7th ACM SIGSOFT International Symposium on Foundations of Software Engineering (ESEC\/FSE\u201999)","author":"Wermelinger M.","key":"e_1_2_1_55_1"},{"volume":"26","volume-title":"Proceedings of the 8th European Software Engineering Conference Held Jointly with the 9th ACM SIGSOFT International Symposium on Foundations of Software Engineering (ESEC\/FSE\u201901)","author":"Wermelinger M.","key":"e_1_2_1_56_1"},{"key":"e_1_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.214831"}],"container-title":["ACM Transactions on Embedded Computing Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3350533","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3350533","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:23:20Z","timestamp":1750202600000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3350533"}},"subtitle":["Automatic Computation of Reconfiguration Graphs for Multi-core Platforms"],"short-title":[],"issued":{"date-parts":[[2019,9,30]]},"references-count":54,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2019,9,30]]}},"alternative-id":["10.1145\/3350533"],"URL":"https:\/\/doi.org\/10.1145\/3350533","relation":{},"ISSN":["1539-9087","1558-3465"],"issn-type":[{"type":"print","value":"1539-9087"},{"type":"electronic","value":"1558-3465"}],"subject":[],"published":{"date-parts":[[2019,9,30]]},"assertion":[{"value":"2018-07-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2019-07-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2019-10-09","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}