What's a Cert-Kit?

Cert-Kits are market-specific prepackaged certification kits ("Cert-Kit") that deliver a complete RTOS for safety-critical projects, while reducing their cost and accelerating their development. The Cert-Kit forms the basis of all documents required for the certification of a safety-critical product using an RTOS.

Because the real-time kernel is pre-certified, only compliance with the Safety Manual needs to be proven to obtain certification. This eliminates the need to manage and understand all artifacts of a certification of the real-time kernel, significantly reducing the time to certification. Cert-Kits are provided with a TÜV certificate, independent proof of standards compliance, which reduces the certification risk and therefore project risk.

The Cert-Kit comes with a complete µC/OS-II real-time kernel. Additionally, µC/OS-MPU™ can be certified to provide memory protection for embedded applications in medical equipment and avionics.

Availability

Complete Cert-Kits are now available for industrial controls, applications and transportation based on Micrium's industry-leading µC/OS-II® kernel, as follows:

The following is a summary of the existing Cert-Kits. Since the certification of new microcontrollers depends on the core and the development environment, more microcontrollers with the same core-development environment combination are possible with minimal effort.

If your combination of core and development environment is not included in this summary, please contact us. We are continuously working on new Cert-Kits.

Core Compiler IEC61508
SIL-3
IEC62304
Class C
EN50128
SIL-4
DO-178B/C
DAL-B
ARM9 GCC, IAR X X
C166 TaskingVx X X X
C166SV2 TaskingVx X X X
Cortex A9 ARM X X
Cortex M3 IAR X X
Cortex M4F GCC, IAR, Keil X X
Cortex R4F IAR X X
PPC e200 GCC X
PPC e500 GCC X

Scope of Certification

The Cert-Kit includes the certificate and documentation for the certification along with a running system similar to that found in starter kits. However, instead of a demo application, complete validation software is included in the Cert-Kit.

Software Components

The system delivered with validation software will initially be used to verify that the customer has correctly implemented the pre-certified µC/OS-II real-time kernel source code, and has generated the real-time kernel with the correct configuration. To achieve this, the validation software generates a report on the respective evaluation board that serves as proof for this step. Then, the hardware configuration can be adapted to the safety-critical project, or, optionally, the hardware programming interface (often also called BSP) can be completely replaced. A repeat execution of the validation software generates a report that proves the RTOS is functioning correctly.

Documentation

The Cert-Kit contains all documents required for the certification of a safety-critical product using µC/OS-II:

In addition, if required, all registration documents are available. Further, if the hardware-programming interface from the Cert-Kit is to be used in the safety-critical project, all artifacts that are required for the authorization are available.