{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:13:04Z","timestamp":1750219984822,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":14,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,1,17]],"date-time":"2023-01-17T00:00:00Z","timestamp":1673913600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100001659","name":"Deutsche Forschungsgemeinschaft","doi-asserted-by":"publisher","award":["SFB\/TR 089"],"award-info":[{"award-number":["SFB\/TR 089"]}],"id":[{"id":"10.13039\/501100001659","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,1,17]]},"DOI":"10.1145\/3579170.3579262","type":"proceedings-article","created":{"date-parts":[[2023,4,13]],"date-time":"2023-04-13T16:35:54Z","timestamp":1681403754000},"page":"31-38","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Non-Intrusive Runtime Monitoring for Manycore Prototypes"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-8302-6086","authenticated-orcid":false,"given":"Fabian","family":"Lesniak","sequence":"first","affiliation":[{"name":"Karlsruhe Institute of Technology, Germany"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7586-0070","authenticated-orcid":false,"given":"Nidhi","family":"Anantharajaiah","sequence":"additional","affiliation":[{"name":"Karlsruhe Institute of Technology, Germany"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7310-567X","authenticated-orcid":false,"given":"Tanja","family":"Harbaum","sequence":"additional","affiliation":[{"name":"Karlsruhe Institute of Technology, Germany"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5082-5487","authenticated-orcid":false,"given":"Juergen","family":"Becker","sequence":"additional","affiliation":[{"name":"Karlsruhe Institute of Technology, Germany"}]}],"member":"320","published-online":{"date-parts":[[2023,4,13]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"2016 IEEE 34th International Conference on Computer Design (ICCD). 638\u2013645","author":"Akram Ayaz","year":"2016","unstructured":"Ayaz Akram and Lina Sawalha . 2016 . x86 computer architecture simulators: A comparative study . In 2016 IEEE 34th International Conference on Computer Design (ICCD). 638\u2013645 . https:\/\/doi.org\/10.1109\/ICCD.2016.7753351 10.1109\/ICCD.2016.7753351 Ayaz Akram and Lina Sawalha. 2016. x86 computer architecture simulators: A comparative study. In 2016 IEEE 34th International Conference on Computer Design (ICCD). 638\u2013645. https:\/\/doi.org\/10.1109\/ICCD.2016.7753351"},{"volume-title":"NAS Parallel Benchmarks","author":"Bailey H.","key":"e_1_3_2_1_2_1","unstructured":"David\u00a0 H. Bailey . 2011. NAS Parallel Benchmarks . Springer US , Boston, MA , 1254\u20131259. https:\/\/doi.org\/10.1007\/978-0-387-09766-4_133 10.1007\/978-0-387-09766-4_133 David\u00a0H. Bailey. 2011. NAS Parallel Benchmarks. Springer US, Boston, MA, 1254\u20131259. https:\/\/doi.org\/10.1007\/978-0-387-09766-4_133"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/2024716.2024718"},{"volume-title":"Runtime Verification for Decentralised and Distributed Systems","author":"Francalanza Adrian","key":"e_1_3_2_1_4_1","unstructured":"Adrian Francalanza , Jorge\u00a0 A. P\u00e9rez , and C\u00e9sar S\u00e1nchez . 2018. Runtime Verification for Decentralised and Distributed Systems . Springer International Publishing , Cham , 176\u2013210. https:\/\/doi.org\/10.1007\/978-3-319-75632-5_6 10.1007\/978-3-319-75632-5_6 Adrian Francalanza, Jorge\u00a0A. P\u00e9rez, and C\u00e9sar S\u00e1nchez. 2018. Runtime Verification for Decentralised and Distributed Systems. Springer International Publishing, Cham, 176\u2013210. https:\/\/doi.org\/10.1007\/978-3-319-75632-5_6"},{"key":"e_1_3_2_1_5_1","unstructured":"Siemens Electronic Design\u00a0Automation GmbH. 2022. proFPGA FPGA Prototyping System. http:\/\/www.profpga.com  Siemens Electronic Design\u00a0Automation GmbH. 2022. proFPGA FPGA Prototyping System. http:\/\/www.profpga.com"},{"key":"e_1_3_2_1_6_1","volume-title":"High-speed Hardware Accelerator for Trace Decoding in Real-Time Program Monitoring. In 2021 IEEE 12th Latin America Symposium on Circuits and System (LASCAS). 1\u20134. https:\/\/doi.org\/10","author":"Hoppe Augusto","year":"2021","unstructured":"Augusto Hoppe , J\u00fcrgen Becker , and Fernanda\u00a0Lima Kastensmidt . 2021 . High-speed Hardware Accelerator for Trace Decoding in Real-Time Program Monitoring. In 2021 IEEE 12th Latin America Symposium on Circuits and System (LASCAS). 1\u20134. https:\/\/doi.org\/10 .1109\/LASCAS51355.2021.9459137 10.1109\/LASCAS51355.2021.9459137 Augusto Hoppe, J\u00fcrgen Becker, and Fernanda\u00a0Lima Kastensmidt. 2021. High-speed Hardware Accelerator for Trace Decoding in Real-Time Program Monitoring. In 2021 IEEE 12th Latin America Symposium on Circuits and System (LASCAS). 1\u20134. https:\/\/doi.org\/10.1109\/LASCAS51355.2021.9459137"},{"key":"e_1_3_2_1_7_1","unstructured":"InfluxData Inc.2022. InfluxDB Time Series Database. http:\/\/influxdata.com  InfluxData Inc.2022. InfluxDB Time Series Database. http:\/\/influxdata.com"},{"key":"e_1_3_2_1_8_1","unstructured":"Raintank Inc.2022. Grafana: open observability platform. http:\/\/grafana.com  Raintank Inc.2022. Grafana: open observability platform. http:\/\/grafana.com"},{"key":"e_1_3_2_1_9_1","volume-title":"Temperature and Aging Monitor System for FPGA Prototyping. In 2018 IEEE 24th International Symposium on On-Line Testing And Robust System Design (IOLTS). https:\/\/doi.org\/10","author":"Listl Alexandra","year":"2018","unstructured":"Alexandra Listl 2018 . Emulation of an ASIC Power , Temperature and Aging Monitor System for FPGA Prototyping. In 2018 IEEE 24th International Symposium on On-Line Testing And Robust System Design (IOLTS). https:\/\/doi.org\/10 .1109\/IOLTS.2018.8474284 10.1109\/IOLTS.2018.8474284 Alexandra Listl 2018. Emulation of an ASIC Power, Temperature and Aging Monitor System for FPGA Prototyping. In 2018 IEEE 24th International Symposium on On-Line Testing And Robust System Design (IOLTS). https:\/\/doi.org\/10.1109\/IOLTS.2018.8474284"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/LES.2020.2995084"},{"key":"e_1_3_2_1_11_1","volume-title":"2009 10th International Conference - The Experience of Designing and Application of CAD Systems in Microelectronics. 237\u2013239","author":"Melnikova Olga","year":"2009","unstructured":"Olga Melnikova , Irina Hahanova , and Karina Mostovaya . 2009 . Using multi-FPGA systems for ASIC prototyping . In 2009 10th International Conference - The Experience of Designing and Application of CAD Systems in Microelectronics. 237\u2013239 . Olga Melnikova, Irina Hahanova, and Karina Mostovaya. 2009. Using multi-FPGA systems for ASIC prototyping. In 2009 10th International Conference - The Experience of Designing and Application of CAD Systems in Microelectronics. 237\u2013239."},{"key":"e_1_3_2_1_12_1","volume-title":"A survey of challenges for runtime verification from advanced application domains (beyond software). Formal Methods in System Design 54, 3 (01 11","author":"Cesar Sanchez","year":"2019","unstructured":"Cesar Sanchez 2019. A survey of challenges for runtime verification from advanced application domains (beyond software). Formal Methods in System Design 54, 3 (01 11 2019 ), 279\u2013335. https:\/\/doi.org\/10.1007\/s10703-019-00337-w 10.1007\/s10703-019-00337-w Cesar Sanchez 2019. A survey of challenges for runtime verification from advanced application domains (beyond software). Formal Methods in System Design 54, 3 (01 11 2019), 279\u2013335. https:\/\/doi.org\/10.1007\/s10703-019-00337-w"},{"key":"e_1_3_2_1_13_1","volume-title":"2018 NASA\/ESA Conference on Adaptive Hardware and Systems (AHS). 249\u2013256","author":"Solet Dimitry","year":"2018","unstructured":"Dimitry Solet , Sebastien Pillement , Jean-Luc B\u00e9chennec , Mikael Briday , and Sebastien Faucou . 2018 . HW-based Architecture for Runtime Verification of Embedded Software on SoPC systems . In 2018 NASA\/ESA Conference on Adaptive Hardware and Systems (AHS). 249\u2013256 . https:\/\/doi.org\/10.1109\/AHS.2018.8541459 10.1109\/AHS.2018.8541459 Dimitry Solet, Sebastien Pillement, Jean-Luc B\u00e9chennec, Mikael Briday, and Sebastien Faucou. 2018. HW-based Architecture for Runtime Verification of Embedded Software on SoPC systems. In 2018 NASA\/ESA Conference on Adaptive Hardware and Systems (AHS). 249\u2013256. https:\/\/doi.org\/10.1109\/AHS.2018.8541459"},{"key":"e_1_3_2_1_14_1","volume-title":"Using Hardware Features for Increased Debugging Transparency. In 2015 IEEE Symposium on Security and Privacy. 55\u201369","author":"Zhang Fengwei","year":"2015","unstructured":"Fengwei Zhang , Kevin Leach , Angelos Stavrou , Haining Wang , and Kun Sun . 2015 . Using Hardware Features for Increased Debugging Transparency. In 2015 IEEE Symposium on Security and Privacy. 55\u201369 . https:\/\/doi.org\/10.1109\/SP.2015.11 10.1109\/SP.2015.11 Fengwei Zhang, Kevin Leach, Angelos Stavrou, Haining Wang, and Kun Sun. 2015. Using Hardware Features for Increased Debugging Transparency. In 2015 IEEE Symposium on Security and Privacy. 55\u201369. https:\/\/doi.org\/10.1109\/SP.2015.11"}],"event":{"name":"DroneSE and RAPIDO 2023: System Engineering for constrained embedded systems","acronym":"DroneSE and RAPIDO 2023","location":"Toulouse France"},"container-title":["DroneSE and RAPIDO: System Engineering for constrained embedded systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3579170.3579262","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3579170.3579262","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T17:49:27Z","timestamp":1750182567000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3579170.3579262"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,1,17]]},"references-count":14,"alternative-id":["10.1145\/3579170.3579262","10.1145\/3579170"],"URL":"https:\/\/doi.org\/10.1145\/3579170.3579262","relation":{},"subject":[],"published":{"date-parts":[[2023,1,17]]},"assertion":[{"value":"2023-04-13","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}