CAETI
Centro de Altos Estudios en Tecnología Informática
Buenos Aires
Ingeniería de Software
Framework para el Desarrollo de Software mediante Modularización Avanzada. 2da. Etapa
Formalizing operating systems for nano satellites on board computers
Año: 2022
DOI: https://doi.org/10.33414/ajea.1146.2022
Idioma: Inglés
Resumen
In this work we provide a formal verification of the FreeRTOS operating system. Even most, a controller for the system is found. FreeRTOS is one of the most used operating systems for On Board Computers (OBC) in nano satellites such as CubeSats. Exploring, verifying and understating the potential and limitations of OBC operating systems is crucial for the growth of one of the most promising domains in the modern world: the space research industry. FreeRTOS’s formal verification is achieved employing the Feather Weight Visual Scenarios (FVS) framework, which has been previously applied to verify Internet of Things (IoT) protocols.
Integrantes
Fernando Asteasuain (Autor)
Archivos
-
Fernando Asteasuain (2022). “Formalizing Operating Systems for nano satellites On Board Computers”. 10º Congreso Nacional de Ingeniería Informática y Sistemas de Información CoNaIISI 2022. Facultad Regional Concepción del Uruguay. Universidad Tecnológica Nacional. Concepción del Uruguay, Entre Ríos, 3 y 4 de Noviembre de 2022.
17- Asteasuain - Formalizing Operating Systems for nano satellites On Board Computers - CONAIISI 2022.pdf