{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T13:21:18Z","timestamp":1730294478026,"version":"3.28.0"},"reference-count":33,"publisher":"IEEE","license":[{"start":{"date-parts":[[2023,11,21]],"date-time":"2023-11-21T00:00:00Z","timestamp":1700524800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,11,21]],"date-time":"2023-11-21T00:00:00Z","timestamp":1700524800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023,11,21]]},"DOI":"10.1109\/sbesc60926.2023.10324098","type":"proceedings-article","created":{"date-parts":[[2023,11,24]],"date-time":"2023-11-24T18:50:26Z","timestamp":1700851826000},"page":"1-6","source":"Crossref","is-referenced-by-count":0,"title":["Towards Integrity and Reliability in Embedded Systems: The Synergy of ESBMC and Arduino Integration"],"prefix":"10.1109","author":[{"given":"Rafael G.","family":"Silvestrim","sequence":"first","affiliation":[{"name":"State University of Amazonas,Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Felipe V.","family":"Trigo","sequence":"additional","affiliation":[{"name":"State University of Amazonas,Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Williame","family":"Rocha","sequence":"additional","affiliation":[{"name":"State University of Amazonas,Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael R. S.","family":"Vieira","sequence":"additional","affiliation":[{"name":"Federal University of Amazonas,Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jogno V.","family":"Junior","sequence":"additional","affiliation":[{"name":"State University of Amazonas,Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Otoniel Da C.","family":"Mendes","sequence":"additional","affiliation":[{"name":"State University of Amazonas,Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rafael S\u00e1","family":"Menezes","sequence":"additional","affiliation":[{"name":"Federal University of Amazonas,Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lucas C.","family":"Cordeiro","sequence":"additional","affiliation":[{"name":"Federal University of Amazonas,Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","article-title":"Elicita\u00e7\u00e3o e especifica\u00e7\u00e3o de requisitos em sistemas embarcados: Uma revis\u00e3o sistem\u00e1tica","author":"SOUSA","year":"2015","journal-title":"CIbSE"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1049\/iet-cps.2018.5006"},{"key":"ref3","first-page":"36","article-title":"Introdu\u00e7\u00e3o aos sistemas embarcados","author":"Barros","year":"2010","journal-title":"Artigo apresentado na Universidade Federal de Pernambuco-UFPE"},{"key":"ref4","article-title":"Sistemas operacionais de tempo real e sua aplica\u00e7ao em sistemas embarcados","author":"Denardin","year":"2019","journal-title":"Editora Blucher"},{"key":"ref5","article-title":"Transforma\u00e7\u00e3o digital e inova\u00e7\u00e3o","author":"Danta","year":"2021","journal-title":"Editora Senac S\u00e3o Paulo"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.1632"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.14210\/cotb.v14.p444-446"},{"volume-title":"Programa\u00e7\u00e3o com Arduino: come\u00e7ando com Sketches","year":"2017","author":"Monk","key":"ref8"},{"article-title":"Programa\u00e7\u00e3o orientada a agentes bdi em sistemas embarcados","year":"2022","author":"Santos","key":"ref9"},{"article-title":"Proposi\u00e7\u00e3o de um sistema de automa\u00e7\u00e3o respons \u00e1vel pelo monitoramento das vari\u00e1veis em ambiente de armazenamento de produtos agr\u00edcolas","year":"2021","author":"Ballarini","key":"ref10"},{"issue":"1","key":"ref11","article-title":"Automa\u00e7\u00e3o residencial de baixo custo com utiliza\u00e7\u00e3o de sistema desenvolvido em arduino","volume":"3","author":"Pazini","year":"2017","journal-title":"DIVERSIT\u00c0: Revista Multidisciplinar do Centro Universit\u00e1rio Cidade Verde"},{"volume-title":"Arduino cookbook: recipes to begin, expand, and enhance your projects","year":"2020","author":"Margolis","key":"ref12"},{"key":"ref13","article-title":"A plataforma ardu\u00edno e suas aplica\u00e7\u00f5es","author":"Ferroni","year":"2015","journal-title":"Revista da UI_IPSantar\u00e9m"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/1344452.1344459"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/3238147.3240481"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.1793"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-020-00564-1"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/SBESC49506.2019.9046094"},{"volume-title":"The cyber security body of knowledge","year":"2021","author":"Basin","key":"ref19"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1108\/978-1-78769-801-720191015"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-020-00571-2"},{"key":"ref22","article-title":"Witness-based validation of verification results with applications to software-model checking","volume-title":"Ph.D. dissertation","author":"Dangl","year":"2022"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1002\/spe.2949"},{"key":"ref24","article-title":"Smt-based bounded model checking of multi-threaded software in embedded systems","volume-title":"Ph.D. dissertation","author":"Cordeiro","year":"2011"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.1999.781333"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-50497-0"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/ase.2009.63"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/sbesc53686.2021.9628295"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1145\/1273442.1250746"},{"key":"ref30","doi-asserted-by":"crossref","first-page":"363","DOI":"10.1007\/978-3-030-71500-7_19","article-title":"Fusebmc: A white-box fuzzer for finding security vulnerabilities in C programs (competition contribution)","volume-title":"24th International Conference on Fundamental Approaches to Software Engineering (FASE), ser. LNCS","volume":"12649","author":"Alshmrany"},{"key":"ref31","doi-asserted-by":"crossref","first-page":"336","DOI":"10.1007\/978-3-030-99429-7_19","article-title":"Fusebmc v4: Smart seed generation for hybrid fuzzing - (competition contribution)","volume-title":"25th International Conference on Fundamental Approaches to Software Engineering (FASE), ser. LNCS","volume":"13241","author":"Alshmrany"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1145\/2786805.2786867"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1145\/512950.512973"}],"event":{"name":"2023 XIII Brazilian Symposium on Computing Systems Engineering (SBESC)","start":{"date-parts":[[2023,11,21]]},"location":"Porto Alegre, Brazil","end":{"date-parts":[[2023,11,24]]}},"container-title":["2023 XIII Brazilian Symposium on Computing Systems Engineering (SBESC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10323601\/10324003\/10324098.pdf?arnumber=10324098","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,2]],"date-time":"2024-03-02T22:25:47Z","timestamp":1709418347000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10324098\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,11,21]]},"references-count":33,"URL":"https:\/\/doi.org\/10.1109\/sbesc60926.2023.10324098","relation":{},"subject":[],"published":{"date-parts":[[2023,11,21]]}}}