Afin de répondre aux besoins des applications embarquées qui doivent obéir à des contraintes serrées de sûreté et de fiabilité de fonctionnement dans les domaines de l’industriel, du médical et de l’aéronautique, Mentor Graphics ...a développé une nouvelle version de Nucleus, son système d’exploitation temps réel phare déjà déployé dans plus de trois milliards d’équipements. Nucleus SafetyCert, c’est son nom, a été vérifié et documenté par Verocel, une société de services indépendante spécialisée dans la vérification et la certification de logiciels critiques utilisés dans l’avionique, les transports et l’industrie.

A ce titre, l’OS de Mentor Graohics est désormais apte à répondre aux contraintes des équipementiers qui développent des produits qui exigent une certification CEI 61508 SIL3 (industriel), CEI 62304 Classe C (logiciels de dispositifs médicaux) ou RTCA DO-178C Level A (avionique). Dans la pratique, Nucleus SafetyCert intègre une version certifiée de Nucleus avec un modèle de programmation qui supporte le partitionnement spatial (avec coexistence sur une même plate-forme matérielle d’applications critiques et non critiques), des bibliothèques d’exécution, la connectivité, la mise en réseau, le stockage de données et l’environnement de développement intégré Sourcery CodeBench. Selon Mentor Graphics, les coûts des processus de certification sont réduits avec Nucleus SafeCert du fait que seuls les composants logiciels critiques vis-à-vis de la sûreté de fonctionnement ont à passer sous les fourches Caudines des normes CEI 61508 et CEI 62304.