FreeRTOS Support Archive
The FreeRTOS support forum is used to obtain active support directly from Real
Time Engineers Ltd. In return for using our top quality software and services for
free, we request you play fair and do your bit to help others too! Sign up
to receive notifications of new support topics then help where you can.
This is a read only archive of threads posted to the FreeRTOS support forum.
The archive is updated every week, so will not always contain the very latest posts.
Use these archive pages to search previous posts. Use the Live FreeRTOS Forum
link to reply to a post, or start a new support thread.
[FreeRTOS Home] [Live FreeRTOS Forum] [FAQ] [Archive Top] [December 2016 Threads]
If there is a validation report about FreeRtos ?
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.
Copyright (C) Amazon Web Services, Inc. or its affiliates. All rights reserved.