Quality RTOS & Embedded Software

 Real time embedded FreeRTOS RSS feed 
Quick Start Supported MCUs PDF Books Trace Tools Ecosystem


Any FreeRtos validation report

Posted by yukun2016 on December 19, 2016

If there is a validation report about FreeRtos ?

Any FreeRtos validation report

Posted by rtel on December 19, 2016

FreeRTOS as delivered is tested dynamically using very strict code coverage criteria (which is why you see the 'mtCOVERAGETESTMARKER()' macros, which when defined allow us to determine which decision/condition points in the code have been executed for both true and false inputs), but this is informal. In addition a couple of universities have provided formal proofs (mathematical proofs) that were published at various academic conferences, albeit on older versions. In addition WITTENSTEIN high integrity systems have their SafeRTOS derivative which has been been certified to various industrial and medical software standards.

[ Back to the top ]    [ About FreeRTOS ]    [ Privacy ]    [ Sitemap ]    [ ]

Copyright (C) Amazon Web Services, Inc. or its affiliates. All rights reserved.

Latest News

Version 10.1.0 of the FreeRTOS kernel is available for immediate download. MIT licensed.

View a recording of the "OTA Update Security and Reliability" webinar, presented by TI and AWS.


FreeRTOS and other embedded software careers at AWS.

FreeRTOS Partners

ARM Connected RTOS partner for all ARM microcontroller cores

Espressif ESP32

IAR Partner

Microchip Premier RTOS Partner

RTOS partner of NXP for all NXP ARM microcontrollers


STMicro RTOS partner supporting ARM7, ARM Cortex-M3, ARM Cortex-M4 and ARM Cortex-M0

Texas Instruments MCU Developer Network RTOS partner for ARM and MSP430 microcontrollers

OpenRTOS and SafeRTOS

Xilinx Microblaze and Zynq partner