Certes, les langages de programmation C et C++ ne sont pas forcément idéaux pour écrire du code critique. Mais il est dorénavant admis qu’ils peuvent être utilisés de manière efficace pour développer des logiciels fiables dès lors qu'on associe un outil d’analyse statique de code à la mise en œuvre d’un sous-ensemble du langage utilisé, spécifié dans une norme de codage. C’est l’objectif de la norme Misra C, dont la première mouture a été publiée en 1988. Paul Burden et Jill Britton de la société PRQA, deux spécialistes reconnus pour leur implication dans le consortium Misra C et leur connaissance fine de cette spécification, retracent dans ce white paper l’évolution de la norme Misra C et sa capacité, à travers plusieurs témoignages d’utilisateurs, à aider les équipes de développement à générer du code de haute qualité pour applications critiques.