{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:25:15Z","timestamp":1750307115398,"version":"3.41.0"},"reference-count":20,"publisher":"Association for Computing Machinery (ACM)","issue":"3","license":[{"start":{"date-parts":[[2011,9,1]],"date-time":"2011-09-01T00:00:00Z","timestamp":1314835200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["SIGBED Rev."],"published-print":{"date-parts":[[2011,9]]},"abstract":"<jats:p>Time- and space-partitioned systems (TSP) are a current trend in aerospace. They are employed to integrate a heterogeneous set of functions (different criticalities, real-time requirements, and origins) in a shared computing platform, fulfilling individual partitions' and global real-time properties. Applications are separated into logical partitions, scheduled according to predefined partition scheduling tables (PSTs). In this paper we expose our current work on exploiting multiprocessor\/multicore processor platforms to add capacity, flexibility and safety to the current state of the art in TSP systems. We propose architectural evolutions, as well as the development of a schedule analysis and generation tool based on Cheddar. The tool will incorporate and extend real-time scheduling theory results, and be able to analyse the feasibility of PSTs and aid the generation of PSTs from the individual timing requirements of each function.<\/jats:p>","DOI":"10.1145\/2038617.2038622","type":"journal-article","created":{"date-parts":[[2011,10,4]],"date-time":"2011-10-04T13:24:18Z","timestamp":1317734658000},"page":"23-27","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":9,"title":["Architecture, mechanisms and scheduling analysis tool for multicore time- and space-partitioned systems"],"prefix":"10.1145","volume":"8","author":[{"given":"Jo\u00e3o","family":"Craveiro","sequence":"first","affiliation":[{"name":"Universidade de Lisboa, FCUL, LaSIGE, Lisbon, Portugal"}]},{"given":"Jos\u00e9","family":"Rufino","sequence":"additional","affiliation":[{"name":"Universidade de Lisboa, FCUL, LaSIGE, Lisbon, Portugal"}]},{"given":"Frank","family":"Singhoff","sequence":"additional","affiliation":[{"name":"LISyC\/University of Brest\/UEB, Brest, France"}]}],"member":"320","published-online":{"date-parts":[[2011,9]]},"reference":[{"key":"e_1_2_1_2_1","volume-title":"ARINC Report 651-1, Nov.","author":"Integrated Modular Avionics AEEC","year":"1997","unstructured":"AEEC , \"Design guidance for Integrated Modular Avionics ,\" Aeronautical Radio , Inc ., ARINC Report 651-1, Nov. 1997 . AEEC, \"Design guidance for Integrated Modular Avionics,\" Aeronautical Radio, Inc., ARINC Report 651-1, Nov. 1997."},{"key":"e_1_2_1_3_1","volume-title":"part 1 - required services,\" Aeronautical Radio","author":"AEEC","year":"2006","unstructured":"AEEC , \"Avionics application software standard interface , part 1 - required services,\" Aeronautical Radio , Inc., ARINC Specification 653P1-2, Mar. 2006 . AEEC, \"Avionics application software standard interface, part 1 - required services,\" Aeronautical Radio, Inc., ARINC Specification 653P1-2, Mar. 2006."},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/SMC-IT.2009.11"},{"key":"e_1_2_1_5_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"146","DOI":"10.1007\/978-3-642-17245-8_7","volume-title":"Architecting robustness and timeliness in a new generation of aerospace systems,\" in Architecting Dependable Systems VII","author":"Rufino J.","year":"2010","unstructured":"J. Rufino , J. Craveiro , and P. Verissimo , \" Architecting robustness and timeliness in a new generation of aerospace systems,\" in Architecting Dependable Systems VII , ser. Lecture Notes in Computer Science , A. Casimiro, R. de Lemos, and C. Gacek, Eds. Springer, 2010 , vol. 6420 , pp. 146 -- 170 . J. Rufino, J. Craveiro, and P. Verissimo, \"Architecting robustness and timeliness in a new generation of aerospace systems,\" in Architecting Dependable Systems VII, ser. Lecture Notes in Computer Science, A. Casimiro, R. de Lemos, and C. Gacek, Eds. Springer, 2010, vol. 6420, pp. 146--170."},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11241-009-9072-y"},{"key":"e_1_2_1_7_1","volume-title":"Lisbon","author":"Craveiro J.","year":"2010","unstructured":"J. Craveiro and J. Rufino , \" Adaptability support in time-and space-partitioned aerospace systems,\" in Proceedings of the Second International Conference on Adaptive and Self-adaptive Systems and Applications (ADAPTIVE 2010) , Lisbon , Portugal , Nov. 2010 . J. Craveiro and J. Rufino, \"Adaptability support in time-and space-partitioned aerospace systems,\" in Proceedings of the Second International Conference on Adaptive and Self-adaptive Systems and Applications (ADAPTIVE 2010), Lisbon, Portugal, Nov. 2010."},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1978802.1978814"},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/ECRTS.2008.28"},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTCSA.2009.39"},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2009.35"},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2010.12"},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/CIT.2010.320"},{"key":"e_1_2_1_16_1","volume-title":"Caparica","author":"Rosa J.","year":"2011","unstructured":"J. Rosa , J. Craveiro , and J. Rufino , \" Safe online reconfiguration of time- and space-partitioned systems,\" in Proceedings of the 9th IEEE International Conference on Industrial Informatics (INDIN 2011) , Caparica , Lisbon, Portugal , Jul. 2011 . J. Rosa, J. Craveiro, and J. Rufino, \"Safe online reconfiguration of time- and space-partitioned systems,\" in Proceedings of the 9th IEEE International Conference on Industrial Informatics (INDIN 2011), Caparica, Lisbon, Portugal, Jul. 2011."},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/321738.321743"},{"key":"e_1_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2003.1183948"},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2003.1214341"},{"key":"e_1_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1287\/opre.26.1.127"},{"key":"e_1_2_1_22_1","volume-title":"Bilbao","author":"Lupu I.","year":"2010","unstructured":"I. Lupu , P. Courbin , L. George , and J. Goossens , \" Multi-criteria evaluation of partitioning schemes for real-time systems,\" in Proceedings of the 15th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2010) , Bilbao , Spain , Sep. 2010 . I. Lupu, P. Courbin, L. George, and J. Goossens, \"Multi-criteria evaluation of partitioning schemes for real-time systems,\" in Proceedings of the 15th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2010), Bilbao, Spain, Sep. 2010."},{"key":"e_1_2_1_23_1","volume-title":"Bilbao","author":"Craveiro J.","year":"2010","unstructured":"J. Craveiro and J. Rufino , \" Schedulability analysis in partitioned systems for aerospace avionics,\" in Proceedings of the 15th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2010) , Bilbao , Spain , Sep. 2010 . J. Craveiro and J. Rufino, \"Schedulability analysis in partitioned systems for aerospace avionics,\" in Proceedings of the 15th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2010), Bilbao, Spain, Sep. 2010."},{"key":"e_1_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/1647420.1647435"}],"container-title":["ACM SIGBED Review"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2038617.2038622","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2038617.2038622","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T09:48:14Z","timestamp":1750240094000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2038617.2038622"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,9]]},"references-count":20,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2011,9]]}},"alternative-id":["10.1145\/2038617.2038622"],"URL":"https:\/\/doi.org\/10.1145\/2038617.2038622","relation":{},"ISSN":["1551-3688"],"issn-type":[{"type":"electronic","value":"1551-3688"}],"subject":[],"published":{"date-parts":[[2011,9]]},"assertion":[{"value":"2011-09-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}