Quality RTOS & Embedded Software

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




Loading

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 ]    [ Sitemap ]    [ ]




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

Latest News

FreeRTOS kernel V10 is available for immediate download. Now MIT licensed.


FreeRTOS Partners

ARM Connected RTOS partner for all ARM microcontroller cores

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