Formalizing FreeRTOS: First Steps

Authors:
David Déharbe;Stephenson Galvão;Anamaria Martins Moreira
Affiliations:
Departamento de Informática e Matemática Aplicada, Universidade Federal do Rio Grande do Norte, Natal, Brazil;Departamento de Informática e Matemática Aplicada, Universidade Federal do Rio Grande do Norte, Natal, Brazil;Departamento de Informática e Matemática Aplicada, Universidade Federal do Rio Grande do Norte, Natal, Brazil
Venue:
Formal Methods: Foundations and Applications
Year:
2009

Citing 0
Cited 2

Faithfully formalizing OSEK/VDX operating system specification

Proceedings of the Third Symposium on Information and Communication Technology
Reasoning about i/o in functional programs

CEFP'11 Proceedings of the 4th Summer School conference on Central European Functional Programming School

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper presents the current state of the formal development of FreeRTOS, a real-time operating system. The goal of this effort is to address a scientific challenge and is realized within the scope of the Grand Challenge on Verified Software. The development is realized with the B method. A model of the main functionalities of the FreeRTOS is now available and can be a starting point to establish an agreed formal specification of FreeRTOS that can be used by the research community.