{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,2]],"date-time":"2026-03-02T20:05:05Z","timestamp":1772481905274,"version":"3.50.1"},"reference-count":28,"publisher":"IEEE","license":[{"start":{"date-parts":[[2025,2,25]],"date-time":"2025-02-25T00:00:00Z","timestamp":1740441600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,2,25]],"date-time":"2025-02-25T00:00:00Z","timestamp":1740441600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100002322","name":"Coordena\u00e7\u00e3o de Aperfei\u00e7oamento de Pessoal de N\u00edvel Superior - Brasil (CAPES)","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100002322","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100003593","name":"CNPq","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100003593","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100004263","name":"FAPERGS","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100004263","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025,2,25]]},"DOI":"10.1109\/lascas64004.2025.10966295","type":"proceedings-article","created":{"date-parts":[[2025,4,22]],"date-time":"2025-04-22T17:37:30Z","timestamp":1745343450000},"page":"1-5","source":"Crossref","is-referenced-by-count":4,"title":["Open Source Port of NASA's Core Flight System to FreeRTOS in Arm Cortex-M-Based Microprocessor"],"prefix":"10.1109","author":[{"given":"Lu\u00eds Fernando L.","family":"Fran\u00e7a","sequence":"first","affiliation":[{"name":"Federal University of Rio Grande do Sul (UFRGS) - Institute of Informatics - PPGC - PGMICRO,Porto Alegre,Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fabio","family":"Benevenuti","sequence":"additional","affiliation":[{"name":"Federal University of Rio Grande do Sul (UFRGS) - Institute of Informatics - PPGC - PGMICRO,Porto Alegre,Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Leonardo R.","family":"Gobatto","sequence":"additional","affiliation":[{"name":"Federal University of Rio Grande do Sul (UFRGS) - Institute of Informatics - PPGC - PGMICRO,Porto Alegre,Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rodrigo Possamai","family":"Bastos","sequence":"additional","affiliation":[{"name":"Université Grenoble Alpes, CNRS, Grenoble INP and TIMA,Grenoble,France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jos\u00e9 Rodrigo F.","family":"Azambuja","sequence":"additional","affiliation":[{"name":"Federal University of Rio Grande do Sul (UFRGS) - Institute of Informatics - PPGC - PGMICRO,Porto Alegre,Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fernanda L.","family":"Kastensmidt","sequence":"additional","affiliation":[{"name":"Federal University of Rio Grande do Sul (UFRGS) - Institute of Informatics - PPGC - PGMICRO,Porto Alegre,Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/maes.2013.6575409"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1089\/space.2016.0027"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.2478\/s13531-011-0007-8"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/jmass.2022.3206713"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.3390\/computation11090182"},{"key":"ref6","volume-title":"KubOS documentation","year":"2024"},{"key":"ref7","volume-title":"TASTE: An open-source tool-chain for embedded software development","year":"2024"},{"issue":"Paper 1","key":"ref8","article-title":"The Core Flight System (cFS) community: Providing low cost solutions for small spacecraft","volume-title":"Proc. 30th AIAA\/USU Conference on Small Satellites, 2016, Technical Session IV: Advanced Technologies (I)","author":"McComas","year":"2024"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.5028\/jatm.v11.1081"},{"key":"ref10","volume-title":"FreeRTOS: Real-time operating system for microcontrollers","year":"2024"},{"key":"ref11","volume-title":"The current state of embedded development","year":"2023"},{"key":"ref12","article-title":"Lessons learned from building the first chilean nano-satellite: The SUCHAI project","volume-title":"Proc. 32nd AIAA\/USU Conference on Small Satellites, 2018, Pre-Conference Workshop Session 10: A Look Back - Lessons Learned","author":"Gonzalez","year":"2024"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/tla.2020.9085277"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.22564\/rbgf.v37i1.1992"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.22564\/brjg.v40i3.2177"},{"key":"ref16","first-page":"250","article-title":"Dellingr: Reliability lessons learned from on-orbit","volume-title":"Proc. 32nd AIAA\/USU Conference on Small Satellites, 2018, Technical Session 1: The Year in Review","author":"Kepko","year":"2024"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/smc-it.2006.7"},{"key":"ref18","volume-title":"STM32F765xx STM32F767xx STM32F768Ax STM32F769xx: Arm Cortex-M7 32 bMCU+FPU","year":"2024"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/tns.2024.3400921"},{"key":"ref20","volume-title":"Core Flight System Bundle","year":"2024"},{"key":"ref21","volume-title":"Operating System Abstraction Layer (OSAL)","author":"Ha","year":"2023"},{"key":"ref22","volume-title":"Core Flight System (cFS)","author":"Paul","year":"2023"},{"key":"ref23","volume-title":"Posix\/Linux Simulator Demo for FreeRTOS using GCC","year":"2024"},{"key":"ref24","volume-title":"NASA cFS prototype mission v.0, Project Chi2p","year":"2024"},{"key":"ref25","volume-title":"NASA OSAL bundle for integration and unit tests, Project Chi2p","year":"2024"},{"key":"ref26","volume-title":"FreeRTOS + FAT: DOS Compatible Embedded FAT File System","year":"2024"},{"key":"ref27","volume-title":"OS and Libraries Document Collection","year":"2018"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/tns.2013.2241078"}],"event":{"name":"2025 IEEE 16th Latin America Symposium on Circuits and Systems (LASCAS)","location":"Bento Gon\u00e7alves, Brazil","start":{"date-parts":[[2025,2,25]]},"end":{"date-parts":[[2025,2,28]]}},"container-title":["2025 IEEE 16th Latin America Symposium on Circuits and Systems (LASCAS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/10966227\/10966228\/10966295.pdf?arnumber=10966295","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,23]],"date-time":"2025-04-23T05:20:47Z","timestamp":1745385647000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10966295\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,2,25]]},"references-count":28,"URL":"https:\/\/doi.org\/10.1109\/lascas64004.2025.10966295","relation":{},"subject":[],"published":{"date-parts":[[2025,2,25]]}}}