Formalizing FreeRTOS: First Steps

  • David Déharbe
  • Stephenson Galvão
  • Anamaria Martins Moreira
Conference paper

DOI: 10.1007/978-3-642-10452-7_8

Part of the Lecture Notes in Computer Science book series (LNCS, volume 5902)
Cite this paper as:
Déharbe D., Galvão S., Moreira A.M. (2009) Formalizing FreeRTOS: First Steps. In: Oliveira M.V.M., Woodcock J. (eds) Formal Methods: Foundations and Applications. SBMF 2009. Lecture Notes in Computer Science, vol 5902. Springer, Berlin, Heidelberg

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