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 Logic Driven Markov Processes), outil d'un intérêt inestimable pour des systèmes hors de portée des approches classiques.

• Cinq principes de gestion de la complexité
• Comment traiter des modèles de grande taille
• Comment modéliser des systèmes complexes