David Déharbe,  Stephenson Galvão,  Anamaria Martins Moreira. 

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.

http://www.springerlink.com/content/4172354m1r33876p/

Processando consulta.