Développement de logiciels critiques

A l'issue de la présentation technique de Jean-Pierre ROSEN, expert en langage Ada, les enseignements de base pour développer un logiciel critique ont été tirés :

Un logiciel est qualifié de « critique » si une panne peut avoir des conséquences graves (mort, accident, dégâts matériels, humains, financiers ou environnementaux graves). Les logiciels critiques sont présents dans de nombreux domaines comme l'aviation, le ferroviaire, l'automobile, le nucléaire, le médical et bien d'autres secteurs encore.

Compte tenu des conséquences possibles d'un défaut, les méthodes utilisées dans d'autres domaines qui acceptent un certain taux d'erreur ne sont pas acceptables. C'est pourquoi des standards, des processus, et des méthodes spécifiques aux logiciels critiques ont été développés.

Attention : les contraintes portent sur la sécurité (safety en anglais), et ne doivent pas être confondues avec celles portant sur la sûreté, c'est-à-dire qui concernent la résistance à des attaques malveillantes (security en anglais).

Selon les cas, les exigences en matière de sécurité s'appuieront soit sur le seul risque, soit sur un risque pondéré par sa probabilité, selon ce que l'on appelle une matrice de criticité.