|
Sûreté de fonctionnement des systèmes informatiques  Cet article ne cite pas suffisamment ses sources (). Si vous disposez d'ouvrages ou d'articles de référence ou si vous connaissez des sites web de qualité traitant du thème abordé ici, merci de compléter l'article en donnant les références utiles à sa vérifiabilité et en les liant à la section « Notes et références ».
En pratique : Quelles sources sont attendues ? Comment ajouter mes sources ?
 Cet article n’est pas rédigé dans un style encyclopédique (). Vous pouvez améliorer sa rédaction !
La sûreté de fonctionnement des systèmes informatiques[1] est le domaine de la sûreté de fonctionnement qui traite de l'aspect « produit » de la qualité des systèmes informatiques, c'est-à-dire la partie « qualité des processus d'ingénierie des systèmes ». Principe« La sûreté de fonctionnement peut être définie comme étant la capacité qu’a un système de fournir un service à un utilisateur avec un niveau de confiance justifié »[1]. Les acteurs d’un projet ont besoin de repères externes pour définir et évaluer la qualité d’un produit. L'objectif de la norme ISO 9126 est de fournir les bases d'un langage commun et des seuils de référence. Elle s'articule autour de six domaines :
Un exemple de caractéristique que fournit cette norme est le comportement vis-à-vis du temps du système. Cette caractéristique est définie de la manière suivante : «Attribut du logiciel portant sur le temps de réponse, de traitement, et la capacité en débit, en fonctionnement ». Les niveaux caractéristiques donnés sont :
OutilsLes ateliers de génie logicielIls recouvrent tout ou en partie un cycle de vie et la plupart du temps, on utilise ce terme pour deux phases :
et ce, parmi deux univers : fonctionnel et orienté objet. Ils garantissent :
Le langage UMLCe langage présente plusieurs points forts :
UML permet de supprimer la rupture méthodologique entre l’analyse et la conception. C'est un langage formel, fondé sur un méta-modèle qui définit :
Le méta-modèle limite les ambiguïtés et encourage la construction d’outils tels que les ateliers. Les méthodes formellesElles se caractérisent par une validation du comportement logique du logiciel :
Ces méthodes correspondent à des techniques différentes pour des besoins et des domaines d’applications différents. Méthodes à base de preuve de théorèmes
Méthodes à base d’exploration d’espaces d’états
La fiabilité du logicielIl existe deux types de fiabilité :
Fiabilité expérimentaleLa fiabilité expérimentale étudie le comportement initial grâce à des collectes de données. On applique ensuite des modèles mathématiques extrapolant le comportement du logiciel dans le temps. Ces modèles sont appelés modèles de croissance de la fiabilité. Ce sont des modèles théoriques. Ils présentent l'inconvénient d'être très nombreux, alors que les mathématiciens qui les conçoivent ne disposent que de très peu de données publiques et donc peu de modèles sont valables. La validationValider c’est :
Cette étape permet de déterminer si le système ou l’équipement exécute les fonctions prévues et de s’assurer qu’il n’exécute pas des fonctions non prévues. On peut également mesurer la fiabilité et la qualité du produit grâce à la métrologie. La métrologieElle permet de :
Elle permet de travailler sur trois niveaux de mesure et indicateur :
On peut considérer comme mesures par exemple :
Notes et référencesRéférences
Bibliographie
Liens externes
Articles connexes |
Portal di Ensiklopedia Dunia
