{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,11]],"date-time":"2025-09-11T19:11:38Z","timestamp":1757617898904,"version":"3.44.0"},"publisher-location":"Cham","reference-count":17,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031873447"},{"type":"electronic","value":"9783031873454"}],"license":[{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025]]},"DOI":"10.1007\/978-3-031-87345-4_19","type":"book-chapter","created":{"date-parts":[[2025,4,28]],"date-time":"2025-04-28T00:34:05Z","timestamp":1745800445000},"page":"285-304","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["A653MSim: An ARINC 653 Multicore Simulator"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5984-8319","authenticated-orcid":false,"given":"Jean-Baptiste","family":"Lefoul","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0766-1421","authenticated-orcid":false,"given":"Felipe Gohring","family":"de Magalh\u00e3es","sequence":"additional","affiliation":[]},{"given":"Brandon","family":"Bhatnagar","sequence":"additional","affiliation":[]},{"given":"Gabriela","family":"Nicolescu","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2025,4,29]]},"reference":[{"key":"19_CR1","unstructured":"Position paper cast-32a - multi-core processors. Technical report CAST-32A, Certification Authorities Software Team (2016)"},{"key":"19_CR2","unstructured":"ARINC 653 avionics application software standard interface, part 0: Overview of ARINC 653 and part 1: Required services (2021)"},{"key":"19_CR3","unstructured":"Common trace format (2024). https:\/\/diamon.org\/ctf\/v1.8.3\/"},{"issue":"2","key":"19_CR4","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/2024716.2024718","volume":"39","author":"N Binkert","year":"2011","unstructured":"Binkert, N., et al.: The gem5 simulator. SIGARCH Comput. Archit. News 39(2), 1\u20137 (2011). https:\/\/doi.org\/10.1145\/2024716.2024718","journal-title":"SIGARCH Comput. Archit. News"},{"key":"19_CR5","doi-asserted-by":"publisher","unstructured":"Chen, K., Du, C., Chen, J., Gu, Q.: Design of virtual simulation experiment platform based on ARINC 653 specification. In: 2020 IEEE 4th Information Technology, Networking, Electronic and Automation Control Conference (ITNEC), vol.\u00a01, pp. 963\u2013967 (2020). https:\/\/doi.org\/10.1109\/ITNEC48623.2020.9084836","DOI":"10.1109\/ITNEC48623.2020.9084836"},{"key":"19_CR6","doi-asserted-by":"publisher","unstructured":"Falk, H., et al.: TACLeBench: a benchmark collection to support worst-case execution time research. In: Schoeberl, M. (ed.) 16th International Workshop on Worst-Case Execution Time Analysis (WCET 2016). Open Access Series in Informatics (OASIcs), vol.\u00a055, pp. 2:1\u20132:10. Schloss Dagstuhl \u2013 Leibniz-Zentrum f\u00fcr Informatik, Dagstuhl (2016). https:\/\/doi.org\/10.4230\/OASIcs.WCET.2016.2, https:\/\/drops.dagstuhl.de\/entities\/document\/10.4230\/OASIcs.WCET.2016.2","DOI":"10.4230\/OASIcs.WCET.2016.2"},{"key":"19_CR7","doi-asserted-by":"publisher","unstructured":"Han, S., Jin, H.W.: Full virtualization based ARINC 653 partitioning. In: 2011 IEEE\/AIAA 30th Digital Avionics Systems Conference, pp. 7E1-1\u20137E1-11 (2011). https:\/\/doi.org\/10.1109\/DASC.2011.6096132","DOI":"10.1109\/DASC.2011.6096132"},{"key":"19_CR8","doi-asserted-by":"publisher","unstructured":"Han, S., Jin, H.W.: Kernel-level ARINC 653 partitioning for Linux. In: Proceedings of the 27th Annual ACM Symposium on Applied Computing, SAC 2012, pp. 1632\u20131637. Association for Computing Machinery, New York (2012). https:\/\/doi.org\/10.1145\/2245276.2232037","DOI":"10.1145\/2245276.2232037"},{"key":"19_CR9","volume-title":"Computer Architecture, Sixth Edition: A Quantitative Approach","author":"JL Hennessy","year":"2017","unstructured":"Hennessy, J.L., Patterson, D.A.: Computer Architecture, Sixth Edition: A Quantitative Approach, 6th edn. Morgan Kaufmann Publishers Inc., San Francisco (2017)","edition":"6"},{"key":"19_CR10","doi-asserted-by":"publisher","first-page":"142478","DOI":"10.1109\/ACCESS.2019.2944662","volume":"7","author":"HC Jo","year":"2019","unstructured":"Jo, H.C., Park, J.K., Jin, H.W., Yoon, H.S., Lee, S.H.: Portable and configurable implementation of ARINC-653 temporal partitioning for small civilian UAVs. IEEE Access 7, 142478\u2013142487 (2019). https:\/\/doi.org\/10.1109\/ACCESS.2019.2944662","journal-title":"IEEE Access"},{"key":"19_CR11","volume-title":"Simulation Modeling & Analysis","author":"AM Law","year":"2015","unstructured":"Law, A.M.: Simulation Modeling & Analysis, 5th edn. McGraw-Hill, New York (2015)","edition":"5"},{"key":"19_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-030-41131-2_1","volume-title":"Cyber Physical Systems. Model-Based Design","author":"L Lazzara","year":"2020","unstructured":"Lazzara, L., Mancuso, G., Cremona, F., Ulisse, A.: A modular SystemC RTOS model for uncertainty analysis. In: Chamberlain, R., Edin Grimheden, M., Taha, W. (eds.) CyPhy WESE 2019. LNCS, vol. 11971, pp. 3\u201327. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-41131-2_1"},{"key":"19_CR13","unstructured":"de\u00a0Magalhaes, F.G., Dugo, A.T.A., Lefoul, J.B., Nicolescu, G.: On the benchmarking of partitioned real-time systems (2020)"},{"key":"19_CR14","doi-asserted-by":"publisher","first-page":"346","DOI":"10.1016\/j.sysarc.2019.02.016","volume":"98","author":"D Nadeau","year":"2019","unstructured":"Nadeau, D., Ezzati-Jivan, N., Dagenais, M.R.: Efficient large-scale heterogeneous debugging using dynamic tracing. J. Syst. Architect. 98, 346\u2013360 (2019)","journal-title":"J. Syst. Architect."},{"key":"19_CR15","unstructured":"Pascoal, E., Rufino, J., Schoofs, T., Windsor, J., Portugal, S., J\u00f5, A.: AMOBA-ARINC 653 simulator for modular based space applications (2008)"},{"key":"19_CR16","doi-asserted-by":"publisher","unstructured":"Schlebusch, H.J.: SystemC based hardware synthesis becomes reality. In: Proceedings of the 26th Euromicro Conference. EUROMICRO 2000. Informatics: Inventing the Future, vol.\u00a01, pp. 434 (2000). https:\/\/doi.org\/10.1109\/EURMIC.2000.874663","DOI":"10.1109\/EURMIC.2000.874663"},{"key":"19_CR17","doi-asserted-by":"publisher","unstructured":"Schoofs, T., Santos, S., Tatibana, C., Anjos, J.: An integrated modular avionics development environment. In: 2009 IEEE\/AIAA 28th Digital Avionics Systems Conference, pp. 1.A.2-1\u20131.A.2-9 (2009). https:\/\/doi.org\/10.1109\/DASC.2009.5347582","DOI":"10.1109\/DASC.2009.5347582"}],"container-title":["Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering","Simulation Tools and Techniques"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-87345-4_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,6]],"date-time":"2025-09-06T12:11:52Z","timestamp":1757160712000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-87345-4_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025]]},"ISBN":["9783031873447","9783031873454"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-87345-4_19","relation":{},"ISSN":["1867-8211","1867-822X"],"issn-type":[{"type":"print","value":"1867-8211"},{"type":"electronic","value":"1867-822X"}],"subject":[],"published":{"date-parts":[[2025]]},"assertion":[{"value":"29 April 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"SIMUtools","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Simulation Tools and Techniques","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Bratislava","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Slovakia","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"9 December 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"10 December 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"simutools2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/simutools.eai-conferences.org\/2024\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}