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. © 2009 Springer-Verlag Berlin Heidelberg.
CITATION STYLE
Déharbe, D., Galvão, S., & Moreira, A. M. (2009). Formalizing FreeRTOS: First steps. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 5902 LNCS, pp. 101–117). https://doi.org/10.1007/978-3-642-10452-7_8
Mendeley helps you to discover research relevant for your work.