Cert-Kit. Tel est le nom donné par l’éditeur américain de logiciels embarqués Micrium et par son partenaire allemand Embedded Office à une solution logicielle précertifiée pour les applications à haut niveau ...de sûreté de fonctionnement s’appuyant sur le noyau temps réel libre de droits µC/OS-II, édité par Micrium. Concrètement, cette solution vise à réduire la durée des procédures de certification de logiciels critiques embarqués en fournissant tous les éléments requis pour développer une application exécutable conforme aux spécifications CEI 61508 SIL3 pour le domaine industriel, CEI 62304 Classe C pour les matériels médicaux (kit qui avait été lancé plus tôt dans l'année) et  EN 50128 SIL4 pour le secteur des transports ferroviaires.

Dans ce paquetage logiciel, on trouve donc un code source certifié associé à des conseils de développement de code conformément aux exigences de la sûreté de fonctionnement, des exemples d’intégration sur cibles, des logiciels de validation et un certificat de l’organisme allemand TÜV.  Deux Cert-Kits sont disponibles : l’un pour l’OS µC/OS-MPU, dédié aux processeurs dotés d’une unité de gestion de mémoire (MMU) et/ou d’une unité de protection mémoire (MPU), l’autre pour l’OS µC/OS-II, dédié aux architectures sans protection mémoire.