Dans le domaine de la sûreté de fonctionnement, l'obstacle majeur auquel
doit faire face l'analyste n'est pas la difficulté théorique des méthodes
mais l'effet d'échelle. Parmi les nombreuses méthodes qui constituent
l'arsenal classique du fiabiliste, beaucoup s'avèrent inexploitables sur des
systèmes réels bien trop complexes.
Gestion de la complexité dans les études quantitatives de sûreté de
fonctionnement de systèmes s'emploie à décrire les solutions qui permettent
d'éviter de construire des modèles entachés de multiples erreurs ou
impossibles à exploiter. Il développe deux aspects bien distincts :
-
la recherche de formalismes permettant la construction à la fois rapide et
sûre de modèles formels de systèmes complexes
-
la recherche de moyens pour limiter ou contourner les problèmes
d'explosion combinatoire qui apparaissent inévitablement dans les calculs
lorsqu'on étudie des systèmes réels.
Cet ouvrage est le premier à proposer à l'analyste des solutions qui
permettent de résoudre les difficultés liées à l'effet d'échelle. Il présente
notamment un nouveau type de modélisation pour les études fiabilistes
de systèmes dynamiques complexes, les BDMP
(Boolean Iogic Driven Markov
Processes)
, outil d'un intérêt inestimable pour des systèmes hors de portée
des approches classiques.
