Modélisation aléatoire en fiabilité des logiciels

La sûreté de fonctionnement des systèmes informatiques est aujourd'hui un enjeu économique et sociétal majeur. Cet ouvrage présente la théorie mathématique de la fiabilité des logiciels et ses applications, qui permettent de prévoir l'occurrence des défaillances futures d'un système informatique et d'évaluer sa fiabilité. Les principaux modèles du processus des défaillances et corrections d'un logiciel y sont décrits en adoptant une présentation unifiée dans le cadre des processus aléatoires ponctuels. Les méthodes statistiques associées (de l'inférence bayésienne au choix de modèle) sont également étudiées, ainsi que les modèles prenant en compte des covariables et l'architecture d'un logiciel. L'objectif est d'aller de l'étude conceptuelle approfondie des modèles au calcul numérique des indicateurs de fiabilité à l'aide d'exemples. Mêlant théorie et pratique, Modélisation aléatoire en fiabilité des logiciels s'adresse aux étudiants, ingénieurs, chercheurs en mathématiques appliquées et en informatique, intéressés par les méthodes probabilistes et leurs applications en fiabilité.