{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T10:13:04Z","timestamp":1767262384666,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":52,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,6,20]],"date-time":"2024-06-20T00:00:00Z","timestamp":1718841600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Deutsche Forschungsgemeinschaft","award":["502615015,502947440"],"award-info":[{"award-number":["502615015,502947440"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,6,20]]},"DOI":"10.1145\/3652032.3657569","type":"proceedings-article","created":{"date-parts":[[2024,6,20]],"date-time":"2024-06-20T17:00:08Z","timestamp":1718902808000},"page":"83-94","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":8,"title":["WoCA: Avoiding Intermittent Execution in Embedded Systems by Worst-Case Analyses with Device States"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0006-3455-8071","authenticated-orcid":false,"given":"Phillip","family":"Raffeck","sequence":"first","affiliation":[{"name":"Friedrich-Alexander-Universit\u00e4t Erlangen-N\u00fcrnberg, Erlangen, Germany"}]},{"ORCID":"https:\/\/orcid.org\/0009-0009-1167-723X","authenticated-orcid":false,"given":"Johannes","family":"Maier","sequence":"additional","affiliation":[{"name":"Friedrich-Alexander-Universit\u00e4t Erlangen-N\u00fcrnberg, Erlangen, Germany"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3730-533X","authenticated-orcid":false,"given":"Peter","family":"W\u00e4gemann","sequence":"additional","affiliation":[{"name":"Friedrich-Alexander-Universit\u00e4t Erlangen-N\u00fcrnberg, Erlangen, Germany"}]}],"member":"320","published-online":{"date-parts":[[2024,6,20]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"A. Cohen et al.. 2018. Inter-Disciplinary Research Challenges in Computer Systems for the 2020s. NSF USA."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/3316482.3326348"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/3624718"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2016.2547919"},{"key":"e_1_3_2_1_5_1","unstructured":"Michel Berkelaar Kjell Eikland and Peter Notebaert. 2004. lp_solve 5.5 open source (mixed-integer) linear programming system. Software."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/3372799.3394365"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/GIOTS49054.2020.9119593"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/3055031.3055082"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/3373400.3373401"},{"key":"e_1_3_2_1_10_1","article-title":"Determining Application-Specific Peak Power and Energy Requirements for Ultra-Low-Power Processors","volume":"35","author":"Cherupalli Hari","year":"2017","unstructured":"Hari Cherupalli, Henry Duwe, Weidong Ye, Rakesh Kumar, and John Sartori. 2017. Determining Application-Specific Peak Power and Energy Requirements for Ultra-Low-Power Processors. ACM Trans. on Computer Systems (ACM TOCS), 35, 3 (2017), 9:1\u20139:33.","journal-title":"ACM Trans. on Computer Systems (ACM TOCS)"},{"key":"e_1_3_2_1_11_1","volume-title":"Proc. of EWSN \u201921","author":"Chiang Holly","year":"2021","unstructured":"Holly Chiang, Hudson Ayers, Daniel Giffin, Amit Levy, and Philip Levis. 2021. Power Clocks: Dynamic Multi-Clock Management for Embedded Systems. In Proc. of EWSN \u201921. 139\u2013150."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS54340.2022.00012"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/512950.512973"},{"key":"e_1_3_2_1_14_1","volume-title":"Proc. of OSPERT \u201919","author":"Entrup Gerion","year":"2019","unstructured":"Gerion Entrup, Benedikt Steinmeier, and Christian Dietrich. 2019. ARA: Automatic Instance-Level Analysis in Real-Time Systems. In Proc. of OSPERT \u201919. 7\u201316."},{"key":"e_1_3_2_1_15_1","unstructured":"Espressif Systems. 2022. ESP32-C3 Series Datasheet."},{"key":"e_1_3_2_1_16_1","unstructured":"Espressif Systems. 2022. ESP32-C3 Technical Reference Manual."},{"key":"e_1_3_2_1_17_1","unstructured":"Gurobi Optimization LLC. 2023. Reference Manual. gurobi.com\/"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/2752801.2752805"},{"key":"e_1_3_2_1_19_1","volume-title":"Proc. of KPS \u201915","author":"Hepp Stefan","year":"2015","unstructured":"Stefan Hepp, Benedikt Huber, Daniel Prokesch, and Peter Puschner. 2015. The platin Tool Kit \u2013 The T-CREST Approach for Compiler and WCET Integration. In Proc. of KPS \u201915. 277\u2013292."},{"key":"e_1_3_2_1_20_1","unstructured":"Hope Microelectronics. 2013. RFM95\/96\/97\/98(W) \u2013 Low Power Long Range Tranceiver Module."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/VLSID.2014.63"},{"volume-title":"Proc. of RTAS \u201906","author":"Jayaseelan R.","key":"e_1_3_2_1_22_1","unstructured":"R. Jayaseelan, T. Mitra, and X. Li. 2006. Estimating the Worst-Case Energy Consumption of Embedded Software. In Proc. of RTAS \u201906. 81\u201390."},{"key":"e_1_3_2_1_23_1","unstructured":"Jetperch LLC. [n. d.]. Joulescope JS220 User\u2019s Guide Precision DC Energy Analyzer."},{"key":"e_1_3_2_1_24_1","first-page":"56","article-title":"Energy Modeling of Software for a Hardware Multithreaded Embedded Microprocessor","volume":"14","author":"Kerrison Steve","year":"2015","unstructured":"Steve Kerrison and Kerstin Eder. 2015. Energy Modeling of Software for a Hardware Multithreaded Embedded Microprocessor. ACM Trans. on Embedded Computing Systems (ACM TECS), 14, 3 (2015), 56.","journal-title":"ACM Trans. on Embedded Computing Systems (ACM TECS)"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2004.1281665"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"crossref","unstructured":"Yau-Tsun Steven Li and Sharad Malik. 1995. Performance Analysis of Embedded Software Using Implicit Path Enumeration. In ACM SIGPLAN Notices. 30.","DOI":"10.1109\/DAC.1995.249991"},{"key":"e_1_3_2_1_27_1","volume-title":"Proc. of SNAPL \u201917","author":"Lucia Brandon","year":"2017","unstructured":"Brandon Lucia, Vignesh Balaji, Alexei Colin, Kiwan Maeng, and Emily Ruppel. 2017. Intermittent Computing: Challenges and Opportunities. In Proc. of SNAPL \u201917. 71, 8:1\u20138:14."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/3314221.3314613"},{"volume-title":"Proc. of SCOPES \u201917","author":"Pallister J.","key":"e_1_3_2_1_29_1","unstructured":"J. Pallister, S. Kerrison, J. Morse, and K. Eder. 2017. Data Dependent Energy Modeling for Worst Case Energy Consumption Analysis. In Proc. of SCOPES \u201917."},{"volume-title":"Proc. of ISORC \u201913","author":"Puschner P.","key":"e_1_3_2_1_30_1","unstructured":"P. Puschner, D. Prokesch, B. Huber, J. Knoop, S. Hepp, and G. Gebhard. 2013. The T-CREST Approach of Compiler and WCET-Analysis Integration. In Proc. of ISORC \u201913. 1\u20138."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1007905003094"},{"key":"e_1_3_2_1_32_1","volume-title":"Proc. of WCET \u201919","author":"Raffeck Phillip","year":"2019","unstructured":"Phillip Raffeck, Christian Eichler, Peter W\u00e4gemann, and Wolfgang Schr\u00f6der-Preikschat. 2019. Worst-Case Energy-Consumption Analysis by Microarchitecture-Aware Timing Analysis for Device-Driven Cyber-Physical Systems. In Proc. of WCET \u201919. 6:1\u20136:12."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/3302506.3310408"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065910.1065918"},{"key":"e_1_3_2_1_35_1","volume-title":"Proc. of EWSN \u201922","author":"Rottleuthner Michel","year":"2023","unstructured":"Michel Rottleuthner, Thomas C. Schmidt, and Matthias Wahlisch. 2023. Dynamic Clock Reconfiguration for the Constrained IoT and Its Application to Energy-Efficient Networking. In Proc. of EWSN \u201922. 168\u2013179."},{"volume-title":"Energy-Harvesting Systems. Ph. D. Dissertation","author":"Ruppel Emily","key":"e_1_3_2_1_36_1","unstructured":"Emily Ruppel. 2022. Peripheral and Power Management in Batteryless, Energy-Harvesting Systems. Ph. D. Dissertation. Carnegie Mellon University."},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/3461648.3463847"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/3464937"},{"volume-title":"Proc. of ISORC \u201917","author":"Sieh V.","key":"e_1_3_2_1_39_1","unstructured":"V. Sieh, R. Burlacu, T. H\u00f6nig, H. Janker, P. Raffeck, P. W\u00e4gemann, and W. Schr\u00f6der-Preikschat. 2017. An End-to-End Toolchain: From Automated Cost Modeling to Static WCET and WCEC Analysis. In Proc. of ISORC \u201917."},{"key":"e_1_3_2_1_40_1","unstructured":"Philip Sparks. 2017. White paper: The economics of a trillion connected devices."},{"key":"e_1_3_2_1_41_1","unstructured":"Texas Instruments Inc.. 2018. MSP430FR57xx Family."},{"key":"e_1_3_2_1_42_1","first-page":"1","article-title":"Worst-Case Energy Consumption: A New Challenge for Battery-Powered Critical Devices","author":"Trilla D.","year":"2019","unstructured":"D. Trilla, C. Hernandez, J. Abella, and F. J. Cazorla. 2019. Worst-Case Energy Consumption: A New Challenge for Battery-Powered Critical Devices. IEEE Trans. on Sustainable Computing, 1\u20138.","journal-title":"IEEE Trans. on Sustainable Computing"},{"key":"e_1_3_2_1_43_1","volume-title":"Proc. of OSDI \u201916","author":"Der Woude Joel Van","year":"2016","unstructured":"Joel Van Der Woude and Matthew Hicks. 2016. Intermittent computation without hardware support or programmer intervention. In Proc. of OSDI \u201916. 17\u201332."},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1109\/LSP.2017.2762960"},{"key":"e_1_3_2_1_45_1","volume-title":"Proc. of ECRTS \u201918","author":"W\u00e4gemann Peter","year":"2018","unstructured":"Peter W\u00e4gemann, Christian Dietrich, Tobias Distler, Peter Ulbrich, and Wolfgang Schr\u00f6der-Preikschat. 2018. Whole-System Worst-Case Energy-Consumption Analysis for Energy-Constrained Real-Time Systems. In Proc. of ECRTS \u201918. 106, 24:1\u201324:25."},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1109\/ECRTS.2015.17"},{"key":"e_1_3_2_1_47_1","volume-title":"Proc. of WCET \u201923","author":"Wegener Simon","year":"2023","unstructured":"Simon Wegener, Kris K. Nikov, Jose Nunez-Yanez, and Kerstin Eder. 2023. EnergyAnalyzer: Using Static WCET Analysis Techniques to Estimate the Energy Consumption of Embedded Applications. In Proc. of WCET \u201923. 9:1\u20139:14."},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/1347375.1347389"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/3373376.3378478"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1109\/JIOT.2019.2946900"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-60939-9_12"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1145\/3552326.3587435"}],"event":{"name":"LCTES '24: 25th ACM SIGPLAN\/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems","sponsor":["SIGBED ACM Special Interest Group on Embedded Systems","SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Copenhagen Denmark","acronym":"LCTES '24"},"container-title":["Proceedings of the 25th ACM SIGPLAN\/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3652032.3657569","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3652032.3657569","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T00:03:12Z","timestamp":1750291392000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3652032.3657569"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,6,20]]},"references-count":52,"alternative-id":["10.1145\/3652032.3657569","10.1145\/3652032"],"URL":"https:\/\/doi.org\/10.1145\/3652032.3657569","relation":{},"subject":[],"published":{"date-parts":[[2024,6,20]]},"assertion":[{"value":"2024-06-20","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}