Systèmes critiques

Systèmes critiques

Système critique

Un système critique est un système dont une panne peut avoir des conséquences dramatiques, tels des morts ou des blessés graves, des dommages matériels importants, ou des conséquences graves pour l'environnement.

Sommaire

Domaines critiques

Sont par exemple critiques les logiciels intervenant dans :

En fait, de par la diffusion inexorable et généralisée des technologies logicielles et donc de l'impact plus massif d'un défaut quelconque, la notion de criticité tend à se diffuser même s'il s'agit plus souvent d'un risque de désorganisation sur le plan économique, social ou financier.

Niveaux de criticité

Evaluation

Il existe différents niveaux de criticité d'un système, suivant l'impact possible des dysfonctionnements. On apprécie ainsi différemment, par exemple, un dysfonctionnement provoquant des pertes coûteuses, mais sans mort d'homme (cas des missions spatiales non habitées) et un dysfonctionnement provoquant des morts dans le grand public (cas des vols commerciaux). De même, on apprécie différemment des dysfonctionnements faisant courir un danger de mort ou de blessure à des humains, ou des dysfonctionnement augmentant la charge de travail et les risques d'erreur de pilotage des opérateurs humains.

Cas particulier de l'aviation

En aviation, la norme DO-178B sépare les logiciels avioniques en 5 catégories :

  • niveau A : un dysfonctionnement du logiciel provoquerait ou contribuerait à une condition de perte catastrophique de l'appareil ;
  • niveau B : un dysfonctionnement du logiciel provoquerait ou contribuerait à une condition dangereuse ou un dysfonctionnement sévère et majeur de l'appareil ;
  • niveau C : un dysfonctionnement du logiciel provoquerait ou contribuerait à un dysfonctionnement majeur de l'appareil ;
  • niveau D : un dysfonctionnement du logiciel provoquerait ou contribuerait à un dysfonctionnement mineur de l'appareil ;
  • niveau E : aucun impact sur le fonctionnement de l'appareil ou la charge de travail du pilote.

Conséquences sur la sécurité

La criticité du système définit un niveau d'exigence par rapport à la tolérance aux pannes. Elle aura des conséquences sur l'évaluation des niveaux d'assurance pour la sécurité.

Logiciel critique

Définition, enjeux

Un logiciel critique est un logiciel dont le mauvais fonctionnement aurait un impact important sur la sécurité ou la vie des personnes, des entreprises ou des biens.

L'ingénierie logicielle pour les systèmes critiques est particulièrement difficile, dès lors que les systèmes sont complexes, mais l'industrie aéronautique, ou plus généralement l'industrie du transport de passagers, a réussi à définir des méthodes pour réaliser des logiciels critiques. Des méthodes formelles peuvent servir à améliorer la qualité du logiciel des systèmes critiques. Le coût de réalisation d'un logiciel de « système critique » est beaucoup plus élevé que celui d'un logiciel ordinaire.

Contraintes particulières de développement

Les précautions à prendre dans le développement sont généralement fixées par une norme, et dépendent du domaine d'application et surtout de la criticité du logiciel. Généralement, on trouve des impératifs :

  • de documentation : tous les composants doivent être documentés, notamment dans l'interface qu'ils présentent aux autres composants ;
  • de traçabilité : le système doit répondre à chaque spécification, soit dans sa mise en œuvre, soit dans des spécifications intermédiaires (auquel il faudra aussi répondre) ; on doit donc avoir une chaîne complète de traçabilité entre les spécifications fonctionnelles et la mise en œuvre du système ;
  • de limitation des pratiques dangereuses : certaines techniques de programmations, sources possibles de problèmes, sont interdites, ou du moins leur usage doit être justifié par des raisons impératives (ex. : allocation dynamique de mémoire, procédures récursives) ;
  • de test : on devra essayer le logiciel dans un grand nombre de configurations, qui couvrent tous les points et un maximum des chemins de fonctionnement du programme ;
  • d'utilisation d'outils de développement et de vérification eux-mêmes sûrs.

Certification

Les systèmes les plus critiques sont généralement soumis à des autorités de certification, qui vérifient que les impératifs prévus par la norme ont été remplis.

L'usage de méthodes formelles pourra, à l'avenir, être encouragé, voire imposé.

Voir aussi

  • Portail de la sécurité informatique Portail de la sécurité informatique
  • Portail de la sécurité de l’information Portail de la sécurité de l’information
Ce document provient de « Syst%C3%A8me critique ».

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Systèmes critiques de Wikipédia en français (auteurs)

Игры ⚽ Нужно решить контрольную?

Regardez d'autres dictionnaires:

  • SYSTÈMES DYNAMIQUES DIFFÉRENTIABLES — Sans doute née avec le mémoire que Poincaré écrivit en 1881 «sur les courbes définies par des équations différentielles», où l’étude quantitative (analytique) locale des équations différentielles dans le champ complexe est remplacée par leur… …   Encyclopédie Universelle

  • Critiques De L'espéranto — Espéranto > Langue > Critiques de l espéranto Dès sa création en 1887, l espéranto a fait l objet de critiques, que l on peut classer en différentes catégories : Sommaire 1 Critiques générales 1.1 L espéranto pas assez latin ou pas… …   Wikipédia en Français

  • Critiques de l'esperanto — Critiques de l espéranto Espéranto > Langue > Critiques de l espéranto Dès sa création en 1887, l espéranto a fait l objet de critiques, que l on peut classer en différentes catégories : Sommaire 1 Critiques générales 1.1 L espéranto… …   Wikipédia en Français

  • Critiques Du Libéralisme Économique — Les critiques du libéralisme économique sont d origine et de nature diverses et ne forment pas un ensemble homogène. Certaines émanent d une mouvance antilibérale tandis que d autres critiques, internes, trouvent leur source parmi des libéraux… …   Wikipédia en Français

  • Critiques du liberalisme economique — Critiques du libéralisme économique Les critiques du libéralisme économique sont d origine et de nature diverses et ne forment pas un ensemble homogène. Certaines émanent d une mouvance antilibérale tandis que d autres critiques, internes,… …   Wikipédia en Français

  • Critiques Du Socialisme — Le socialisme a, dès l origine, suscité méfiance et opposition des classes possédantes (selon les termes même des théories socialistes : les capitalistes et autres bourgeoisies). Selon certains critiques, les régimes communistes instaurés au …   Wikipédia en Français

  • Systèmes de vote — Système électoral Politique Idées politiques Science politique Philosophie politique Sociologie politique Campagne politique Mode de désignation du chef d État et du Parlement par pays l Union européenne l ONU Démocratie Démocratie directe …   Wikipédia en Français

  • Critiques contre le darwinisme — Historique des critiques des théories de l évolution En tant que théorie scientifique, la théorie de l évolution fait l objet de diverses critiques. Certains milieux religieux rejettent l idée d évolution biologique car elle s oppose d après eux… …   Wikipédia en Français

  • Critiques du socialisme — Le terme socialisme a, depuis l origine, été revendiqué par différents courants de pensée. Dans la mesure où il induit une certaine évolution/redistribution de la répartition des richesses, il tend à susciter méfiance et opposition des classes… …   Wikipédia en Français

  • Critiques de l'espéranto — Dès sa création en 1887, l espéranto a fait l objet de critiques, que l on peut classer en différentes catégories : Sommaire 1 Critiques générales 1.1 L espéranto pas assez latin ou pas assez « occidental » 1.2 …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”