{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,5]],"date-time":"2026-06-05T16:11:28Z","timestamp":1780675888749,"version":"3.54.1"},"reference-count":68,"publisher":"Association for Computing Machinery (ACM)","issue":"2","license":[{"start":{"date-parts":[[2023,1,24]],"date-time":"2023-01-24T00:00:00Z","timestamp":1674518400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"European Research Council","award":["772773"],"award-info":[{"award-number":["772773"]}]},{"DOI":"10.13039\/501100004837","name":"Spanish Ministry of Science and Innovation","doi-asserted-by":"crossref","award":["PID2019-107255GB-C21 and IJC2020-045931-I"],"award-info":[{"award-number":["PID2019-107255GB-C21 and IJC2020-045931-I"]}],"id":[{"id":"10.13039\/501100004837","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Embed. Comput. Syst."],"published-print":{"date-parts":[[2023,3,31]]},"abstract":"<jats:p>\n            The need for increased application performance in high-integrity systems such as those in avionics is on the rise as software continues to implement more complex functionalities. The prevalent computing solution for future high-integrity embedded products is multi-processor systems-on-chip (MPSoC) processors. MPSoCs include central processing unit (CPU) multicores that enable improving performance via thread-level parallelism. MPSoCs also include generic accelerators (graphics processing units [GPUs]) and application-specific accelerators. However, the\n            <jats:italic>data processing approach<\/jats:italic>\n            (DPA) required to exploit each of these underlying parallel hardware blocks carries several open challenges to enable the safe deployment in high-integrity domains. The main challenges include the qualification of its associated runtime system and the difficulties in analyzing programs deploying the DPA with out-of-the-box timing analysis and code coverage tools. In this work, we perform a thorough analysis of vector extensions (VExts) in current commercial off-the-shelf (COTS) processors for high-integrity systems. We show that VExts prevent many of the challenges arising with parallel programming models and GPUs. Unlike other DPAs, VExts require no runtime support, prevent design race conditions that might arise with parallel programming models, and have minimum impact on the software ecosystem, enabling the use of existing code coverage and timing analysis tools. We develop vectorized versions of neural network kernels and show that the NVIDIA Xavier VExts provide a reasonable increase in guaranteed application performance of up to 2.7x. Our analysis contends that VExts are the DPA approach with arguably the fastest path for adoption in high-integrity systems.\n          <\/jats:p>","DOI":"10.1145\/3561054","type":"journal-article","created":{"date-parts":[[2022,8,31]],"date-time":"2022-08-31T12:37:01Z","timestamp":1661949421000},"page":"1-26","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":8,"title":["Vector Extensions in COTS Processors to Increase Guaranteed Performance in Real-Time Systems"],"prefix":"10.1145","volume":"22","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-1960-6358","authenticated-orcid":false,"given":"Roger","family":"Pujol","sequence":"first","affiliation":[{"name":"Universitat Polit\u00e8cnica de Catalunya &amp; Barcelona Supercomputing Center, Spain"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5644-352X","authenticated-orcid":false,"given":"Josep","family":"Jorba","sequence":"additional","affiliation":[{"name":"Barcelona Supercomputing Center, Spain"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6061-7470","authenticated-orcid":false,"given":"Hamid","family":"Tabani","sequence":"additional","affiliation":[{"name":"Barcelona Supercomputing Center, Spain"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9751-1058","authenticated-orcid":false,"given":"Leonidas","family":"Kosmidis","sequence":"additional","affiliation":[{"name":"Barcelona Supercomputing Center &amp; Universitat Polit\u00e8cnica de Catalunya, Spain"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1886-2931","authenticated-orcid":false,"given":"Enrico","family":"Mezzetti","sequence":"additional","affiliation":[{"name":"Barcelona Supercomputing Center, Spain"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7951-4028","authenticated-orcid":false,"given":"Jaume","family":"Abella","sequence":"additional","affiliation":[{"name":"Barcelona Supercomputing Center, Spain"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3344-376X","authenticated-orcid":false,"given":"Francisco","family":"Cazorla","sequence":"additional","affiliation":[{"name":"Barcelona Supercomputing Center, Spain"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2023,1,24]]},"reference":[{"key":"e_1_3_2_2_2","doi-asserted-by":"publisher","DOI":"10.1109\/MM.2018.2873870"},{"key":"e_1_3_2_3_2","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2017.00017"},{"key":"e_1_3_2_4_2","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS46320.2019.00036"},{"key":"e_1_3_2_5_2","unstructured":"Arm. 2020. Arm - Cortex-A57 Software Optimization Guide. Retrieved September 5 2022 from https:\/\/developer.arm.com\/documentation\/uan0015\/b\/."},{"key":"e_1_3_2_6_2","unstructured":"Arm. 2020. Arm - Neon Intrinsics Reference. Retrieved September 5 2022 from https:\/\/developer.arm.com\/architectures\/instruction-sets\/simd-isas\/neon\/intrinsics."},{"key":"e_1_3_2_7_2","unstructured":"Baidu. 2019. Apollo an Open Autonomous Driving Platform. Retrieved September 5 2022 from http:\/\/apollo.auto\/."},{"key":"e_1_3_2_8_2","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1968.229158"},{"key":"e_1_3_2_9_2","doi-asserted-by":"publisher","DOI":"10.1145\/2514641.2514644"},{"key":"e_1_3_2_10_2","doi-asserted-by":"publisher","DOI":"10.23919\/DATE51398.2021.9474060"},{"key":"e_1_3_2_11_2","doi-asserted-by":"publisher","DOI":"10.1145\/2384616.2384625"},{"key":"e_1_3_2_12_2","doi-asserted-by":"publisher","DOI":"10.1145\/3391896"},{"key":"e_1_3_2_13_2","first-page":"1","volume-title":"14th ESA Workshop on Avionics, Data, Control and Software Systems (ADCSS\u201920)","author":"Garc\u00eda Carlos Herv\u00e1s","year":"2020","unstructured":"Carlos Herv\u00e1s Garc\u00eda. 2020. AI-4-GNC airbus DS perspectives. In 14th ESA Workshop on Avionics, Data, Control and Software Systems (ADCSS\u201920). European Space Agency (ESA), Paris, France, 1\u201312."},{"key":"e_1_3_2_14_2","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.ECRTS.2019.22"},{"key":"e_1_3_2_15_2","volume-title":"CAST-32A Multi-core Processors","year":"2016","unstructured":"Certification Authorities Software Team. 2016. CAST-32A Multi-core Processors. Certification Authorities Software Team. http:\/\/cast32a.com\/files\/cast-32a.pdf."},{"key":"e_1_3_2_16_2","unstructured":"RAPITA Systems. A DANLAW Company. 2019. RapiCover. Low-overhead Coverage Analysis for Critical Software. Retrieved September 5 2022 from https:\/\/www.rapitasystems.com\/products\/rapicover."},{"key":"e_1_3_2_17_2","unstructured":"RAPITA Systems. A DANLAW Company. 2019. RapiTime. In-depth Execution Time Analysis for Critical Software. Retrieved September 5 2022 from https:\/\/www.rapitasystems.com\/products\/rapitime."},{"key":"e_1_3_2_18_2","doi-asserted-by":"publisher","DOI":"10.23919\/DATE.2017.7927000"},{"key":"e_1_3_2_19_2","doi-asserted-by":"publisher","DOI":"10.4230\/OASIcs.WCET.2019.2"},{"key":"e_1_3_2_20_2","volume-title":"Introduction to Radar Signal and Data Processing: The Opportunity","author":"Farina Alfonso","year":"2006","unstructured":"Alfonso Farina. 2006. Introduction to Radar Signal and Data Processing: The Opportunity. Technical Report. Selex Sistemi Integrati, Rome, Italy. https:\/\/apps.dtic.mil\/sti\/pdfs\/ADA472912.pdf."},{"key":"e_1_3_2_21_2","unstructured":"Freescale semiconductor. 2016. QorIQ T2080 Reference Manual. Also supports T2081. Doc. No.: T2080RM. Rev. 3 11\/2016."},{"key":"e_1_3_2_22_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-981-13-9193-4_9"},{"key":"e_1_3_2_23_2","doi-asserted-by":"publisher","DOI":"10.1109\/ISOCC.2011.6138743"},{"key":"e_1_3_2_24_2","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2017.13"},{"key":"e_1_3_2_25_2","volume-title":"RTEMS SMP Final Report: Development Environment for Future Leon Multi-core","author":"Hellstr\u00f6m Daniel","year":"2015","unstructured":"Daniel Hellstr\u00f6m and Fabrice Cros. 2015. RTEMS SMP Final Report: Development Environment for Future Leon Multi-core. Technical Report. European Space Agency (ESA), Paris, France. http:\/\/microelectronics.esa.int\/gr740\/RTEMS-SMPFinalReport-CGAislerASD-OAR.pdf."},{"key":"e_1_3_2_26_2","first-page":"1","article-title":"Artificial intelligence and data science in the automotive industry","volume":"1709","author":"Hofmann Martin","year":"2017","unstructured":"Martin Hofmann, Florian Neukart, and Thomas B\u00e4ck. 2017. Artificial intelligence and data science in the automotive industry. CoRR abs\/1709.01989 (2017), 1\u201322. arXiv:1709.01989. http:\/\/arxiv.org\/abs\/1709.01989.","journal-title":"CoRR"},{"key":"e_1_3_2_27_2","doi-asserted-by":"publisher","DOI":"10.1145\/2338965.2336779"},{"key":"e_1_3_2_28_2","volume-title":"ISO\/DIS 26262. Road Vehicles\u2013Functional Safety","year":"2009","unstructured":"International Organization for Standardization. 2009. ISO\/DIS 26262. Road Vehicles\u2013Functional Safety. International Organization for Standardization."},{"key":"e_1_3_2_29_2","first-page":"15","volume-title":"the 26th Safety-Critical Systems Symposium","author":"Johnson Chris W.","year":"2018","unstructured":"Chris W. Johnson. 2018. The increasing risks of risk assessment: On the rise of artificial intelligence and non-determinism in safety-critical systems. In the 26th Safety-Critical Systems Symposium. Safety-Critical Systems Club York, UK, SCSC on Amazon\/CreateSpace, York, UK, 15."},{"key":"e_1_3_2_30_2","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS46320.2019.00044"},{"key":"e_1_3_2_31_2","doi-asserted-by":"publisher","DOI":"10.3390\/mca25030046"},{"key":"e_1_3_2_32_2","doi-asserted-by":"publisher","DOI":"10.1109\/ISCA.2003.1207017"},{"key":"e_1_3_2_33_2","doi-asserted-by":"publisher","DOI":"10.1109\/RTCSA.2015.18"},{"key":"e_1_3_2_34_2","volume-title":"3rd Workshop on Application Specific Processors","author":"Lin Yuan","year":"2004","unstructured":"Yuan Lin, Nadev Baron, Hyunseok Lee, Scott Mahlke, and Trevor Mudge. 2004. A programmable Vector coprocessor architecture for wireless applications. In 3rd Workshop on Application Specific Processors. ACM, New York, NY, 103\u2013110. https:\/\/cccp.eecs.umich.edu\/papers\/lin-wasp04.pdf."},{"key":"e_1_3_2_35_2","doi-asserted-by":"publisher","DOI":"10.1109\/DASC52595.2021.9594412"},{"key":"e_1_3_2_36_2","doi-asserted-by":"publisher","DOI":"10.1145\/3404397.3404440"},{"key":"e_1_3_2_37_2","doi-asserted-by":"publisher","DOI":"10.23919\/DATE48585.2020.9116230"},{"key":"e_1_3_2_38_2","unstructured":"Netlib.org. 2021. EISPACK. Retrieved September 5 2022 from http:\/\/www.netlib.org\/eispack\/."},{"key":"e_1_3_2_39_2","first-page":"1","volume-title":"GR740 User Day (at ESTEC\/ESA)","author":"Qui\u00f1ones Eduardo","year":"2019","unstructured":"Eduardo Qui\u00f1ones and Franck Wartel. 2019. Extrae: An OpenMP-compatible performance monitoring tool for the GR740. In GR740 User Day (at ESTEC\/ESA). European Space Agency (ESA), Paris, France, 1\u201320."},{"key":"e_1_3_2_40_2","unstructured":"NVIDIA. 2016. NVIDIA - Jetson TX1 Module. Retrieved September 5 2022 from https:\/\/developer.nvidia.com\/embedded\/jetson-tx1."},{"key":"e_1_3_2_41_2","article-title":"NVIDIA - Jetson TX2 Module","year":"2017","unstructured":"NVIDIA. 2017. NVIDIA - Jetson TX2 Module. Retrieved September 5, 2022 from https:\/\/developer.nvidia.com\/embedded\/jetson-tx2.","journal-title":"https:\/\/developer.nvidia.com\/embedded\/jetson-tx2"},{"key":"e_1_3_2_42_2","volume-title":"Technical Reference Manual. Xavier Series SoC. DP-09253-002. Version 1.1","year":"2018","unstructured":"NVIDIA. 2018. Technical Reference Manual. Xavier Series SoC. DP-09253-002. Version 1.1. Technical Report. NVIDIA."},{"key":"e_1_3_2_43_2","unstructured":"NVIDIA. 2021. NVIDIA DRIVE PX. Scalable Supercomputer for Autonomous Driving. Retrieved September 5 2022 from http:\/\/www.nvidia.com\/object\/drive-px.html."},{"key":"e_1_3_2_44_2","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS48715.2020.000-5"},{"key":"e_1_3_2_45_2","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.ECRTS.2020.10"},{"key":"e_1_3_2_46_2","doi-asserted-by":"publisher","DOI":"10.4230\/OASIcs.WCET.2013.11"},{"key":"e_1_3_2_47_2","doi-asserted-by":"publisher","DOI":"10.1145\/2609248.2609261"},{"key":"e_1_3_2_48_2","doi-asserted-by":"publisher","DOI":"10.1145\/3293882.3338989"},{"key":"e_1_3_2_49_2","doi-asserted-by":"publisher","DOI":"10.1145\/3398665"},{"key":"e_1_3_2_50_2","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.ECRTS.2021.1"},{"key":"e_1_3_2_51_2","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.ECRTS.2019.23"},{"key":"e_1_3_2_52_2","unstructured":"David Radack Harold G. Tiedeman and Paul Parkinson. 2018. Civil Certification of Multi-core Processing Systems in Commercial Avionics. White Paper. Retrieved September 6 2022 from https:\/\/www.collinsaerospace.com\/-\/media\/CA\/product-assets\/marketing\/m\/multicore-processing-systems\/multi-core-certification-white-paper.pdf?rev=5649fddf5fa345dfab1fbf5a6193112d."},{"key":"e_1_3_2_53_2","first-page":"1","article-title":"YOLOv3: An incremental improvement","volume":"1804","author":"Redmon Joseph","year":"2018","unstructured":"Joseph Redmon and Ali Farhadi. 2018. YOLOv3: An incremental improvement. CoRR abs\/1804.02767 (2018), 1\u20136. arXiv:1804.02767. http:\/\/arxiv.org\/abs\/1804.02767.","journal-title":"CoRR"},{"key":"e_1_3_2_54_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-65578-9_16"},{"key":"e_1_3_2_55_2","volume-title":"DO-178C\/ED-12C, Software Considerations in Airborne Systems and Equipment Certification","author":"EUROCAE RTCA and","year":"2011","unstructured":"RTCA and EUROCAE. 2011. DO-178C\/ED-12C, Software Considerations in Airborne Systems and Equipment Certification. RTCA and EUROCAE."},{"key":"e_1_3_2_56_2","volume-title":"RTCA DO-330 \u2014 Software Tool Qualification Considerations","author":"EUROCAE RTCA and","year":"2011","unstructured":"RTCA and EUROCAE. 2011. RTCA DO-330 \u2014 Software Tool Qualification Considerations. RTCA and EUROCAE."},{"key":"e_1_3_2_57_2","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.ECRTS.2020.13"},{"key":"e_1_3_2_58_2","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS46320.2019.00045"},{"key":"e_1_3_2_59_2","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS46320.2019.00045"},{"key":"e_1_3_2_60_2","doi-asserted-by":"publisher","DOI":"10.1109\/MM.2017.35"},{"key":"e_1_3_2_61_2","first-page":"1","volume-title":"RISC-V Global Forum","author":"Sugimoto Hideki","year":"2020","unstructured":"Hideki Sugimoto and Koji Adachi. 2020. Vector compliance testing for RISC-V. In RISC-V Global Forum. RISC-V International, Zurich, Switzerland, 1\u201335. Retrieved September 6, 2022 from https:\/\/riscvglobalforum2020.sched.com\/event\/dO3P\/vector-compliance-testing-for-risc-v-hideki-sugimoto-koji-adachi-nsitexe-inc."},{"key":"e_1_3_2_62_2","unstructured":"Lee Teschler. 2019. The Basics of Automotive Radar. Retrieved September 6 2022 from https:\/\/www.designworldonline.com\/the-basics-of-automotive-radar\/."},{"key":"e_1_3_2_63_2","doi-asserted-by":"publisher","DOI":"10.1145\/3195970.3196002"},{"key":"e_1_3_2_64_2","doi-asserted-by":"publisher","DOI":"10.1145\/2910589"},{"key":"e_1_3_2_65_2","unstructured":"VECTOR. 2021. Coffee with Vector: Code Coverage for CUDA Code using VectorCAST\/QA. Retrieved September 6 2022 from https:\/\/www.vector.com\/es\/es\/eventos\/global-de-en\/webinar-recordings\/2021\/coffee-with-vector-code-coverage-for-cuda-code-using-vectorcastqa\/."},{"key":"e_1_3_2_66_2","doi-asserted-by":"publisher","DOI":"10.1145\/1347375.1347389"},{"key":"e_1_3_2_67_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-13217-9_6"},{"key":"e_1_3_2_68_2","unstructured":"Xilinx. 2019. Rockwell Collins Uses Zynq UltraScale+ RFSoC Devices in Revolutionizing How Arrays are Produced and Fielded: Powered by Xilinx. Retrieved September 6 2022 from https:\/\/www.xilinx.com\/video\/corporate\/rockwell-collins-rfsoc-revolutionizing-how-arrays-are-produced.html."},{"key":"e_1_3_2_69_2","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.ECRTS.2018.20"}],"container-title":["ACM Transactions on Embedded Computing Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3561054","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3561054","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T17:49:15Z","timestamp":1750182555000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3561054"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,1,24]]},"references-count":68,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2023,3,31]]}},"alternative-id":["10.1145\/3561054"],"URL":"https:\/\/doi.org\/10.1145\/3561054","relation":{},"ISSN":["1539-9087","1558-3465"],"issn-type":[{"value":"1539-9087","type":"print"},{"value":"1558-3465","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,1,24]]},"assertion":[{"value":"2022-03-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2022-08-16","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2023-01-24","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}