Gestion de la complexité dans les études quantitatives de sûreté de fonctionnement de systèmes

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. De nombreuses méthodes, dans l'absolu très pratiques, se
retrouvent 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 adaptés à la réalité mais entachés de multiples
erreurs. Il développe deux aspects bien distincts : la recherche de formalisme
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 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 complexes, les BDMP (boolean logic driven
Markov processes), outil d'un intérêt inestimable pour les systèmes
habituellement hors de portée des approches classiques.