{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,14]],"date-time":"2026-01-14T22:42:05Z","timestamp":1768430525003,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":36,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,7,3]],"date-time":"2024-07-03T00:00:00Z","timestamp":1719964800000},"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":[],"published-print":{"date-parts":[[2024,7,3]]},"DOI":"10.1145\/3649217.3653577","type":"proceedings-article","created":{"date-parts":[[2024,7,3]],"date-time":"2024-07-03T18:30:20Z","timestamp":1720031420000},"page":"66-72","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Embedded-check a Code Quality Tool for Automatic Firmware Verification"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0001-7086-1223","authenticated-orcid":false,"given":"Rafael","family":"Corsi Ferr\u00e3o","sequence":"first","affiliation":[{"name":"Insper & Institute of Computing, Unicamp, S\u00e3o Paulo, SP, Brazil"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5706-764X","authenticated-orcid":false,"given":"Igor","family":"dos Santos Montagner","sequence":"additional","affiliation":[{"name":"Insper, S\u00e3o Paulo, SP, Brazil"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6087-7179","authenticated-orcid":false,"given":"Mariana","family":"Silva","sequence":"additional","affiliation":[{"name":"University of Illinois, Urbana, IL, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4601-4398","authenticated-orcid":false,"given":"Craig","family":"Zilles","sequence":"additional","affiliation":[{"name":"University of Illinois, Urbana, IL, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8803-0401","authenticated-orcid":false,"given":"Rodolfo","family":"Azevedo","sequence":"additional","affiliation":[{"name":"Institute of Computing, Unicamp, Campinas, SP, Brazil"}]}],"member":"320","published-online":{"date-parts":[[2024,7,3]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISPDC2018.2018.00032"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.48550\/arXiv.2003.06893"},{"key":"e_1_3_2_1_3_1","unstructured":"Michael Barr. 2009. Embedded C Coding Standard. Netrino."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.2015.7332454"},{"key":"e_1_3_2_1_5_1","unstructured":"International Electrotechnical Commission et al. 2010. IEC 61508: 2010-functional safety of electrical\/electronical\/programmable electronic safety-related systems. (2010)."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/MTS.2016.2618681"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/EDUCON.2017.7942942"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/3105726.3106182"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/IBCAST.2018.8312265"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/2737182.2737190"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/FIE56618.2022.9962662"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2003.09.016"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.18260\/1-2--23240"},{"key":"e_1_3_2_1_14_1","unstructured":"Center for Devices and Radiological Health. 2020. General Principles of Software Validation. https:\/\/www.fda.gov\/regulatory-information\/search-fda-guidance-documents\/general-principles-software-validation Publisher: FDA."},{"key":"e_1_3_2_1_15_1","unstructured":"ISO. 2018. ISO 26262--1:2018. https:\/\/www.iso.org\/standard\/68383.html"},{"key":"e_1_3_2_1_16_1","volume-title":"Teaching Embedded Systems the Berkeley Way. In Workshop on Embedded Systems Education (in conjunction with ESWeek)","author":"Jensen JC","year":"2012","unstructured":"JC Jensen, EA Lee, and SA Seshia. 2012. Teaching Embedded Systems the Berkeley Way. In Workshop on Embedded Systems Education (in conjunction with ESWeek), Tampere, Finland."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISSREW.2019.00034"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/3373165.3373175"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.2015.7332457"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/TE.2013.2246568"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2012.4"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-015-9381-9"},{"key":"e_1_3_2_1_23_1","volume-title":"2nd revision ed.). https:\/\/misra.org.uk","author":"MISRA.","unstructured":"MISRA. 2023. Misra C:2023: Guidelines for the use of the C language in critical systems 3rd, 2nd revision ed.). https:\/\/misra.org.uk"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/3412453.3423195"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/FIE43999.2019.9028687"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2023.111678"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/3207719.3207736"},{"key":"e_1_3_2_1_28_1","volume-title":"Proceedings of the Great Lakes Symposium on VLSI","author":"Pasricha Sudeep","year":"2022","unstructured":"Sudeep Pasricha. 2022. Embedded systems education in the 2020s: Challenges, reflections, and future directions. In Proceedings of the Great Lakes Symposium on VLSI 2022. 519--524."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/3183519.3183525"},{"key":"e_1_3_2_1_30_1","unstructured":"RTCA SC-205. 2011. DO-178C - Software Considerations in Airborne Systems and Equipment Certification. https:\/\/my.rtca.org\/productdetails?id=a1B36000001IcmqEAC"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10515-022-00333-1"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/2889160.2889243"},{"key":"e_1_3_2_1_33_1","first-page":"01","article-title":"An Embedded Systems Remote Course","volume":"11","author":"Fonseca Sobrinho Andr\u00e9 Sanches","year":"2020","unstructured":"Andr\u00e9 Sanches Fonseca Sobrinho. 2020. An Embedded Systems Remote Course. Journal of Online Engineering Education, Vol. 11, 2 (2020), 01--07.","journal-title":"Journal of Online Engineering Education"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/3127005.3127014"},{"key":"e_1_3_2_1_35_1","volume-title":"Proceedings of ENERGY 2013: The Third International Conference on Smart Grids, Green Communications and IT Energy-aware Technologies. 34--39","author":"Vetro Antonio","year":"2013","unstructured":"Antonio Vetro, Luca Ardito, Giuseppe Procaccianti, Maurizio Morisio, and others. 2013. Definition, implementation and validation of energy code smells: an exploratory study on an embedded system. In Proceedings of ENERGY 2013: The Third International Conference on Smart Grids, Green Communications and IT Energy-aware Technologies. 34--39."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2006.38"}],"event":{"name":"ITiCSE 2024: Innovation and Technology in Computer Science Education","location":"Milan Italy","acronym":"ITiCSE 2024","sponsor":["SIGCSE ACM Special Interest Group on Computer Science Education"]},"container-title":["Proceedings of the 2024 on Innovation and Technology in Computer Science Education V. 1"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3649217.3653577","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3649217.3653577","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,21]],"date-time":"2025-08-21T14:49:47Z","timestamp":1755787787000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3649217.3653577"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,7,3]]},"references-count":36,"alternative-id":["10.1145\/3649217.3653577","10.1145\/3649217"],"URL":"https:\/\/doi.org\/10.1145\/3649217.3653577","relation":{},"subject":[],"published":{"date-parts":[[2024,7,3]]},"assertion":[{"value":"2024-07-03","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}