Quality RTOS & Embedded Software

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


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

Meet us at Embedded World. Hall 3A-525.

Hear from Richard Barry at Embedded World. Feb 28, 16:00, Hall 4-428.

Video: Watch James Gosling & Richard Barry at re:Invent, Las Vegas 2017.

FreeRTOS kernel V10.0.1 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