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é.