Modélisation aléatoire en fiabilité des logiciels

Olivier Gaudoin, James Ledoux - Collection Méthodes stochastiques appliquées

358 pages, parution le 26/10/2007

Ajouter à une liste

Expédié sous 9 jours

Livraison à partir de 0,01€ dès 35€ d'achats
Pour une livraison en France métropolitaine

QUANTITÉ

Résumé

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

L'auteur - Olivier Gaudoin

Olivier Gaudoin est professeur à l'Ecole nationale supérieure d'informatique et de mathématiques appliquées de Grenoble (ENSIMAG) où il enseigne les probabilités et la statistique. Ses domaines de recherche sont la modélisation aléatoire et l'analyse statistique pour la fiabilité des systèmes.

L'auteur - James Ledoux

James Ledoux est maître de conférences à l'Institut national des sciences appliquées (INSA) de Rennes où il enseigne les mathématiques appliquées, et en particulier les probabilités et la statistique. Ses recherches portent sur la modélisation aléatoire.

Sommaire

Avant-propos
Introduction
Concepts de base
Modèles de défaillance auto-excités
Processus ponctuels
Processus markoviens
Propriétés générales des processus de Poisson
Fiabilité d'un logiciel non corrigé : les processus de Poisson homogènes
Modèles à durées inter-défaillances exponentielles et leurs généralisations
Quelques modèles NHPP
Inférence bayésienne
Choix de modèles auto-excités
Modèles à covariables
Modèles basés sur l'architecture du logiciel
Bibliographie
Index

Voir tout

Replier

Caractéristiques techniques

	PAPIER
Éditeur(s)	Hermès - Lavoisier
Auteur(s)	Olivier Gaudoin, James Ledoux
Collection	Méthodes stochastiques appliquées
Parution	26/10/2007
Nb. de pages	358
Format	15.6 x 23.4
Couverture	Broché
Poids	570g
Intérieur	Noir et Blanc
EAN13	9782746216082
ISBN13	978-2-7462-1608-2