The Power of 10: Rules for Developing Safety-Critical Code

Les dix règles sont les suivantes[1] :

1. Éviter les constructions de flux complexes, telles que goto et récursivité .
2. Toutes les boucles doivent avoir des limites fixes. Cela évite de créer involontairement des boucles infinis.
3. Éviter d'allouer de la mémoire sur la heap.
4. Limiter les fonctions à une seule page affichable sur un écran.
5. Utiliser un minimum de deux assertions par fonction.
6. Limiter la portée des variables au plus petit possible.
7. Vérifier la valeur de retour de toutes les fonctions non-void ou transformer en void pour indiquer que la valeur de retour est inutile.
8. Utiliser le préprocesseur avec parcimonie.
9. Limiter l'utilisation du pointeur à un seul déréférencement et ne pas utiliser de pointeur de fonction.
10. Compiler avec tous les avertissements possibles actifs ; tous les avertissements doivent alors être pris en compte avant la publication du logiciel.

L'étude de la NASA sur le firmware de commande électronique des gaz de Toyota a révélé au moins 243 violations de ces règles[3] - [4].

• Système critique

• G.J. Holzmann, « The Power of 10: Rules for Developing Safety-Critical Code », IEEE Computer, vol. 39, n^o 6,‎ 19 juin 2006, p. 95–99 (DOI 10.1109/MC.2006.212, lire en ligne)