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.