Safety Certified FreeRTOS

[amazonKamath]

The FreeRTOS kernel will be assessed, and certified for functional safety compliance under IEC 61508. With the safety-compliant kernel, FreeRTOS developers will be able to more easily build and test systems that require safety certification. The kernel, matched with an MCU, provides a foundation upon which applications, devices, and systems can be built following functional safety standards and certified by authorized vendors. IEC 61508 is a base functional safety standard used across industries, and upon which other standards are derived to meet the safety needs of industrial, automotive, robotics, medical, and other applications.

[BerndThie]

This is a very interesting topic!
When can we expect more information?

[archigup]

Hi, this is actively being worked on. Is there particular information you are interested in?

[BerndThie]

Thanks for the fast reply! I'm interested in the SIL you are targeting and the timeline. When do you expect to go public with the safety certified FreeRTOS?

[joshzarr]

Thank you for your interest in FreeRTOS!

We are currently working to certify FreeRTOS to IEC 61508 Systematic Capability 3 for use in systems up to SIL 3. Our plan is to have separate certificates for the FreeRTOS Kernel and individual FreeRTOS Ports. We are targeting submission of all documentation and test artifacts to our assessor for Q1 2025 and anticipate the certificate being granted in Q2 2025. Our first safety certified port will target the TI Hercules series of microcontrollers.

Once we have completed the certification process we will follow on with further announcements regarding the general availability of Safety Certified FreeRTOS.

[OndrejMasopust]

Hello,
is this somehow different from the already available SAFERTOS? Will the certificates with the source code be available for free or paid?

[amazonKamath]

Hello, is this somehow different from the already available SAFERTOS? Will the certificates with the source code be available for free or paid?

Yes, this is a separate certification effort, based on FreeRTOS kernel v11. We intend to keep the safety certified code free and open source under the MIT license. A Safety Certification Documentation Bundle to help developers complete certification of their own products is being considered. We do not have pricing guidance for the Certification Bundle at this time.

[FlavioBGefran]

Indeed, It's a really interesting topic !

Have you planned to certify the freertos port to support a generic Cortex-M (armv7m and armv8m) mcu, based on the MPU feature?
https://www.freertos.org/Security/04-FreeRTOS-MPU-memory-protection-unit

Thank you very much for your work.

Best regards,

Flavio