Formalizing FreeRTOS: First Steps

Formalizing FreeRTOS: First Steps
复制标题

正式化 FreeRTOS：第一步

DOI：
10.1007/978-3-642-10452-7_8
复制
发表时间：
2009
期刊：
--
影响因子：
--
通讯作者：
A. M. Moreira
A. M. Moreira
中科院分区：
--
文献类型：
--
作者：
D. Déharbe;S. Galvão;A. M. Moreira

文献摘要

被引文献

相似文献

本文介绍了实时操作系统 FreeRTOS 的正式开发现状。这项工作的目标是解决科学挑战，并在验证软件大挑战的范围内实现。开发是用B方法实现的。 FreeRTOS 主要功能的模型现已推出，可以作为建立研究社区可以使用的 FreeRTOS 商定正式规范的起点。
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.