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.