Formalizing FreeRTOS: First Steps

  • David Déharbe
  • Stephenson Galvão
  • Anamaria Martins Moreira
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5902)

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2009

Authors and Affiliations

  • David Déharbe
    • 1
  • Stephenson Galvão
    • 1
  • Anamaria Martins Moreira
    • 1
  1. 1.Departamento de Informática e Matemática AplicadaUniversidade Federal do Rio Grande do NorteNatalBrazil

Personalised recommendations